Processing Of Syntax And Semantics Of Natural Language By Predicate Logic Of Predicate Logic.
Hiroyuki YamauchiPublished in: COLING (1980)
Keyphrases
- predicate logic
- natural language
- knowledge representation and reasoning
- logical formulas
- formal logic
- semantic net
- computational linguistics
- semantic network
- temporal logic
- knowledge representation
- predicate calculus
- natural language processing
- artificial intelligence
- highly expressive
- knowledge representation language
- domain specific
- model checking
- incomplete information
- data mining
- general purpose
- lower level
- automated reasoning
- object oriented
- information retrieval
- machine learning