On the semantics of deliberation in IndiGolog - From theory to implementation

Annals of Mathematics and Artificial Intelligence

Volumn 41, Issue 2-4, 2004, Pages 259-299

  Sardina, Sebastian ^a   De Giacomo, Giuseppe ^b   Lespérance, Yves ^c   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c YORK UNIVERSITY   (Canada)

Author keywords

Agent programming; Deliberation; Incomplete information; Models of agency; Planning with

Indexed keywords

EID: 4043175527     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AMAI.0000031197.13122.aa     Document Type: Conference Paper

References (33)

1. P. Bertoli, A. Cimatti, M. Roveri and P. Traverso, Planning in nondeterministic domains under partial observability via symbolic model checking, in: Proceedings of IJCAI-01, Seattle (2001) pp. 473-478.
2. E. Davis, Knowledge preconditions for plans, Journal of Logic and Computation 4(5) (1994) 721-766.
3. G. De Giacomo, Y. Lespérance, H. Levesque and S. Sardiña, On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations, in: Proceedings of the First Programming Multiagent Systems Languages, Frameworks, Techniques and Tools Workshop (PROMAS-03), Melbourne, Australia (2003).
4. G. De Giacomo, Y. Lespérance and H.J. Levesque, ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence 121 (2000) 109-169.
5. G. De Giacomo and H.J. Levesque, An incremental interpreter for high-level programs with sensing, in: Logical Foundations for Cognitive Agents, eds. H.J. Levesque and F. Pirri (Springer, 1999) pp. 86-102.
6. G. De Giacomo and H.J. Levesque, Progression and regression using sensors, in: Proceedings of IJCAI-99 (1999) pp. 160-165.
7. G. De Giacomo, H.J. Levesque and S. Sardiña, Incremental execution of Guarded theories, ACM Transactions on Computational Logic 2(4) (2001) 495-525.
8. G. De Giacomo, R. Reiter and M. Soutchanski, Execution monitoring of high-level robot programs, in: Proceedings of KR-98 (1998) pp. 453-465.
9. M. Fisher, Towards a semantics for concurrent METATEM, in: Executable Modal and Temporal Logics, eds. M. Fisher and R. Owens, Lecture Notes in Artificial Inteligence, Vol. 897, Heidelberg, Germany (1995) pp. 82-102.
10. K.V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J.C. Meyer, A formal semantics for an abstract agent programming language, in: Intelligent Agents IV - Proceedings of ATAL-97, eds. M. Singh, A. Rao and M. Wooldridridge (1998) pp. 215-229.
11. G. Lakemeyer, On sensing and off-line interpreting in golog, in: Logical Foundations for Cognitive Agents, eds. H.J. Levesque and F. Pirri (Springer, 1999) pp. 173-187.
12. Y. Lespérance, On the epistemic feasibility of plans in multiagent systems specifications, in: Pre- Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-01), eds. J.-J.C. Meyer and M. Tambe, Lecture Notes in Artificial Inteligence, Vol. 2333, Seattle, USA (2001) pp. 69-85.
13. Y. Lespérance, H.J. Levesque, F. Lin and R.B. Scherl, Ability and knowing how in the situation calculus, Studia Logica 66(1) (2000) 165-186.
14. Y. Lespérance and H.-K. Ng, Integrating planning into reactive high-level robot programs, in: Proceedings of the Second International Cognitive Robotics Workshop (2000) pp. 49-54.
15. H.J. Levesque, What is planning in the presence of sensing? in: Proceedings of AAAI-96, Portland, USA (1996) pp. 1139-1146.
16. H.J. Levesque and G. Lakemeyer, The Logic of Knowledge Bases (MIT Press, 2001).
17. H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R.B. Scherl, GOLOG: A logic programming language for dynamic domains, Journal of Logic Programming 31 (1997) 59-84.
18. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: Machine Intelligence, Vol. 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, 1979) pp. 463-502.
19. S. McIlraith and T.C. Son, Adapting golog for programming the semantic web, in: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France (2002) pp. 482-493.
20. R.C. Moore, A formal theory of knowledge and action, in: Formal Theories of the Common Sense World, eds. J.R. Hobbs and R.C. Moore (Ablex Publishing, Norwood, NJ, 1985) pp. 319-358.
21. M.A. Peot and D.E. Smith, Conditional nonlinear planning, in: Proceedings of the First International Conference on AI Planning Systems (AIPS-92), Maryland, USA (1992) pp. 189-197.
22. G. Plotkin, A structural approach to operational semantics, Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark (1981).
23. A.S. Rao, AgentSpeak(L): BDI agents speak out in a logica computable language, in: Agents Breaking Away, eds. W.V. Velde and J.W. Perram, Lecture Notes in Artificial Inteligence, Vol. 1038 (Springer, 1996) pp. 42-55.
24. R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression, in: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz (Academic Press, 1991) pp. 359-380.
25. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press, 2001).
26. R. Reiter, On knowledge-based programming with sensing in the situation calculus, ACM Transactions on Computational Logic 2(4) (2001) 433-457.
27. S. Sardiña, Local conditional high-level robot programs, in: Proceedings of LPAR-01, Lecture Notes in Artificial Inteligence, Vol. 2250 (2001) pp. 110-124.
28. S. Sardiña and S. Shapiro, Rational action in agent programs with prioritized goals, in: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia (2003) pp. 417-424.
29. R. Scherl and H. Levesque, The frame problem and knowledge-producing actions, in: Proceedings of AAAI-93, Washington, DC (1993) pp. 689-695.
30. D.E. Smith, C.R. Anderson and D.S. Weld, Extending graphplan to handle uncertainty and sensing actions, in: Proceedings of AAAI-98, Madison, USA (1998) pp. 897-904.
31. D.E. Smith and D.S. Weld, Conformant graphplan, in: Proceedings of AAAI-98, Madison, USA (1998) pp. 889-896.
32. M. Thielscher, Inferring implicit state knowledge and plans with sensing actions, in: Proceedings of the German Annual Conference on Artificial Intelligence (KI-01), Lecture Notes in Artificial Inteligence, Vol. 2174 (2001) pp. 366-380.
33. M. Thielscher, Programming of reasoning and planning agents with FLUX, in: Proceedings of KR-2002, eds. D. Fensel, F. Giunchiglia, D. McGuinness and M.A. Williams, Toulouse, France (2002) pp. 435-336.