Knowledge base modelling based on linguistics and founded in logic.
Frank DignumReind P. van de RietPublished in: Data Knowl. Eng. (1991)
Keyphrases
- knowledge base
- logic programming
- reasoning engine
- knowledge representation
- classical logic
- automated reasoning
- expert systems
- deductive reasoning
- description logics
- knowledge acquisition
- multi valued
- knowledge based systems
- computer science
- logic programs
- wordnet
- language learning
- possibilistic logic
- natural language processing
- modal logic
- rule base
- nonmonotonic reasoning
- natural language
- causal reasoning
- deontic logic
- truth values
- predicate logic
- digital circuits
- nonmonotonic logics
- databases
- sound and complete axiomatization
- computational properties
- probabilistic logic
- knowledge structures
- semantic network
- cognitive science
- belief revision
- programming language
- genetic algorithm
- machine learning