An efficient hypothetical reasoning system for predicate-logic knowledge-base.
Akiko KondoToshiro MakinoMitsuru IshizukaPublished in: ICTAI (1991)
Keyphrases
- predicate logic
- hypothetical reasoning
- knowledge base
- semantic network
- knowledge representation and reasoning
- formal logic
- logic programs
- semantic net
- temporal logic
- knowledge representation
- description logics
- predicate calculus
- logic programming
- computational linguistics
- knowledge based systems
- expert systems
- deductive databases
- lower level
- dynamic environments
- cognitive science
- wordnet
- artificial intelligence
- machine learning
- supreme court
- logical formulas
- database systems
- information retrieval