A Formalization of Reasoning not Derived from Standard Predicate Logic.
Gregory S. TseytinPublished in: Theor. Comput. Sci. (1999)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- formal logic
- knowledge representation
- knowledge representation language
- reasoning systems
- temporal logic
- semantic net
- predicate calculus
- highly expressive
- domain knowledge
- automated reasoning
- artificial intelligence
- computational linguistics
- lower level
- description logics
- general purpose
- bayesian networks
- semantic network
- model checking
- logic programming
- data model
- multi agent systems
- logical formulas
- knowledge base
- information retrieval