Propagating truth and detecting contradiction in conceptual graph databases

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

Volumn 1115, Issue , 1996, Pages 229-247

  Esch, John ^a   Levinson, Robert ^b  

^a St Paul MN USA   (United States)

^b University of California Santa Cruz   (United States)

Author keywords

Conceptual graphs; Contradiction; Generalization hierarchy; Logic; Proof procedure; Refutation; Resolution

Indexed keywords

GRAPHIC METHODS; KNOWLEDGE REPRESENTATION; OPTICAL RESOLVING POWER;

CONCEPTUAL GRAPH; CONTRADICTION; GENERALIZATION HIERARCHY; LOGIC; PROOF PROCEDURES; REFUTATION;

DATABASE SYSTEMS;

EID: 0013229866     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61534-2_15     Document Type: Conference Paper

References (22)

1. G. Ellis. Compiled hierarchical retrieval. In E. Way, editor, Proceedings of Sixth Annual Workshop on Conceptual Structures, pages 187-208, SUNY-Binghamton, 1991.
2. G. Ellis. Efficient retrieval from hierarchies of objects using lattice operations. In G. Mineau and B. Moulin, editors, Proceedings of First International Conference on Conceptual Structures (ICCS-93), Montreal, 1993.
3. G. Ellis and F. Lehmann. Exploiting the Induced Order on Type-labeled Graphs for Fast Knowledge Retrieval. In Conceptual Structures: Current Practices, the proceedings of the Second International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA, Springer-Verlag, August, 1994.
4. G. Ellis. Object-Oriented Conceptual Graphs In Proceedings of Third International Conference on Conceptual Structures, ICCS'95, Santa Cruz, CA, USA, August, 1995, pages 144-157, Springer-Verlag, New York.
5. J. Esch and R. Levinson. An Implementation Model for Contexts and Negation in Conceptual Graphs. In Proceedings of Third International Conference on Conceptual Structures, ICCS'95, Santa Cruz, CA, USA, August, 1995, pages 247-262, Springer-Verlag, New York.
6. H. B. Enderton. A Mathematical Introduction to Logic Academic Press, N.Y., 1972.
7. R. Levinson. Pattern associativity and the retrieval of semantic networks. Computers and Mathematics with Applications, 23(6-9):573-600, 1992. Part 2 of Semantic Networks in Artificial Intelligence, Fritz Lehmann, editor. Also in Semantic Networks in Artificial Intelligence, Fritz Lehmann, editor, Pergammon Press, 1992.
8. Levinson Ellis. Multilevel hierarchical retrieval. Knowledge-Based Systems, 1992.
9. R. Levinson and Karplus K. Graph-isomorphism and experience-based planning. In D. Subramaniam, editor, Proceedings of Workshop on Knowledge Compilation and Speed-Up Learning, Amherst, MA., June 1993.
10. R.A. Levinson. Exploiting the physics of state-space search. In Proceedings of AAAI Symposium on Games:Planning and Learning, pages 157-165. AAAI Press, 1993.
11. R. Levinson. UDS: A Universal Data Structure. In Proceedings of Secondlnternational Conference on Conceptual Structures, ICCS'94, College Park, Maryland, Aug. 1994.
12. Z. Manna and I.A. Waldinger, Deductive Approach to Program Synthesis, In ACM Transactions on Programming Languages and Systems, Vol. 2, No. 1, January 1980.
13. T.M. Mitchell, Generalization as Search, In Artificial Intelligence, Vol 18, 1982.
14. W. McCune, OTTER 3.0 Reference Manual and Guide, Argonne National Laboratory, Argonne, Illinois, 1995.
15. E. Rich and K. Knight. Artificial Intelligence, McGraw-Hill, 1991.
16. D.D. Roberts. The existential graphs. In Semantic Networks in Artificial Intelligence, pages 639-664, Roberts, 1992.
17. J.F. Sows. Conceptual Structures. Addison-Wesley, 1984.
18. J.F. Sows. Conceptual Graphs Summary. In Conceptual Structures: Current Research and Practice, T. Nagle et. al. Ed., Ellis ttorwood, 1992.
19. J.F. Sowa. Logical Foundations for Representing Ojbect-Oriented Systems In Journal of Experimental & Theoretical Artifical Intelligence, 5, 1993.
20. J.F. Sows. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Book in preparation. To be published by PWS Publishing Company, Boston, Massachusetts.
21. J. Stewart. Theorem Proving Using Existential Graphs, Master's Thesis, available University of California Technical Report.
22. C.B. Suttner and G. Sutcliffe, The TPTP Problem Library, Technical Report AR-95-03, Institut ffir Informatik, TU Mfinchen, Germany, 1995.