An efficient technique to ensure the logical consistency of interacting knowledge bases

International Journal of Cooperative Information Systems

Volumn 6, Issue 1, 1997, Pages 27-36

  Mazure, Bertrand ^a   Saïs, Lakhdar ^a   Grégoire, Éric ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Combining knowledge bases; Cooperative systems; Logical inconsistency; Rational agents

Indexed keywords

EID: 0343241973     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843097000045     Document Type: Article

References (18)

1. L. Gasser and M. Huhns, Distributed Artificial Intelligence 2 (Morgan Kaufmann, 1989).
2. P. Maes, Designing Autonomous Agents (MIT Press, 1990).
3. Y. Shoham, Agent-oriented programming, Artificial Intell. 60 , 1 (1993) 51-92.
4. M. P. Singh, Towards a formal theory of communication for multi-agent systems, Proc. IJCAI-91, 1991.
5. M. Huhns, Distributed Artificial Intelligence (Morgan Kauffman, 1987).
6. B. Selman, H. Levesque and D. Mitchell, A new method for solving hard satisfiability problems, Proc. AAAI-92 (1992) 440-446.
7. B. Mazure, L. Saïs and E. Grégoire, TWSAT: A new local search algorithm for SAT. Performance and Analysis, CP95 Workshop on Studying and Solving Really Hard Problems, Cassis (1995) 127-130.
8. B. Mazure, L. Saïs and E. Grégoire, Detecting logical inconsistencies, Proc. AI and Maths Symp., Fort Lauderdale (1996) 116-121.
9. P. Siegel, Représentation et utilisation de la connaissance en calcul propositionnel, Thèse d'État, GIA, Luminy, Marseille 1987.
10. M. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-completeness (Freeman, San Francisco, 1979).
11. O. Dubois, P. André, Y. Boufkhad and J. Carlier, SAT versus UNSAT, J. Am. Mathematical Society, also in Proc. of the Second DIMACS Challenge, 1993.
12. M. Davis and H. Putnam, A computing procedure for quantification theory, J. ACM 7 (1960) 201-215.
13. B. Selman, H. A. Kautz and B. Cohen, Local search strategies for satisfiability testing, Proc. 1993 DIMACS Workshop on Maximum Clique, Graph Coloring, and Satisfiability, 1993.
14. DIMACS, Second challenge organized by the center for discrete mathematics and computer science of Rutgers university, 1993.
15. C. Baral, S. Kraus and J. Minker, Combining multiple knowledge bases, IEEE Trans, on Knowledge and Data Engineering 3, 1991.
16. C. Baral, S. Kraus, J. Minker and V. S. Subrahmanian, Combining knowledge bases consisting of first-order theories, Computational Intelligence 8, 1992.
17. L. Cholvy, A logical approach to multi-sources reasoning, LNCS 808 (Springer 1994) 183-196.
18. B. Selman, Systematic versus stochastic constraint satisfaction (Panel discussion), Proc. IJCAI-95 (1995) 2027-2032.