The last decade has seen the advent of the agent paradigm as a reference model in several fields of research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed environments, where most facts are not known at all, the agent metaphor proves particularly useful if agents are able to autonomously perform some form of reasoning, possibly obviating knowledge incompleteness by means of hypotheses assumed on the unknown facts. A suitable mechanism to deal with incomplete and multiple knowledge is abductive reasoning. The aim of this paper is to describe LAILA, a language that can be used by logic-based agents capable of abductive reasoning, by enabling them to express at a high level several ways to join and coordinate with one another. In particular, we considered collaboration and competition as possible interaction patterns in the abductive reasoning that must be carried out by multiple agents. Syntax and operational semantics of the LAILA language are given along with a clarifying example; a section is also devoted to a brief description of the current LAILA implementation.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- Ma, Jiefei; Broda, Krysia; Russo, Alessandra; Lupu, Emil: Distributed abductive reasoning with constraints (2011)
- Gyurkovics, Éva: Sampled-data control and stability of sets for nonlinear systems (2009)
- Ma, Jiefei; Russo, Alessandra; Broda, Krysia; Clark, Keith: DARE: a system for distributed abductive reasoning. (2008) ioport
- Wang, Shuangbao; Dong, Zegang; Chen, Jim X.; Ledley, Robert S.: PPL: A whole-image processing language (2008)
- Dashkovskiy, Sergey; Rüffer, Björn S.; Wirth, Fabian R.: An ISS small gain theorem for general networks (2007)
- Greco, Gianluigi: Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (2007)
- Laila, Dina Shona; Astolfi, Alessandro: Direct discrete-time design for sampled-data Hamiltonian control systems (2007)
- Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo: Cooperation and competition in ALIAS: A logic framework for agents that negotiate (2003)
- Ciampolini, A.; Lamma, E.; Mello, P.; Torroni, P.: A proof-system for the safe execution of tasks in multi-agent systems (2002)
- Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo: LAILA: A language for coordinating abductive reasoning among logic agents (2002)