Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance.
Lokendra ShastriPublished in: Artif. Intell. (1989)
Keyphrases
- default reasoning
- semantic network
- inheritance reasoning
- nonmonotonic reasoning
- semantic net
- spreading activation
- belief revision
- probabilistic reasoning
- knowledge representation
- conditional logic
- knowledge base
- partial order
- semantic relations
- default logic
- default rules
- object oriented
- dependency directed backtracking
- formal model
- predicate calculus
- multiple inheritance
- wordnet
- knowledge sources
- constraint satisfaction
- predicate logic
- domain knowledge
- object oriented databases
- data mining
- probabilistic logic
- default theories
- first order logic
- model theoretic
- logic programming
- knowledge based systems
- domain specific
- general purpose
- artificial intelligence