Knowledge Representation for Lexical Semantics: Is Standard First Order Logic Enough?
Marc LightLenhart K. SchubertPublished in: CoRR (1994)
Keyphrases
- first order logic
- knowledge representation
- expressive power
- lexical semantics
- probabilistic reasoning
- theorem proving
- representation language
- inductive logic programming
- transitive closure
- knowledge base
- knowledge acquisition
- theorem prover
- logic programming
- natural language processing
- natural language
- expert systems
- artificial intelligence
- ontology learning
- machine learning
- knowledge based systems
- description logics
- markov logic networks
- database
- text mining