Improving the Forward Chaining Algorithm for Conceptual Graphs Rules

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 407-414

  Baget, Jean François ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

CONCEPTUAL GRAPH; FIRST ORDER LOGIC; FUNCTION SYMBOLS; GRAPH HOMOMORPHISMS; LOGIC FORMULAS; OPTIMISATIONS; RULE DEPENDENCIES; SIMPLE++; SOUND AND COMPLETE; TUPLE-GENERATING DEPENDENCIES;

GRAPHIC METHODS;

EID: 33746619713     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison-Wesley.
2. Baget, J.-F., and Mugnier, M.-L. 2002. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. Journal of Artificial Intelligence Research 16:425-465. http://www.cs.washington.edu/research/jair/contents/v16.html.
3. Baget, J.-F.; Genest, D.; and Mugnier, M.-L. 1999. Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the SISYPHUS-I Case Study. In Gaines, B. R.; Musen, M. A.; and Kremer, R. C., eds., Twelfth Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, October 16-21, 1999. Online proceedings at http://sern.ucalgary.ca/KSI/KAW/KAW99/papers.html.
4. Baget, J.-F. 2001. Représenter des connaissances et raisonner avec des hypergraphes: de la projection à la dérivation sous contraintes. Ph.D. Dissertation, Université de Montpellier II.
5. Baget, J.-F. 2003. Simple conceptual graphs revisited: Hypergraphs and conjunctive tupes for efficient projection algorithms. In de Moor, A.; Lex, W.; and Ganter, B., eds., Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, volume 2746 of Lecture Notes in Artificial Intelligence, 229-242. Springer.
6. Chein, M., and Mugnier, M.-L. 1992. Conceptual Graphs: fundamental notions. Revue d'Intelligence Artificielle 6(4):365-406.
7. Coulondre, S., and Salvat, Éric. 1998. Piece Resolution: Towards Larger Perspectives. In Mugnier and Chein (1998), 179-193.
8. Genest, D., and Salvat, Éric. 1998. A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT. In Mugnier and Chein (1998), 154-161.
9. Maher, M. J., and Srivastava, D. 1996. Chasing constrained tuple-generating dependencies. In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada, 128-138. ACM Press.
10. Mugnier, M.-L., and Chein, M. 1996. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle (numéro spécial”Graphes Conceptuels”) 10(1).
11. Mugnier, M.-L., and Chein, M., eds. 1998. Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998, Proceedings, volume 1453 of Lecture Notes in Computer Science. Springer.
12. Mugnier, M.-L. 2000. Knowledge Representation and Reasonings Based on Graph Homomorphism. In Ganter, B., and Mineau, G. W., eds., Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, volume 1867 of Lecture Notes in Computer Science, 172-192. Springer.
13. Salvat, Éric., and Mugnier, M.-L. 1996. Sound and Complete Forward and Backward Chainings of Graphs Rules. In Eklund, P. W.; Ellis, G.; and Mann, G., eds., Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19-22, 1996, Proceedings, volume 1115 of Lecture Notes in Computer Science, 248-262. Springer.
14. Salvat, Éric. 1998. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. In Prade, H., ed., 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings, 356-360. John Wiley and Sons.
15. Sowa, J. F. 1984. Conceptual Structures: Information Processing in Mind and Machine. Reading, MA: Addison-Wesley.