An interpretation of default logic in minimal temporal epistemic logic

Journal of Logic, Language and Information

Volumn 7, Issue 3, 1998, Pages 369-388

  Engelfriet, Joeri ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Default logic; Epistemic logic; Nonmonotonic reasoning; Preferential entailment; Temporal logic

Indexed keywords

EID: 54649083637     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008243611454     Document Type: Article

References (35)

1. Amati, G., Aiello, L.C., Gabbay, D., and Pirri, F., 1996, "A structural property on modal frames characterizing default logic," Journal of the IGPL 4, 7-22.
2. Amati, G., Aiello, L.C., and Pirri, F., 1997, "Definability and commonsense reasoning," Artificial Intelligence 93, 169-199.
3. Benthem, J.F.A.K. van, 1983, The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht: Reidel.
4. Besnard, P., 1989, An Introduction to Default Logic, Berlin: Springer-Verlag.
5. Besnard, P. and Mercer, R.E., 1992, "Non-monotonic logics: A valuations-based approach," pp. 77-84 in Artificial Intelligence V: Methodology, Systems, Applications, B. du Boulay and V. Sgurev, eds., Amsterdam: Elsevier Science Publishers.
6. Besnard, P. and Schaub, T., 1994, "Possible worlds semantics for default logics," Fundamenta Informaticae 21, 39-66.
7. Etherington, D.W., 1987, "A semantics for default logic," pp. 495-498 in Proceedings IJCAI-87, J. McDermott, ed., San Mateo, CA: Morgan Kaufmann;
8. see also: Etherington, D.W., 1988, Reasoning with Incomplete Information, San Mateo, CA: Morgan Kaufmann.
9. Engelfriet, J., 1996, "Minimal temporal epistemic logic," Notre Dame Journal of Formal Logic, special issue on Combining Logics 37, 233-259.
10. Engelfriet, J. and Treur, J., 1993, "A temporal model theory for default logic," pp. 91-96 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU'93, M. Clarke, R. Kruse, and S. Moral, eds., Lecture Notes in Computer Science, Vol. 747, Berlin: Springer-Verlag.
11. Engelfriet, J. and Treur, J., 1994, "Temporal theories of reasoning," pp. 279-299 in Logics in Artificial Intelligence: Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, C. MacNish, D. Pearce, and L.M. Pereira, eds., Berlin: Springer-Verlag.
12. Also in Journal of Applied Nonclassical Logics 5 (1995), 239-261.
13. Engelfrict, J. and Treur, J., 1996, "Semantics for default logic based on specific branching time models," pp. 60-64 in Proceedings of the 12th European Conference on Artificial Intelligence, W. Wahlster, ed., Chichester: John Wiley & Sons.
14. Engelfriet, J., Herre, H., and Treur, J., 1995, "Nonmonotonic belief state frames and reasoning frames (extended abstract)," pp. 189-196 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings ECSQARU'95, C. Froidevaux and J. Kohlas, eds., Lecture Notes in Artificial Intelligence, Vol. 946, Berlin: Springer-Verlag.
15. Finger, M. and Gabbay, D., 1992, "Adding a temporal dimension to a logic system," Journal of Logic, Language and Information 1, 203-233.
16. Gabbay, D.M., 1982, "Intuitionistic basis for non-monotonic logic," pp. 260-273 in 6th Conference on Automated Deduction, G. Goos and J. Hartmanis, eds., Lecture Notes in Computer Science, Vol. 138, Berlin: Springer-Verlag.
17. Halpern, J.Y. and Moses, Y., 1984, "Towards a theory of knowledge and ignorance," pp. 125-143 in Proceedings of the Workshop on Non-monotonic Reasoning, AAAI'84, Menlo Park: AAAI Press.
18. Hoek, W. van der, Meyer, J.-J.Ch., and Treur J., 1995, "Temporalizing epistemic default logic," pp. 173-190 in Information Systems - Correctness and Reusability, Selected papers from the ISCORE-95 Workshop, R.B. Feenstra and R. Wieringa, eds., London: World Scientific Publishers.
19. Extended version in. Journal of Logic, Language and Information, 1998, this issue.
20. Kripke, S., 1965, "Semantical analysis of intuitionistic logic I," pp. 92-130 in Formal Systems and Recursive Function Theory, J.N. Crossley and M. Dummett, eds., Amsterdam: North-Holland.
21. Levesque, H.J., 1984, "A logic of implicit and explicit belief," pp. 198-202 in Proceedings National Conference on Artificial Intelligence, AAAI-84, San Mateo, CA: Morgan Kaufmann.
22. Lin, F. and Reiter, R., 1996, "Rules as actions: A situation calculus semantics for logic programs," Journal of Logic Programming, special issue on Reasoning about Action and Change (to appear).
23. Lin, F. and Shoham, Y., 1992, "A logic of knowledge andjustified assumptions," Artificial Intelligence 57, 271-289.
24. Lukaszewicz, W., 1990, Non-Monotonie Reasoning: Formalisation of Commonsense Reasoning, New York: Ellis Horwood.
25. Marek, V.W. and Truszczynski, M., 1989, "Relating autoepistemic and default logics," pp. 276-288 in Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, R.J. Brachman, H.J. Levesque, and R. Reiter, eds., San Mateo, CA: Morgan Kaufmann.
26. Marek, V.W. and Truszczynski, M., 1992, "More on modal aspects of default logic," Fundamenta Informaticae 17, 99-116.
27. Marek, V.W. and Truszczynski, M., 1993, Nonmonotonic Logics; Context-Dependent Reasoning, Berlin: Springer-Verlag.
28. Marek, V.W., Schwarz, G.F., and Truszczynski, M., 1993, "Modal nonmonotonic logics: Ranges, characterization, computation," Journal of the ACM 40, 963-990.
29. McDermott, D. and Doyle, J., 1980, "Nonmonotonic logic I," Artificial Intelligence 13, 41-72.
30. Reiter, R., 1980, "A logic for default reasoning," Artificial Intelligence 13, 81-132.
31. Schaub, T., 1991, "Assertional default theories: A semantical view," pp. 496-506 in Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, J.A. Allen, R. Fikes, and E. Sandewall, eds., San Mateo, CA: Morgan Kaufmann.
32. Schwarz, G., 1995, "In search of a "true" logic of knowledge: The nonmonotonic perspective," Artificial Intelligence 79, 39-63.
33. Schwarz, G. and Truszczynski, M., 1994, "Minimal knowledge problem: A new approach," Artificial Intelligence 67, 113-141.
34. Treur, J., 1994, "Temporal semantics of meta-level architectures for dynamic control of reasoning," pp. 353-376 in Logic Program Synthesis and Transformation-Meta-Programming in Logic: Proceedings LOPSTR '94 and META '94, L. Fribourg and F. Turini, eds., Lecture Notes in Computer Science, Vol. 883, Berlin: Springer-Verlag.
35. Voorbraak, F., 1993, "Preference-based semantics for nonmonotonic logics," pp. 584-589 in Proceedings IJCAI-93, R. Bajcsy, ed., San Mateo, CA: Morgan Kaufmann.