Conceptual Graphs and First Order Logic
作者： Gianni Amati , Iadh Ounis , None
关键词: Null graph 、 Strength of a graph 、 Line graph 、 Conceptual graph 、 Voltage graph 、 Complement graph 、 Computer science 、 Graph (abstract data type) 、 Graph property 、 Discrete mathematics
摘要: … translates conceptual graphs into first-order formulas, and on the definition of rules of inference. On page 142 it is claimed that "any formula in first-order logic can be expressed with …
core.ac.uk
oup.com
springer.com
sci-hub.se 参考文章(19)
M.-L. Mugnier, M. Chein, Conceptual graphs: fundamental notions Revue d'intelligence artificielle. ,vol. 6, pp. 365- 406 ,(1992)
J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine ,(1983)
Susanne Prediger, Simple Concept Graphs: A Logic Approach international conference on conceptual structures. pp. 225- 239 ,(1998) , 10.1007/BFB0054917
John F. Sowa, Knowledge Representation: Logical, Philosophical, and Computational Foundations ,(1999)
Richard Char-Tung Lee, Chin-Liang Chang, Symbolic Logic and Mechanical Theorem Proving ,(1973)
Brian R Gaines, Representation, Discourse, Logic and Truth: Situating Knowledge Technology international conference on conceptual structures. pp. 36- 63 ,(1993) , 10.1007/3-540-56979-0_2
Maurizio Lenzerini, Class hierarchies and their complexity Advances in database programming languages. pp. 43- 65 ,(1990) , 10.1145/101620.101623
Eric Salvat, Marie-Laure Mugnier, Sound and Complete Forward and backward Chainingd of Graph Rules international conference on conceptual structures. pp. 248- 262 ,(1996) , 10.1007/3-540-61534-2_16
Bikash Chandra Ghosh, Vilas Wuwongse, A Direct Proof Procedure for Definite Conceptual Graph Programs international conference on conceptual structures. pp. 158- 172 ,(1995) , 10.1007/3-540-60161-9_36
Elliott Mendelson, Introduction to Mathematical Logic ,(1964)