Approximate coherence-based reasoning

Journal of Applied Non-Classical Logics

Volumn 12, Issue 2, 2002, Pages 239-258

  Koriche, Frédéric ^a  

^a LIRMM   (France)

Author keywords

Anytime computation; Approximate reasoning; Coherence based reasoning; Four valued logic; Multimodal logics

Indexed keywords

EID: 69949114302     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.239-258     Document Type: Conference Paper

References (38)

1. [BAR 91] BARAL C., KRAUS S., MINKER J., "Combining multiple knowledge bases" IEEE Transactions on Knowledge and Data Engineering, vol. 3, num. 2, 1991, p. 208-220. (Pubitemid 21690596)
2. [BAR 92] BARAL C., KRAUS S., MINKER J., SUBRAHMANIAN V. S., "Combining knowledge bases consisting of first-order theories" Computational Intelligence, vol. 8, num. 1, 1992, p. 45-71.
3. [BEL 77] BELNAP N. D., "A useful four-valued logic" DUNN J. M., EPSTEIN G., Eds., Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, p. 8-37.
4. [BEN 93] BENFERHAT S., CAYROL C., DUBOIS D., LANG J., PRADE H., "Inconsistency management and prioritized syntax-based entailment" Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993, p. 640-645.
5. [BEN 95] BENFERHAT S., DUBOIS D., PRADE H., "How to infer from inconsistent beliefs without revising ?" Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995, p. 1449-1455.
6. [BEN 99] BENFERHAT S., DUBOIS D., PRADE H., "An overview of inconsistency-tolerant inferences in prioritized knowledge bases" DUBOIS D., KLEMENT E. P., PRADE H., Eds., Fuzzy Sets, Logics and Reasoning About Knowledge, vol. 15 of Applied Logic Series, p. 395-418, Kluwer Academic Publishers, 1999.
7. [BOR 84] BORGIDA A., IMIELINSKI T., "Decision making in committees: A framework for dealing with inconsistency and nonmonotonicity" Non-Monotonic Reasoning Workshop, AAAI Press, 1984, p. 21-32.
8. [BRE 89] BREWKA G., "Preferred subtheories: An extended logical framework for default reasoning" Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1989, p. 1043-1048.
9. [CAD 96] CADOLI M., SCHAERF M., "On the complexity of entailment in propositional multivalued logics" Annals of Mathematics and Artificial Intelligence, vol. 18, num. 1, 1996, p. 29-50.
10. [CAY 98] CAYROL C., LAGASQUIE-SCHIEX M. C., "Nonmonotonic reasoning: from complexity to algorithms" Annals of Mathematics and Artificial Intelligence, vol. 22, 1998, p. 207-236.
11. [CRA 89] CRAWFORD J. M., KUIPERS B., "Towards a theory of access-limited logic for knowledge representation" Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, 1989, p. 67-78.
12. [DAL 98] DALAL M., "Anytime clausal reasoning" Annals of Mathematics and Artificial Intelligence, vol. 22, num. 3-4, 1998, p. 297-318.
13. [DEA 88] DEAN T., BODDY M., "An analysis of time-dependent planning" Proceedings of the Seventh National Conference on Artificial Intelligence, 1988, p. 49-54.
14. [DEC 94] DECHTER R., RISH I., "Directional resolution: The Davis-Putnam procedure, revisited" Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994, p. 134-145.
15. [ELV 95] ELVANG-GØRANSSON M., HUNTER A., "Argumentative logics: Reasoning with classical inconsistent information" IEEE Transactions on Data and Knowledge Engineering, vol. 16, 1995, p. 125-145.
16. [FAG 83] FAGIN R., ULLMAN J. D., VARDI M. Y., "On the semantics of updates in databases" Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983, p. 352-365.
17. [FAG 95] FAGIN R., HALPERN J. Y., VARDI M. Y., "A nonstandard approach to the logical omniscience problem" Artificial Intelligence, vol. 79, num. 2, 1995, p. 203-240.
18. [GIN 86] GINSBERG M. L., "Counterfactuals" Artificial Intelligence, vol. 30, num. 1, 1986, p. 35-79.
19. [HUN 98] HUNTER H., "Paraconsistent logics" GABBAY D., SMETS P., Eds., Handbook of Defeasible Reasoning and Uncertainty Management Systems, p. 11-36, Kluwer Academic Publishers, 1998.
20. [KOR 98] KORICHE F., "A logic for anytime deduction and anytime compilation" DIX J., FURBACH U., DEL CERRO L., Eds., Logics in Artificial Intelligence, vol. 1489 of Lecture Notes in Artificial Intelligence, p. 324-342, Springer Verlag, 1998.
21. [KOR 01] KORICHE F., "A logic for approximate first-order reasoning" FRIBOURG L., Ed., Computer Science Logic, vol. 2142 of Lecture Notes in Computer Science, p. 247-261, Springer Verlag, 2001.
22. [LAK 94] LAKEMEYER G., "Limited reasoning in first-order knowledge bases" Artificial Intelligence, vol. 71, 1994, p. 213-255.
23. [LEH 95] LEHMANN D., "Another perspective on default reasoning" Annals of mathematics and artificial intelligence, vol. 15, 1995, p. 61-82.
24. [LEV 84] LEVESQUE H., "A logic of implicit and explicit belief" Proceedings of the Sixth National Conference on Artificial Intelligence, 1984, p. 198-202.
25. [LIN 95] LIN J., "Frameworks for dealing with conflicting information and applications" PhD thesis, Graduate Department of Computer Science. Univesity of Toronto, Toronto, Canada, 1995.
26. [MAR 01] MARQUIS P., PORQUET N., "Resource-bounded inference from inconsistent belief bases" Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001, p. 103-108.
27. [MAS 98] MASSACCI F., "Anytime approximate modal reasoning" Proceedings of the Fifteenth National Conference on Artificial Intelligence and of the Tenth Conference on Innovative Applications of Artificial Intelligence, 1998, p. 274-279.
28. [NEB 91] NEBEL B., "Belief revision and default reasoning: Syntax-based approaches" Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991, p. 417-428.
29. [NEB 98] NEBEL B., "How hard is it to revise a belief base?" GABBAY D., SMETS P., Eds., Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3, p. 77-145, Kluwer Academic Publishers, 1998.
30. [PER 97] PERLIS D., "Sources of, and exploiting, inconsistency: preliminary report" Journal of Applied Non-Classical Logics, vol. 7, num. 1-2, 1997, p. 25-75.
31. [PIN 92] PINKAS G., LOUI R. P., "Reasoning from inconsistency: A taxonomy of principles for resolving conflict" Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1992, p. 709-719.
32. [RES 70] RESCHER N., MANOR R., "On inference from inconsistent premises" Theory and Decision, vol. 1, 1970, p. 179-217.
33. [RYM 92] RYMON R., "Search through systematic set enumeration" Proceedings of the Third International Conference in Principles of Knowledge Representation and Reasoning, 1992, p. 539-550.
34. [SCH 95] SCHAERF M., CADOLI M., "Tractable reasoning via approximation" Artificial Intelligence, vol. 74, 1995, p. 249-310.
35. [SCH 01] SCHUURMANS D., SOUTHEY F., "Local search characteristics of incomplete SAT procedures" Artificial Intelligence, vol. 132, num. 2, 2001, p. 121-150. (Pubitemid 32951238)
36. [SEL 96] SELMAN B., KAUTZ H. A., "Knowledge compilation and theory approximation" Journal of the ACM, vol. 43, num. 2, 1996, p. 193-224. (Pubitemid 126628034)
37. [ZHA 00] ZHANG H., STICKEL M. E., "Implementing the Davis-Putnam method" Journal of Automated Reasoning, vol. 24, num. 1/2, 2000, p. 277-296. (Pubitemid 30576103)
38. [ZIL 96] ZILBERSTEIN S., "Using anytime algorithms in intelligent systems" AI Magazine, vol. 17, num. 3, 1996, p. 73-83. (Pubitemid 126669856)