Inheritance networks are not expressive enough to capture all intuitions behind inheritance. Hence, a number of significantly different semantics have been proposed. Here, a family of local theories of inheritance is presented that are conceptually simple and computationally tractable. A general modeltheoretic framework for specifying direct semantics to networks and clarifying relationships among them is developed. It is also shown that the local constraints specifying the semantics are satisfiable when the attention is restricted to acyclic networks. The notion of local semantics is generalized to what is called "ground " local semantics to further understand the relationship between the local theories and the path-based theories of inheritance. A polynomialtime set-based inheritance algorithms that conform to these inheritance theories is also presented.
|
4714
|
Probabilistic Reasoning in intelligent systems: networks of plausible inference
– Pearl
- 1988
|
|
424
|
Applications of circumscription to formalizing common sense knowledge
– McCarthy
- 1986
|
|
152
|
The Mathematics of Inheritance Systems
– Touretzky
- 1986
|
|
122
|
NETL: A system for representing and using real-world knowledge
– Fahlman
- 1979
|
|
87
|
Default Reasoning: Causal and Conditional Theories
– Geffner
- 1992
|
|
87
|
A skeptical theory of inheritance in nonmonotonic semantic networks
– Horty, Thomason, et al.
- 1987
|
|
69
|
On inheritance hierarchies with exceptions
– Etherington, Reiter
- 1983
|
|
65
|
An approach to default reasoning based on a first-order conditional logic: Revised report
– Delgrande
- 1988
|
|
63
|
On the declarative semantics of stratified deductive databases and logic programs
– Przymusinski
- 1988
|
|
62
|
A knowledge-level account of abduction
– Levesque
- 1989
|
|
60
|
Some direct theories of nonmonotonic inheritance
– Horty
- 1994
|
|
37
|
Nonmonotonic inference rules for multiple inheritance with exceptions
– Sandewall
- 1986
|
|
32
|
Hard problems for simple default logics
– Kautz, Selman
- 1991
|
|
26
|
The tractability of path-based inheritance
– Selman, Levesque
- 1989
|
|
26
|
Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
– Stein
- 1992
|
|
21
|
A modular translation from defeasible nets to defeasible logic
– Billington, Coster, et al.
- 1990
|
|
19
|
A framework for reasoning with defaults
– Geffner, Pearl
- 1990
|
|
17
|
Mixing strict and defeasible inheritance
– HORTY, THOMASON
- 1988
|
|
17
|
Skeptical Inheritance: Computing the Intersection of Credulous Extensions
– Stein
- 1989
|
|
15
|
A modest, but semantically well founded, inheritance reasoner
– Bacchus
- 1989
|
|
11
|
On the declarative semantics of inheritance networks
– Krishnaprasad, Kifer, et al.
- 1989
|
|
10
|
A Calculus for Inheritance in Monotonic Semantic Nets
– Thomason, Horty, et al.
- 1986
|
|
9
|
Tractable theories of multiple defeasible inheritance in ordinary nonmonotonic logics
– Haugh
- 1988
|
|
8
|
Inheritance = chaining + defeat
– Geffner, Verma
- 1989
|
|
7
|
A theory of nonmonotonic inheritance based on annotated logic
– Thirunarayan, Kifer
- 1993
|
|
7
|
Logics for inheritance theory
– Thomason, Horty
- 1988
|
|
6
|
A model and representation for type information and its use in reasoning with defaults
– Padgham
- 1988
|
|
4
|
A credulous theory of mixed inheritance
– Horty
- 1991
|
|
4
|
An evidence-based framework for a theory of inheritance
– Krishnaprasad, Kifer
- 1989
|
|
4
|
Negative reasoning using inheritance
– Padgham
- 1989
|
|
4
|
Inheritance reasoning in autoepistemic logic
– Gelfond, Przymusinska
- 1990
|
|
3
|
Skeptical theories of inheritance and nonmonotonic logics
– Gregoire
- 1989
|
|
3
|
Notes on "a clash of intuitions
– Neufeld
- 1991
|
|
1
|
An analysis of property-flow view vs individual-flow view of inheritance
– Thirunarayan
- 1991
|
|
1
|
Locality in inheritance networks
– Thirunarayan
- 1993
|
|
1
|
Meta-level reasoning for conflict resolution in backward chaining
– Morris
- 1988
|
|
