Dynamic Logic Programming and 3APL

作者: Vivek Nigam

DOI:

关键词:

摘要: 3APL is a widely known multi-agent programming language. However, 3APL, when to be used in certain domains and environments, has the following limitations: • limited update operator that only allows for updates extensional part of belief base; lack language with both default strong negation enable representation reasoning about knowledge open closed world assumptions; expressiveness goals. Agents can’t express negated, conditional nor maintenance In this dissertation, we propose address these issues by modifying base goal represented Dynamic Logic Programming, an extension Answer-Set Programming changes time. We show new system agents constructed it are more expressive than agents, they don’t have limitations stated above; able communications, where rules instead atoms transmitted; dynamic goals, i.e. goals can adopted, dropped, or changed.

参考文章(43)
Vladimir Lifschitz, Thomas Y. C. Woo, Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). principles of knowledge representation and reasoning. pp. 603- 614 ,(1992)
Alessia Verticchio, Arianna Tocchio, Stefania Costantini, Communication and trust in the DALI logic programming agent-oriented language. Intelligenza Artificiale. ,vol. 2, pp. 39- 46 ,(2005)
Teodor C. Przymusinski, Perfect Model Semantics. international conference on lightning protection. pp. 1081- 1096 ,(1988)
Vladimir Lifschitz, Michael Gelfond, Logic programs with classical negation international conference on lightning protection. pp. 579- 597 ,(1990)
João Alexandre Leite, On Some Differences Between Semantics of Logic Program Updates ibero-american conference on artificial intelligence. pp. 375- 385 ,(2004) , 10.1007/978-3-540-30498-2_38
Jürgen Dix, Yingqian Zhang, Impact: A Multi-Agent Framework with Declarative Semantics Multi-Agent Programming. ,vol. 15, pp. 69- 94 ,(2005) , 10.1007/0-387-26350-0_3
Multi-Agent Programming: Languages, Tools and Applications New York: Springer, Multiagent systems, artificial societies, and simulated organizations., Vol.15. ,vol. 15, pp. 296- ,(2009) , 10.1007/B137449
Chitta Baral, Reasoning about actions: non-deterministic effects, constraints, and qualification international joint conference on artificial intelligence. pp. 2017- 2023 ,(1995)
João Alexandre Leite, Luís Moniz Pereira, José Júlio Alferes, MINERVA - A Dynamic Logic Programming Agent Architecture intelligent agents. pp. 141- 157 ,(2001)