Preferring and updating in logic-based agents

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2543, Issue , 2003, Pages 70-85

  Dell'Acqua, Pierangelo ^a,b   Pereira, Luís Moniz ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION SUPPORT SYSTEMS; KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING; SEMANTICS; LAWS AND LEGISLATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; WORLD WIDE WEB;

DECLARATIVE SEMANTICS; KNOWLEDGE STATE; LOGIC-BASED AGENTS; LOGICAL FRAMEWORKS; PREFERENCE RELATION; PRIORITIZED LOGIC PROGRAMS; WEB APPLICATION; GENERALIZED LOGIC PROGRAM; INTEGRITY CONSTRAINT; NAVIGATIONAL STRUCTURE;

MULTI AGENT SYSTEMS;

EID: 23144461577     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-36524-9_7     Document Type: Conference Paper

References (22)

1. J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logic based approach to multi-agent systems. Invited paper in The Association for Logic Programming Newsletter, 14(3), August 2001. Available at http://centria.di.fct.unl.pt/~lmp.
2. J. J. Alferes, P. Dell'Acqua, and L. M. Pereira. A compilation of updates plus preferences. To appear in: Logic in Artificial Intelligence (Jelia'02), LNAI, 2002.
3. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The J. of Logic Programming, 45(1-3):43-70, 2000.
4. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR'98, Morgan Kaufmann.
5. J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. de Guzmán, G. Brewka, and L. M. Pereira (eds.), Logics in AI, Procs. JELIA'00, LNAI 1919, pp. 345-360, Berlin, 2000. Springer.
6. J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, and P. Quaresma. Preliminary exploration on actions as updates. Proc. of Joint Conf. on Declarative Programming (APPIA-GULP-PRODE'99).
7. IMPACT system. Available at http://www.cs.umd.edu/projects/impact.
8. InterProlog. Available at http://www.declarativa.com/InterProlog/default.htm.
9. XSB-Prolog. Available at http://xsb.sourceforge.net.
10. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109:297-356, 1999.
11. S. Costantini. Towards active logic programming. Electronic Proc. of COCL'99, Second Int. Workshop on Component-Based Software Development in Computational Logic, 1999.
12. P. Dell'Acqua, U. Nilsson, and L. M. Pereira. A logic based asynchronous multiagent system. Computational Logic in Multi-Agent Systems (CLIMA02). To appear in Electronic Notes in Theoretical Computer Science (ENTCS).
13. P. Dell'Acqua and L. M. Pereira. Enabling agents to update their knowledge and to prefer. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA'01), LNAI 2258, pp. 183-190. Springer-Verlag, 2001.
14. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen (eds.), ICLP'88, pp. 1070-1080. MIT Press, 1988.
15. R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo (eds.), Logic in Databases, Intl. Workshop LID'96, LNCS 1154, pp. 137-149. Springer, 1996.
16. E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63-87, 2000.
17. J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Pre-Procs. of the 8th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL'01), pp. 133-145, Seattle, USA, 2001.
18. J. A. Leite and L. M. Pereira. Iterated logic program updates. In J. Jaffar, editor, Proc. Joint Intl. Conf. Symp. on Logic Programming 1998, pp. 265-278, Cambridge, Mass., 1998. MIT Press.
19. A. Y. Levy and D. S. Weld. Intelligent internet systems. Artificial Intelligence, 118:1-14, 2000.
20. A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall (eds.), Proc. of Knowledge Representation and Reasoning (KR&R-92), pp. 473-484. Morgan Kaufmann, 1991.
21. F. Sadri and F. Toni. Computational logic and multiagent systems: a roadmap, August 2001. Available at http://www2.ags.uni-sb.de/net/Forum/Supportdocs.html.
22. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.