Skip to Main content Skip to Navigation
Journal articles

Combining Answer Set Programs for Adaptive and Reactive Reasoning

Abstract : In this paper we present a method to improve efficiency of ASP based system in dynamic context. Our proposal is a reasoning framework based on combination of ASP modules. This framework can be seen as a tool to assist the development of ASP based systems. Our final goal is to provide a general design pattern to help construction of efficient ASP based reasoning systems. In this paper, we first define a method to divide the wide program into different kinds of modules. Then, we show how meta-knowledge on these decomposition can be used for meta-reasoning. We discuss the benefit of this modular reasoning method through an example of multi-agent systems in a dynamic world. Using this example, we show that this method can elegantly allow agents to realise dynamic behaviour via introspective meta-reasoning. Finally, through experimental results we show that the framework can be used to improve efficiency of ASP based system in terms of reactivity and adaptability.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01562133
Contributor : Gauvain Bourgne <>
Submitted on : Thursday, July 13, 2017 - 4:10:08 PM
Last modification on : Thursday, July 4, 2019 - 6:08:04 PM
Long-term archiving on: : Friday, January 26, 2018 - 6:12:13 PM

File

urn:cambridge.org:id:binary:20...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01562133, version 1

Citation

Tony Ribeiro, Katsumi Inoue, Gauvain Bourgne. Combining Answer Set Programs for Adaptive and Reactive Reasoning. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2013, 13 (4-5-Online-Supplement). ⟨hal-01562133⟩

Share

Metrics

Record views

149

Files downloads

101