Resource-bounded inference from inconsistent belief bases

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 103-108

  Marquis, Pierre ^a   Porquet, Nadeg̀e ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PARACONSISTENT REASONING; POINT OF VIEWS; RESOURCE-BOUNDED;

ARTIFICIAL INTELLIGENCE;

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

References (21)

1. S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade. Inconsistency management and prioritized syntax-based entailment. Proc. IJCAI'93, 640-645, 1993.
2. S. Benferhat, D. Dubois, and H. Prade. How to infer from inconsistent beliefs without revising? Proc. IJCAI'95, 1449-1455, 1995.
3. S. Benferhat. Computing specificity in default reasoning. In Handbook of DRUMS, vol. 5, Kluwer Academic, 147-177, 2000.
4. Ph. Besnard and T. Schaub. Signed systems for paraconsistent reasoning. Journal of Automated Reasoning, 20:191-213, 1998. (Pubitemid 128510951)
5. M. Cadoli and M. Schaerf. On the complexity of entailment in propositional multivalued logics. Annals of Mathematics and Artificial Intelligence, 18:29-50, 1996.
6. C. Cayrol, M.-C. Lagasquie-Schiex and Th. Schiex. Nonmonotonic reasoning: from complexity to algorithms. Annals of Mathematics and Artificial Intelligence, 22(3-4):207-236, 1998.
7. S. Chopra and R. Parikh. An inconsistency tolerant model for belief representation and belief revision. Proc. IJCAI'99, 192-197, 1999.
8. J.M. Crawford and D.W. Etherington. A non-deterministic semantics for tractable inference. Proc. AAAI'98, 1998.
9. J.M. Crawford and B. Kuipers. Towards a theory of access-limited logic for knowledge representation. Proc. KR'89, 67-78, 1989.
10. N. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497-510, 1974.
11. M. Dalal. Anytime families of tractable propositional reasoners. Proc. AI&Math'96, 42-45, 1996.
12. R.L. Epstein. The semantic foundation of logic. Vol. I: propositional logics. Kluwer Academic Publisher, 1990.
13. H.J. Levesque. A logic of implicit and explicit belief. Proc. AAAI'84, 198-202, 1984.
14. F. Lin. Reasoning in the presence of inconsistency. Proc. AAAI'87, 139-143, 1987.
15. B. Nebel. How hard is it to revise a belief base? In Handbook of DRUMS, vol. 3, Kluwer Academic, 77-145, 1998.
16. Ch. H. Papadimitriou. Computational Complexity, Addison-Wesley, 1994.
17. G. Pinkas and R.P. Loui. Reasoning from inconsistency: a taxonomy of principles for resolving conflict. Proc. KR'92, 709-719, 1992.
18. G. Priest. Reasoning about truth. Artificial Intelligence 39:231-244, 1989.
19. G. Priest. Minimally inconsistent LP. Studia Logica 50:321-331, 1991.
20. M. Schaerf and M. Cadoli. Tractable reasoning via approximation. Artificial Intelligence 74(2):249-310, 1995.
21. B. Selman and H.A. Kautz. Knowledge compilation and theory approximation. Journal of the Association for Computing Machinery 43(2):193-224, 1996. (Pubitemid 126628034)