Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs.
J. E. HeatonPavel KocuraPublished in: ICCS (1993)
Keyphrases
- theorem prover
- conceptual graphs
- inference engine
- knowledge representation
- knowledge structures
- first order logic
- knowledge representation language
- natural language
- knowledge base
- theorem proving
- expert systems
- rule base
- knowledge based systems
- inference rules
- partial order
- formal proof
- knowledge acquisition
- artificial intelligence
- description logics
- logic programming
- domain ontology
- natural deduction
- machine learning
- semantic web
- domain specific
- general purpose
- search engine
- information retrieval