A combined system for update logic and belief revision

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

Volumn 3371, Issue , 2005, Pages 1-17

  Aucher, Guillaume ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; COMPUTATION THEORY; COMPUTER SCIENCE; GENERAL PURPOSE COMPUTERS; INFORMATION TECHNOLOGY;

AGM THEORY; LOGICAL SYSTEM;

COMPUTER SCIENCE; FORMAL LOGIC;

AGM POSTULATES; BELIEF REVISION THEORY; COMBINED SYSTEMS; LOGICAL SYSTEMS;

EID: 26844517128     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32128-6_1     Document Type: Conference Paper

References (6)

1. [BMS04] A. Baltag, L.S. Moss,and S. Solecki. Logic for epistemic program. In Synthese Volume 139, Issue, March 2004. Pages: 165-224.
2. [FHMV95] R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge MA, 1995.
3. [GardRott95] P. Gardenfors and H. Rott, 1995, 'Belief Revision', in D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming 4, Oxford University Press, Oxford 1995.
4. [Spohn90] W. Spohn. A general non-probability theory of inductive reasoning. In R. D. Schachter, T. S. Levitt, L. N. Kanal, and J. F. Lemmer, editors, Uncertainty in artificial intelligence 4, pages149-15. Norht-Holland, Amsterdam, 1990.
5. [Spohn88] W. Spohn. Ordinal conditional functions: A dynamic theory of epistemic states. In W. L. Harper and B. Skyrms,editors, Causation in Decision, Belief Change, and Statistics, vol.2, pages 105-134. reidel, Dordrecht, 1988.
6. [vDL03] H.P. van Ditmarsch and W.A. Labuschagne. A multimodal language for revising defeasible beliefs. In E. Álvarez and R. Bosch and L. Villamil, editors, Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), pages 140-141, Oviedo University Press, 2003.