Representing beliefs in the fluent calculus

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 823-827

  Jin, Yi ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING;

AXIOMATIC CHARACTERIZATION; BELIEF CHANGE; BELIEF REVISION; COMPUTATIONAL APPROACH; FLUENT CALCULUS; INTERNAL MODELS; LOGIC-BASED AGENTS; SITUATION CALCULUS;

CALCULATIONS;

EID: 85017358696     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (21)

1. C. E. Alchourŕon, P. Gardenfors, and D. Makinson, 'On the logic of theory change: Partial meet contraction and revision functions', The Journal of Symbolic Logic 50(2), 510-530, (1985).
2. C. Baral and T. C. Son, 'Approximate reasoning about actions in presence of sensing and incomplete information', in Proc. of the International Logic Programming Symposium (ILPS), ed., J. Maluszynski, pp. 387-401, Port Jefferson, NY, (October 1997). MIT Press.
3. C. Boutilier, 'Revision sequences and nested conditionals', in Proc. of the Thirteenth International Joint Conference on Arti£cial Intelligence (IJCAI'93), pp. 519-525, (1993).
4. A. Darwiche and J. Pearl, 'On the logic of iterated belief revision', Artifcial Intelligence 89, 1-29, (1997).
5. S. E. Dixon, 'Belief revision: A computational approach'. PhD thesis, Basser Department of Computer Science, University of Sydney, Australia, 1994.
6. P. Gardenfors and D. Makinson, 'Revisions of knowledge systems using epistemic entrenchment', in Proc. of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 83-95, Asilomar, CA, (1988).
7. K. Golden and D. Weld, 'Representing sensing actions: The middle ground revisited', in Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR), eds., L. C. Aiello, J. Doyle, and S. Shapiro, pp. 174-185, Cambridge, MA, (November 1996). Morgan Kaufmann.
8. A. Grove, 'Two modellings for theory change', Journal of Philosophical Logic, 17, 157-180, (1988).
9. H. Katsuno and A. Mendelzon, 'On the difference between updating a knowledge base and revising it', in KR'91: Principles of Knowledge Representation and Reasoning, eds., James F. Allen, Richard Fikes, and Erik Sandewall, 387-394, Morgan Kaufmann, San Mateo, California, (1991).
10. H. J. Levesque, R. Reiter, Y. Lesṕerance, F. Lin, and R. B. Scherl, 'GOLOG: A logic programming language for dynamic domains', Journal of Logic Programming, 31(1-3), 59-83, (1997).
11. J. McCarthy, Situations and Actions and Causal Laws, Stanford Artificial Intelligence Project, Memo 2, Stanford University, CA, 1963.
12. J. Otten, 'On the advantage of a non-clausal davis-putnam procedure', Technical Report AIDA-97-1, TH Darmstadt, Intellektik, (1997).
13. R. Reiter, Logic in Action, MIT Press, 2001.
14. R. Reiter, 'On knowledge-based programming with sensing in the situation calculus', ACM Transactions on Computational Logic, 2(4), 433- 457, (2001).
15. R. Scherl and H. Levesque, 'Knowledge, action, and the frame problem', Artifcial Intelligence, 144(1), 1-39, (2003).
16. S. Shapiro, M. Pagnucco, Y. Lesṕerance, and H. Levesque, 'Iterated belief change in the situation calculus', in Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR), eds., A. Cohn, F. Giunchiglia, and B. Selman, pp. 527-538, Breckenridge, CO, (April 2000). Morgan Kaufmann.
17. W. Spohn, 'Ordinal conditional functions: A dynamic theory of epistemic state', in Causation in Decision: Belief, Change and Statistics: Proc. of the Irvine Conference on Probability and Causation, eds., William L. Harper and Brian Skyrms, volume II, pp. 105-134, Dordrecht, (1988). Kluwer Academic Publisher.
18. M. Thielscher, 'From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem', Artifcial Intelligence, 111(1-2), 277-299, (1999).
19. M. Thielscher, 'Representing the knowledge of a robot', in Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR), eds., A. Cohn, F. Giunchiglia, and B. Selman, pp. 109-120, Breckenridge, CO, (April 2000). Morgan Kaufmann.
20. Michael Thielscher, 'FLUX: A logic programming method for reasoning agents', Theory and Practice of Logic Programming, (2004). Available for download at www.fluxagent.org.
21. W. R.Wobcke, 'On the use of epistemic entrenchment in nonmonotonic reasoning', in Proc. of the Tenth European Conference on Arti£cial Intelligence, pp. 324-328, (1992).