Removing inconsistencies in assumption-based theories through knowledge-gathering actions

Studia Logica

Volumn 67, Issue 2, 2001, Pages 179-214

  Lang, Jérôme ^a   Marquis, Pierre ^b  

^a IRIT   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Assumption based reasoning; Inconsistency handling; Knowledge gathering actions; Tests

Indexed keywords

EID: 26444534379     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1010595019595     Document Type: Article

References (25)

1. ANTONIOU, G., 'On the dynamics of default reasoning', Proc. of ECSQARU'99, 1-10.
2. BREWKA, G. 'Preferred subtheories: an extended logical framework for default reasoning', Proc. of IJCAI'89, 1043-1048.
3. BENFERHAT, S., C. CAYROL, D. DUBOIS, J. LANG and H. PRADE, 'Inconsistency management and prioritized syntax-based entailment', Proc. of IJCAI'93, 640-645.
4. DE KLEER, J., and B. WILLIAMS, 'Diagnosing multiple faults', Artificial Intelligence 32 (1987), 97-130.
5. DE KLEER, J., A. MACKWORTH and R. REITER, 'Characterizing diagnoses and systems', Artificial Intelligence 56 (1992), 197-222.
6. EITER, Th., and G. GOTTLOB, 'The complexity of logic-based abduction', JACM 42(1) (1995), 3-42.
7. GOTTLOB, G., 'Complexity results for nonmonotonic logics', Journal of Logic and Computation 2 (1992), 397-425.
8. KARP, R., 'Complexity of computer computations', in Reducibility among combinatorial problems, Plenum Press, New York, pp. 85-103, 1977.
9. KEAN, A.,' A formal characterization of a domain independent abductive reasoning system', Ph.D. thesis, University of British Columbia, 1992.
10. LANG, L., and P. MARQUIS, 'Complexity results for independence and de nability in propositional logic', Proc. of KR'98, 356-367.
11. MARQUIS, P., 'Consequence finding algorithms', in vol. 5, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer Academic, 2000, 41-145.
12. MCILRAITH, S., 'Generating tests using abduction', Proc. of KR'94, 449-460.
13. MCILRAITH, S., and R. REITER, 'On tests for hypothetical reasoning', Readings in model-based diagnosis, Morgan Kaufman, 89-96, 1992.
14. MOORE, R. C., 'A formal theory of knowledge and action', Readings in Planning, Morgan Kaufmann, 480-519, 1990.
15. NEBEL, B., 'Belief revision and default reasoning: syntax-based approaches', Proc. of KR'91, 417-428.
16. PAPADIMITRIOU, Ch., Computational Complexity, Addison-Wesley, 1994.
17. POOLE, D., 'A logical framework for default reasoning', Artificial Intelligence 36 (1987), 27-47.
18. POOLE, D., 'Normality and faults in logic-based diagnosis', Readings in model-based diagnosis, Morgan Kaufman, pp. 71-77, 1992.
19. REITER, R., 'A theory of diagnosis from first principles', Artificial Intelligence 32(1) (1987), 57-96.
20. RYMON, R., 'Search through systematic set enumeration', Proc. of KR'92, 539-550.
21. SCHERL R. B., and H. J. LEVESQUE, 'The frame problem and knowledge-producing actions', Proc. of AAAI'93, 689-695.
22. STILLMAN, J., 'The complexity of propositional default logics', Proc. of AAAI'92, 794-799.
23. STOCKMEYER, L. J., 'The polynomial hierarchy', TCS 3 (1977), 1-22.
24. VAN LINDER, B., W. VAN DER HOEK and J.-J. MEYER, 'Tests as epistemic updates', Proc. of ECAI'94, 331-335.
25. WILLIAMS M. A., and G. ANTONIOU, 'A strategy for revising default theory extensions', Proc. of KR'98, 24-33.