The dynamics of default reasoning

Data and Knowledge Engineering

Volumn 21, Issue 3, 1997, Pages 317-346

  Van Linder, B ^a   Van Der Hoek, W ^a   Meyer, J J Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Default reasoning; Intelligent agents; Knowledge representation; Modal dynamic and epistemic logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; FORMAL LOGIC;

DEFAULT REASONING; EPISTEMIC LOGIC; INTELLIGENT AGENTS; MODAL DYNAMIC LOGIC;

KNOWLEDGE REPRESENTATION;

EID: 0031079454     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00021-3     Document Type: Article

References (50)

1. C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic 50 (1985) 510-530.
2. P. Besnard, An Introduction to Default Logic (Springer-Verlag, Berlin-Heidelberg, 1989).
3. S. Brass, Deduction with supernormal defaults, in K.P. Jantke, G. Brewka and P.H. Schmitt, (eds.), Nonmonotonic and Inductive Logics, 2nd Int. Workshop (NIL'91), volume 659 of Lecture Notes in Artificial Intelligence (Springer-Verlag, Berlin, 1992).
4. S. Brass, On the semantics of supernormal defaults, in R. Bajcsy, (ed.), Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93) (Morgan Kaufmann, 1993) 578-583.
5. G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Univ. Press, Cambridge, 1991).
6. B.F. Chellas, Modal Logic. An Introduction (Cambridge Univ. Press, Cambridge, 1980).
7. P.R. Cohen and H.J. Levesque, Intention is choice with commitment, Artif. Intell. 42 (1990) 213-261.
8. J. Dix, Default theories of Poole-type and a method for constructing cumulative versions of default logic, in B. Neumann, (ed.), Proceedings of the 10th European Conf. on Artificial Intelligence (ECAI'92) (Wiley, 1992) 289-293.
9. P. Doherty, NML3-A Non-Monotonic Formalism with Explicit Defaults, Ph.D. thesis, Department of Computer and Information Science, Linköping University, Sweden, October 1991.
10. D. Elgesem, Action Theory and Modal Logic, Ph.D. thesis, Institute for Philosophy, University of Oslo, Oslo, Norway, 1993.
11. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, Massachusetts and London, 1988).
12. J.Y. Halpern and Y. Moses, Towards a theory of knowledge and ignorance, Proc. AAAI Workshop on Non-monotonic Logic (1984) 125-143. Reprinted, in K. Apt, (ed.), Logics and Models of Concurrent Systems (Springer-Verlag, Berlin/New York, 1985) 459-476.
13. J.Y. Halpern and Y. Moses, Towards a theory of knowledge and ignorance, Proc. AAAI Workshop on Non-monotonic Logic (1984) 125-143. Reprinted, in K. Apt, (ed.), Logics and Models of Concurrent Systems (Springer-Verlag, Berlin/New York, 1985) 459-476.
14. J.Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artif. Intell., 54 (1992) 319-379.
15. J. Hintikka, Knowledge and Belief (Cornell Univ. Press, Ithaca, NY, 1962).
16. W. van der Hoek, Systems for knowledge and beliefs, Journal of Logic and Computation, 3(2) (1993) 173-195.
17. W. van der Hoek, B. van Linder and J.-J. Ch. Meyer, A logic of capabilities, in A. Nerode and Yu. V. Matiyasevich, (eds.), Proc. Third Int. Symposium on the Logical Foundations of Computer Science (LFCS'94), volume 813 of Lecture Notes in Computer Science (Springer-Verlag, 1994) 366-378.
18. W. van der Hoek, B. van Linder and J.-J. Ch. Meyer. Unravelling nondeterminism: On having the ability to choose (extended abstract), in P. Jorrand and V. Sgurev, (eds.), Proc. Sixth Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'94) (World Scientific, 1994) 163-172.
19. W. van der Hoek and J.-J. Ch. Meyer, Possible logics for belief, Logique and Analyse 127-128 (1989) 177-194.
20. A. Kenny, Will, Freedom and Power (Blackwell, Oxford, 1975).
21. K. Konolige, On the relation between default and autoepistemic logic, Artif. Intell. 35 (1988) 343-382.
22. S. Kraus and D. Lehmann, Knowledge, belief and time, Theoretical Computer Science 58 (1988) 155-174.
23. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter and R. Scherl, A logical approach to high-level robot programming - a progress report. To appear in Control of the Physical World by Intelligent Systems, Working Notes of the 1994 AAAI Fall Symposium, New Orleans, LA., 1994.
24. H. Levesque, A logic of implicit and explicit belief, in Proc. National Conf. on Artificial Intelligence (1984) 198-202.
25. B. van Linder, Modal Logics for Rational Agents, Ph.D. thesis, Utrecht University, 1996, to appear.
26. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer. Communicating rational agents, in B. Nebel and L. Dreschler-Fischer, (eds.), KI-94: Advances in Artificial Intelligence, volume 861 of Lecture Notes in Computer Science (subseries LNAI) (Springer-Verlag, 1994) 202-213.
27. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Tests as epistemic updates, in A.G. Cohn, (ed.), Proc. 11th European Conf. on Artificial Intelligence (ECAI'94) (Wiley, 1994) 331-335.
28. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Actions that make you change your mind, in A. Laux and H. Wansing, (eds.), Knowledge and Belief in Philosophy and Artificial Intelligence (Akademie Verlag, 1995) 103-146.
29. B. van Linder and E. Hubbers, Default ionic logic, its syntax and semantics - part I, Technical Report IR-296, Vrije Universiteit Amsterdam, August 1992.
30. B. van Linder and E. Hubbers, Default ionic logic, its syntax and semantics - part II, Technical Report IR-297, Vrije Universiteit Amsterdam, August 1992.
31. V.W. Marek and M. Truszczyński, Nonmonotonic Logic (Springer-Verlag, 1993).
32. W. Marek and M. Truszczyński, Modal logic for default reasoning, Annals of Mathematics and Artificial Intelligence 1 (1990) 275-302.
33. D. McDermot and J. Doyle, Non-monotonic logic I, Artif. Intell. 13 (1980) 41-72.
34. J.-J. Ch. Meyer and W. van der Hoek, A modal logic for nonmonotonic reasoning, in W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan and C. Witteveen, (eds.), Non-Monotonic Reasoning and Partial Semantics (Ellis Horwood, Chichester, 1992) 37-77.
35. J.-J. Ch. Meyer and W. van der Hoek, A default logic based on epistemic states, in M. Clarke, R. Kruse and S. Moral, (eds.), Proceedings of ESQUARU 1993, volume 747 of Lecture Notes in Computer Science (Springer-Verlag, 1993) 265-273.
36. J.-J. Ch. Meyer and W. van der Hoek, Epistemic Logic for AI and Computer Science (Cambridge Univ. Press, 1995).
37. R.C. Moore, Reasoning about knowledge and action, Technical Report 191, SRI International, 1980.
38. R.C. Moore, A formal theory of knowledge and action, Technical Report 320, SRI International, 1984.
39. A. Nait-Abdallah, The Logic of Partial Information (Springer-Verlag, 1995).
40. D. Poole, A logical framework for default reasoning, Artif. Intell. 36 (1988) 27-47.
41. A.S. Rao and M.P. Georgeff, Modeling rational agents within a BDI-architecture, in J. Allen, R. Fikes and E. Sandewall, (eds.), Proc. Second Int. Conf. on Principles of Knowledge Representation and Reasoning (San Mateo CA, 1991, Morgan Kaufmann) 473-484.
42. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
43. Y. Shoham, Agent-oriented programming, Artif. Intell. 60 (1993) 51-92.
44. Y. Shoham and S.B. Cousins, Logics of mental attitudes in AI, in G. Lakemeyer and B. Nebel, (eds.), Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Computer Science (subseries LNAI) (Springer-Verlag, 1994) 296-309.
45. E. Thijsse, Partial Logic and Knowledge Representation, Ph.D. thesis, Katholieke Universiteit Brabant, 1992.
46. S.R. Thomas, PLACA, An Agent Oriented Programming Language, Ph.D. thesis, Department of Computer Science, Stanford University, Stanford CA, September 1993. Appeared as technical report STAN-CS-93-1487.
47. M. Truszczyński, Modal interpretations of default logic, in Proc. Twelfth Int. Joint Conf. on Artificial Intelligence (1991) 393-398.
48. F. Veltman, Defaults in update semantics, Technical Report LP-91-02, ILLC, University of Amsterdam, 1991.
49. M. Wooldridge and M. Fisher, A first-order branching time logic of multi-agent systems, in B. Neumann, (ed.), Proc. 10th European Conf. on Artificial Intelligence (ECAI'92) (Wiley, 1992) 234-238.
50. G.H. von Wright, Norm and Action (Routledge and Kegan Paul, London, 1963).