A Logic of Limited Belief for Reasoning with Disjunctive Information

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 587-597

  Liu, Yongmei ^a   Lakemeyer, Gerhard ^b   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

COMPLETE AXIOMATIZATIONS; DEDUCTIVE REASONING; FIRST ORDER; MODEL THEORY; QUERY EVALUATION; REASONERS; SOUND AND COMPLETE;

COMPUTER CIRCUITS;

EID: 85167394386     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Anderson, A., and Belnap, N. 1975. Entailment: The Logic of Relevance and Necessity. Princeton University Press.
2. Cadoli, M., and Schaerf, M. 1992. Approximate reasoning and non-omniscient agents. In Proc. of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-92), 159-183.
3. Cadoli, M., and Schaerf, M. 1996. On the complexity of entailment in propositional multivalued logics. Annals of Mathematics and Artificial Intelligence 18(1):29-50.
4. Crawford, J., and Etherington, D. 1998. A non-deterministic semantics for tractable inference. In Proc. of AAAI-98, 286-291.
5. Crawford, J., and Kuipers, B. 1989. Towards a theory of access limited reasoning. In Proc. of KR-89, 67-78.
6. Dalal, M. 1996. Semantics of an anytime family of reasoners. In Proc. of the 12th European Conference on Artificial Intelligence (ECAI-96), 360-364.
7. Delgrande, J. 1995. A framework for logics of explicit belief. Computational Intelligence 11(1):47-88.
8. Dunn, J. 1976. Intuitive semantics for first-degree entailments and coupled trees. Philosophical Studies 29:149-168.
9. Fagin, R., and Halpern, J. 1988. Belief, awareness, and limited reasoning. Artificial Intelligence 34(1):39-76.
10. Fagin, R.; Halpern, J.; and Vardi, M. 1990. A nonstandard approach to the logical omniscience problem. In Proc. of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-90), 41-55.
11. Frisch, A. 1987. Inference without chaining. In Proc. of IJCAI-87, 515-519.
12. Halpern, J., and Moses, Y. 1992. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54(3):319-379.
13. Hintikka, J. 1962. Knowledge and Belief. Cornell University Press.
14. Konolige, K. 1986. A Deduction Model of Belief. Brown University Press.
15. Kripke, S. 1959. A completeness theorem in modal logic. Journal of Symbolic Logic 24:1-14.
16. Kripke, S. 1976. Is there a problem with substitutional quantification? In Evans, G., and McDowell, J., eds., Truth and Meaning. Clarendon Press, Oxford. 325-419.
17. Lakemeyer, G., and Levesque, H. 2002. Evaluation-based reasoning with disjunctive information in first-order knowledge bases. In Proc. of KR-02, 73-81.
18. Lakemeyer, G. 1990. Models of Belief for Decidable Reasoning in Incomplete Knowledge Bases. Ph.D. Dissertation, Department of Computer Science, University of Torono.
19. Levesque, H. 1984. A logic of implicit and explicit belief. In Proc. of AAAI-84, 198-202.
20. Levesque, H. 1998. A completeness result for reasoning with incomplete first-order knowledge bases. In Proc. KR-98, 14-23.
21. Liu, Y., and Levesque, H. 2003. A tractability result for reasoning with incomplete first-order knowledge bases. In Proc. of IJCAI-03, 83-88.
22. Liu, Y. 2004. Ph.D. Dissertation, Department of Computer Science, University of Torono. In preparation.
23. McAllester, D., and Givan, B. 1993. Taxonomic syntax for first order inference. Journal of the ACM 40(2):246-283.
24. McAllester, D. 1990. Truth maintenance. In Proc. of AAAI-90, 1109-1116.
25. Patel-Schneider, P. 1985. A decidable first-order logic for knowledge representation. In Proc. of IJCAI-85, 455-458.
26. Schaerf, M., and Cadoli, M. 1995. Tractable reasoning via approximation. Artificial Intelligence 74:249-310.
27. Vardi, M. 1986. On epistemic logic and logical omniscience. In Proc. of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-86), 293-305.