30 likes | 213 Views
Conceptual Graphs (more). Wikipedia: Conceptual graphs (CGs) are a system of logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of artificial intelligence. They express meaning in a form that is logically precise, humanly
E N D
Conceptual Graphs (more) Wikipedia: Conceptual graphs (CGs) are a system of logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of artificial intelligence. They express meaning in a form that is logically precise, humanly readable, and computationally tractable. KIF: a format for representing a conceptual graph in machine form: becomes [dog] →(barks) barks dog
Adding Universal Quantification Concept node (box): can be labeled with type and referent. Referent can be nothing, name, marker or variable: barks dog • a dog barks • fido barks • a particular (unnamed) dog parks and bites • every dog bites barks dog:fido barks dog:#1232 barks dog:
rock A person is between a rock and a hard place. l between person hasprop hard place [person]← (between)←1 [rock] ←2 [place]→(hasprop)→[hard].