Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure.
Tru H. CaoPeter N. CreasyPublished in: ICCS (1998)
Keyphrases
- conceptual graphs
- proof procedure
- conceptual structures
- order sorted logic
- theorem proving
- propositional logic
- first order logic
- knowledge structures
- partial order
- natural language
- domain ontology
- propositional satisfiability
- databases
- model theoretic
- general purpose
- low level
- decision procedures
- predicate calculus
- training data