Relating Sentences and Semantic Networks with Procedural Logic.
Robert F. SimmonsDaniel L. ChesterPublished in: Commun. ACM (1982)
Keyphrases
- semantic network
- predicate logic
- predicate calculus
- semantic parser
- spreading activation
- semantic net
- logical formulas
- array processor
- semantic relations
- knowledge base
- logic programming
- classical logic
- wordnet
- natural language
- knowledge sources
- data sets
- natural language text
- automated reasoning
- modal logic
- knowledge acquisition
- knowledge representation and reasoning
- semantic roles
- deontic logic
- semantic parsing
- knowledge representation language