Combining nonmonotonic reasoning and belief revision: A practical approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1480 LNAI, Issue , 1998, Pages 115-128

  Bessant, Brigitte ^a   Grégoire, Eric ^a   Marquis, Pierre ^a   Saïs, Lakhdar ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS;

BELIEF REVISION; HEURISTIC TECHNIQUES; KNOWLEDGE BASIS; LOCAL SEARCH; LOGICAL INTERPRETATION; NON-MONOTONIC REASONING; NONMONOTONIC; SYNTAX-BASED APPROACH;

ARTIFICIAL INTELLIGENCE;

EID: 22444451799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0057439     Document Type: Conference Paper

References (32)

1. Alchourrón, C, Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet functions for contraction and revision. Joum. of Symbolic Logic, vol. 50, pp. 510-530 (1985)
2. Benfherat, S., Dubois, D., Prade, H.: How to infer from inconsistent beliefs without revising. Proc. IJCAI-95, pp. 1449-1455 (1995)
3. Cadoli, M., Donini, F., Liberatore, P., Schaerf, M.: The size of a revised knowledge base. Proc. PODS-95, pp. 151-162 (1995)
4. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence, vol. 89, pp. 1-30(1997)
5. del Val, A.: On the relation between the coherence and foundations theories of belief revision. Proc. AAAI-94, pp. 909-914 (1994)
6. DIMACS 93: Second SAT challenge organized by the Center for Discrete Mathematics and Computer Science of Rutgers University (1993)
7. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactual. Artificial Intelligence, vol. 57, pp. 227-270 (1992)
8. Fagin, R., Ullman, J.D., Vardi, M.Y.: On the semantics of updates in databases. Proc. PODS-83, pp. 352-365 (1983)
9. Friedman, N., Halpem, J.Y.: Belief revision: a critique. Proc. KR'96, pp. 429-431 (1996)
10. Gärdenfors, P.: Belief revision and nonmonotonic logic: Two sides of the same coin?. Proc. ECAI92, Pitman Publishing, pp. 768-773 (1992)
11. Kautz, H., Selman, B.: Pushing the envelope: planning, propositional logic, and stochastic search. Proc. AAAI-96, pp. 1194-1201, Portland (1996)
12. Lehman, D.: Belief revision revisited. Proc. IJCAI-95, pp. 1534-1540 (1995)
13. Liberatore, P., Schaerf, M.: Relating belief revision and circumscription. Proc. DCAI-95, pp. 1557-1553 (1995)
14. Liberatore, P., Schaerf, M.: The complexity of model checking for belief revision and update. Proc. AAAI-96, pp. 556-561 (1996)
15. Makinson, D., Gärdenfors, P.: Relations between the logic of theory change and nonmonotonic logic. In: Fuhrmann and Morreau (eds), Proc. of the Workshop on the logic of theory change, LNCS 465, Springer, pp. 185-205 (1991)
16. Mazure, B., Saïs, L., Grégoire, E.: Detecting logical inconsistencies. Proc. AI and Maths Symposium, Fort Lauderdale (FL), pp. 116-121. (1996) (extended version in Annals of AI & Maths (in print))
17. Mazure, B., Sais, L., Grégoire, E.: Tabu search for SAT. Proc. AAAI-97, pp. 281-285 (1997)
18. McCarthy J.: Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, vol. 28, pp. 89-116 (1986)
19. Moinard Y.: Revision and nonmonotonicity. Int. Journ. of Intelligent Systems, vol. 9 (1994)
20. Morris P.: The breakout method for escaping from local minima. Proc. AAAI-93 (1993)
21. Nebel B.: A knowledge level analysis of belief revision. Proc. KR-89, pp. 301-311 (1989)
22. Nebel B.: Syntax-based approaches to belief revision. In: Gärdenfors P. (ed), Belief Revision, Cambridge University Press, pp. 53-88 (1992)
23. Nebel B.: How hard is it to revise a belief base ?. report 83, Institut fur Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg (1996)
24. Newell A.: The knowledge level. Artificial Intelligence, vol. 18, pp. 87-127 (1982)
25. Papini O.: Revision in prepositional calculus. Proc. ECSQAU91, Marseille, LNCS 548, Springer, pp. 272-276 (1991)
26. Selman, B., Kautz, H.: An empirical study of greedy local search for satisfiability testing". Proc. AAAI-93 (1993)
27. Selman, B., Levesque, H., Mitchell, D.: A New Method for Solving Hard Satisfiability Problems. Proc. AAAI-92, pp. 440-446 (1992)
28. Selman, B., Kautz, H.A., Cohen, B.: Local Search Strategies for Satisfiability Testing. Proc. 1993 DIMACS Workshop on Maximum Clique, Graph Coloring, and Satisfiability (1993)
29. Selman, B., Kautz, H., McAllester, D.: Computational Challenges in Propositional Reasoning and Search. Proc. IJCAI-97 (1997)
30. Shoham, Y.: A semantical approach to non-monotonic logics. In: Ginsberg M.L. (ed.), Readings in Non-Monotonic Reasoning, Morgan Kaufmann (1987)
31. Williams, M.A.: Iterated Theory Base Change: a computational model. Proc. IJCAI-95, pp. 1541-1550(1995)
32. Winslett, M.: Updating Logical Databases. Cambridge University Press (1990)