Programming rational agents in a modal action logic

Annals of Mathematics and Artificial Intelligence

Volumn 41, Issue 2-4, 2004, Pages 207-257

  Baldoni, Matteo ^a   Martelli, Alberto ^a   Patti, Viviana ^a   Giordano, Laura ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Logic programming; Logic based agents; Modal and multimodal logic; Reasoning about actions; Reasoning with incomplete knowledge

Indexed keywords

EID: 4043147136     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AMAI.0000031196.24935.b5     Document Type: Article

References (42)

1. ALiCE, Advanced Logic in Computing Environments, Dipartimento di Informatica, Università degli Studi di Torino (2001). Web site: http://www.di.unito.it/~alice.
2. M. Baldoni, Normal multimodal logics: Automatic deduction and logic programming extension, PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy (1998). Available at http://www.di.unito.it/~baldoni/.
3. M. Baldoni, Normal multimodal logics with interaction axioms, in: Labelled Deduction, eds. D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews and L. Viganò, Applied Logic Series, Vol. 17 (Kluwer Academic, 2000) pp. 33-53.
4. M. Baldoni, C. Baroglio, A. Chiarotto and V. Patti, Programming goal-driven web sites using an agent logic language, in: Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, ed. I.V. Ramakrishnan, Lecture Notes in Computer Science, Vol. 1990, Las Vegas, NV (Springer, 2001) pp. 60-75.
5. M. Baldoni, C. Baroglio, L. Giordano, A. Martelli and V. Patti, Reasoning about communicating agents in the semantic web, in: Proc. of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning (PPSWR'2003), ICLP 2003, Lecture Notes in Computer Science, Mumbai, India, 2003 (Springer, to appear).
6. M. Baldoni, C. Baroglio, A. Martelli and V. Patti, Reasoning about conversation protocols in a logic-based agent language, in: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, eds. A. Cappelli and F. Turini, Lecture Notes in Computer Science, Vol. 2829, Pisa, Italy (Springer, 2003) pp. 300-311.
7. M. Baldoni, C. Baroglio, A. Martelli and V. Patti, Reasoning about self and others: communicating agents in a modal action logic, in: Proc. of Theoretical Computer Science, 8th Italian Conference, ICTCS'2003, eds. C. Blundo and C. Laneve, Lecture Notes in Computer Science, Vol. 2841, Bologna, Italy (Springer, 2003) pp. 228-241.
8. M. Baldoni, C. Baroglio and V. Patti, Structereless, intention-guided web sites: Planning based adaptation, in: Proc. of the 9th International Conference on Human-Computer Interaction (HCII 2001), Symposium on Human Interfaces 2001, 4th International Conference on Engineering Psychology and Cognitive Ergonomics, 1th International Conference on Universal Access in Human-Computer Interaction, ed. C. Stephanidis, Vol. 3, New Orleans, LA (Lawrence Erlbaum Associates, 2001) pp. 237-241.
9. M. Baldoni, C. Baroglio and V. Patti, Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems, in: Proc. of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th International Conference on Engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction, ed. C. Stephanidis, Vol. 4, Crete, Greece (Lawrence Erlbaum Associates, 2003) pp. 517-521.
10. M. Baldoni, C. Baroglio, V. Patti and L. Torasso, Using a rational agent in an adaptive web-based tutoring system, in: Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems (AH 2002), Selected Papers, eds. P. Brusilovsky, N. Henze and E. Millan, Malaga, Spain (2002) pp. 43-55.
11. M. Baldoni, L. Giordano and A. Martelli, A tableau calculus for multimodal logics and some (un)decidability results, in: Proc. of TABLEAUX'98, ed. H. de Swart, Lecture Notes in Artificial Intelligence, Vol. 1397 (Springer, 1998) pp. 44-59.
12. M. Baldoni, L. Giordano, A. Martelli and V. Patti, An abductive proof procedure for reasoning about actions in modal logic programming, in: Proc. of NMELP'96, eds. J. Dix et al., Lecture Notes in Artificial Intelligence, Vol. 1216 (Springer, 1997) pp. 132-150.
13. C. Baral and T.C. Son, Approximate reasoning about actions in presence of sensing and incomplete information, in: Proc. of ILPS'97, ed. J. Małuszyński (MIT Press, Cambridge, MA, 1997) pp. 387-404.
14. C. Baral and T.C. Son, Formalizing sensing actions - A transition function based approach, Artificial Intelligence 125(1-2) (2001) 19-91.
15. P. Brusilovsky, Adaptive hypermedia, User Modeling and User-Adapted Interaction 11 (2001) 87-110.
16. M. Castilho, O. Gasquet and A. Herzig, Modal tableaux for reasoning about actions and plans, in: Proc. ECP'97, ed. S. Steel, Lecture Notes in Artificial Intelligence (1997) pp. 119-130.
17. G. De Giacomo, L. Iocchi, Daniele Nardi and Riccardo Rosati, Moving a robot: The KR & R approach at work, in: Proc. of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), eds. L.C. Aiello, J. Doyle and S.C. Shapiro (Morgan Kaufmann, Cambridge, MA, 1996) pp. 198-209.
18. G. De Giacomo, L. Iocchi, D. Nardi and R. Rosati, Planning with sensing for a mobile robot, in: Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, eds. S. Steel and R. Alami, Lecture Notes in Computer Science, Vol. 1348, Toulouse, France (Springer, 1997) pp. 156-168.
19. G. De Giacomo and M. Lenzerini, PDL-based framework for reasoning about actions, in: Proc. of AI*IA '95, Lecture Notes in Artificial Intelligence, Vol. 992 (1995) pp. 103-114.
20. G. De Giacomo, Y. Lespérance and H.J. Levesque, Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus, in: Proc. of IJCAI'97, Nagoya (August 1997) pp. 1221-1226.
21. G. De Giacomo and H.J. Levesque, An incremental interpreter for high-level programs with sensing, in: Proc. of the AAAI 1998 Fall Symposium on Cognitive Robotics, Orlando, FL (October 1998).
22. G. De Giacomo and R. Rosati, Minimal knowledge approach to reasoning about actions and sensing, in: Proc. of the IJCAI'99 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'99), Stockholm, Sweden (August 1999) pp. 25-31.
23. M. Denecker and D. De Schreye, Representing incomplete knowledge in abduction logic programming, in: Proc. of ILPS '93 (MIT Press, Vancouver, 1993).
24. F. Dignum and M. Greaves, Issues in agent communication, in: Issues in Agent Communication, eds. F. Dignum and M. Greaves, Lecture Notes in Computer Science, Vol. 1916 (Springer, 2000) pp. 1-16.
25. K. Eshghi and R. Kowalski, Abduction compared with negation by failure, in: Proc. of ICLP '89 (MIT Press, Lisbon, 1989).
26. FIPA, Fipa 97, specification part 2: Agent communication language. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 1997). Available at: http://www.fipa.org/.
27. M. Gelfond and V. Lifschitz, Representing action and change by logic programs, Journal of Logic Programming 17 (1993) 301-321.
28. G. De Giacomo, Y. Lespérance, H.J. Levesque and S. Sardina, On the semantic of deliberation in Indigolog: from theory to implementation, in: Proc. of KR 2002 (2002) pp. 603-614.
29. L. Giordano, A. Martelli and C. Schwind, Ramification and causality in a modal action logic, Journal of Logic and Computation 10(5) (2000) 625-662.
30. D. Harel, Dynamic logic, in: Handbook of Philosophical Logic, eds. D. Gabbay and F. Guenthner, Vol. II (D. Reidel, 1984) pp. 497-604.
31. S. Hölldobler and H.P. Störr, Reasoning about complex actions, in: Proc. of NMR'98 - Action and Causality, ed. V. Lifschitz (1998) pp. 1-9.
32. G.E. Hughes and M.J. Cresswell, A New Introduction to Modal Logic (Routledge, 1996).
33. H.J. Levesque, What is planning in the presence of sensing? in: Proc. of the AAAI-96 (l996) pp. 1139-1146.
34. H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R.B. Scherl, GOLOG: A logic programming language for dynamic domains, J. of Logic Programming 31 (1997) 59-83.
35. J. Lobo, G. Mendez and S.R. Taylor, Adding knowledge to the action description language A, in: Proc. of AAAI'97/IAAI'97, Menlo Park (1997) pp. 454-459.
36. V. Patti, Programming rational agents: A modal approach in a logic programming setting, PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy (2002). Available at http://www.di.uniti.it/~patti/ .
37. R.P.A. Petrick and F. Bacchus, A knowledge-based approach to planning with incomplete information and sensing, in: 6th AI Planning and Scheduling Conference, AIPS 2002, Toulouse (2002).
38. H. Prendinger and G. Schurz, Reasoning about action and change. A dynamic logic approach, Journal of Logic, Language, and Information 5(2) (1996) 209-245.
39. F. Sadri, F. Toni and P. Torroni, Dialogues for negotiation: Agent varieties and dialogue sequences, in: Proc. of ATAL'01, Seattle, WA (2001).
40. R. Scherl and H.J. Levesque, The frame problem and knowledge-producing actions, in: Proc. of the AAAI-93, Washington, DC (1993) pp. 689-695.
41. C.B. Schwind, A logic based framework for action theories, in: Language, Logic and Computation, eds. J. Ginzburg et al. (CSLI, 1997) pp. 275-291.
42. M. Thielscher, Representing the knowledge of a robot, in: Proc. of the International Conference on Principles of Knowledge Representation and reasoning, KR'00 (Morgan Kaufmann, 2000) pp. 109-120.