defeasible inheritance networks are for reasoning about concept hierarchies (taxonomies) that give typical or default properties of concepts that may be overridden in exceptional cases. E.g. typically, birds can fly but ostriches are birds and they cannot fly.
see also [1].
Links
these are more of to-reads than things i've read, although i've read the Levesque and Brachman textbook (and i should re-read it sometime). This started because i liked the concept of inheritance networks in the Levesque and Brachman textbook, and the book referenced Lynn Stein's treatment of them, so i looked up one of her publications and then also looked up things that cited it in Google Scholar.
the one i actually looked up was one of the less cited ones, though; i looked up Computing skeptical inheritance, and Skeptical inheritance: Computing the intersection of credulous extensions, and A preference-based approach to inheritance. But one of the most cited ones is Resolving ambiguity in nonmonotonic inheritance hierarchies. todo, look that up:
Volume 55, Issues 2–3, June 1992, Pages 259–310 Cover image Resolving ambiguity in nonmonotonic inheritance hierarchies
Lynn Andrea SteinCorresponding author contact information, E-mail the corresponding author
Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA 02139, USA
- strategiesInHumanNonmonotonicReasoning.pdf
- Resolving ambiguity in nonmonotonic reasoning PhD? dissertation steinPhdResolvingAmbiguities.pdf
- http://www.ontotext.com/factforge/sin
- http://www.cse.buffalo.edu/~shapiro/Courses/CSE663/2011/
- and sneps: http://www.cse.buffalo.edu/~rapaport/663/F06/inher-nets.html , Pinto 1997 "Integration of inheritance in SNePS?"
- http://scholar.google.com/scholar?start=20&hl=en&as_sdt=0,5&sciodt=0,5&cites=15716721922241741131&scipsc=
- The complexity of path-based defeasible inheritance. B Selman, HJ Levesque - Artificial Intelligence, 1993
- ftp://ftp.cs.brown.edu/pub/techreports/89/cs89-14.pdf
- ftp://128.148.32.111/pub/techreports/90/cs90-18.pdf
- R Al-Asady. Inheritance theory: an artificial intelligence approach
- PW Eklund - Knowledge Engineering Review, 1994. Research developments in multiple inheritance with exceptions
- rair.cogsci.rpi.edu/pai/library/brachmanbook7-17-03.pdf
- Marilyn Ford (Griffith U). Synthese. Human nonmonotonic reasoning: The importance of seeing the logical strength of arguments
- http://defeasible.com/
- R Al-Asady - 1993. Reasoning with Exceptions: An Inheritance Based Approach
- M Ford. On using human nonmonotonic reasoning to inform artificial systems . http://www.ingentaconnect.com/content/acad/psyb/2005/00000045/00000001/art00005
- K Thirunarayan - International journal of intelligent systems, 1995. Local theories of inheritance
- BN Grosof - 1996 . Updating and structure in non-monotonic theories
- A Hunter - KR, 1994. Defeasible Reasoning with Structured Information.
- G Wagner - LPNMR, 1993. Reasoning with Inconsistency in Extended Deductive Databases.
- K Thirunarayan, M Kifer . A theory of nonmonotonic inheritance based on annotated logic
- K Schlechta . Directly sceptical inheritance cannot capture the intersection of extensions
- RH Thomason . NETL and subsequent path-based inheritance theories
- J Doyle, MP Wellman - Artificial Intelligence, 1991. Impediments to universal preference-based default theories
- K Schlechta - 1997 . Nonmonotonic Logics: Basic Concepts, Results and Techniques
- EL Lozinskii - Journal of Automated Reasoning, 1994 Resolving contradictions: A plausible semantics for inconsistent systems
- E Birnbaum, EL Lozinskii - Journal of Experimental & Theoretical …, 2003 . Consistent subsets of inconsistent systems: structure and behaviour
- JF Horty Some direct theories of nonmonotonic inheritance. www.umiacs.umd.edu/~horty/articles/1994-direct.ps
- MR Cravo, JP Martins - Journal of Experimental & Theoretical …, 1993 . SNePSwD?: A newcomer to the SNePS? family
- M Magnan, C Oussalah - Artificial intelligence review, 1993. Inheritance systems with exceptions
- http://scholar.google.com/scholar?cites=6097371878814193542&as_sdt=2005&sciodt=0,5&hl=en
- K Thirunarayan - Methodologies for Intelligent Systems, 1993 . Expressive extensions to inheritance networks
- PW Eklund - 1993 . Clarifying Mixed Bipolar Multiple Inheritance with Exceptions
- K Schlechta - 1997. Nonmonotonic Logics: Basic Concepts, Results and Techniques
- https://www.google.com/search?q=inheritance+network+defeasible+nonmonotonic
- https://www.google.com/search?q=inheritance+network+defeasible+nonmonotonic#q=inheritance+network+defeasible+nonmonotonic+preferential
- https://www.google.com/search?q=inheritance+network+defeasible+nonmonotonic#q=inheritance+network+defeasible+nonmonotonic+preferential+skeptical
- www.informatik.uni-freiburg.de/~ki/papers/padgham-nebel-ismis93.ps.gz Combining Classi cation and Nonmonotonic Inheritance Reasoning ...
- M.J. Maher, A. Rock, G. Antoniou, D. Billington, T. Miller.
- Efficient Defeasible Reasoning Systems http://files.nothingisreal.com/publications/Tristan_Miller/maher00.pdf
- L Giordano, V Gliozzi, N Olivetti, GL Pozzato - Artificial Intelligence, 2012 . A nonmonotonic description logic for reasoning about typicality
- Karl Schlechta. AN ANALYSIS OF DEFEASIBLE INHERITANCE SYSTEMS http://arxiv.org/pdf/math/0611937.pdf
- Dov M Gabbay , Karl Schlechta . Defeasible inheritance systems and reactive diagrams ∗ (2008) http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=D9BBF51406ED350315EA69E72A9B83AD?doi=10.1.1.245.5850&rep=rep1&type=pdf
- http://citeseer.uark.edu:8080/citeseerx/showciting;jsessionid=E88A88BA97D42D7B752EF8A1E1FE6DEC?cid=783651&sort=cite&start=10 . Citeseer search for Resolving ambiguity in nonmonotonic inheritance hierarchies (1993)
- Defeasible Inheritance and Reference Classes
- M. Williams, Hans Rott - 2001 . Frontiers in Belief Revision
- https://sites.google.com/site/karlschlechta2/home
- looks metalogical: Schlechta "Coherent systems" book
See also
See also non-monotonic logic, defeasible reasoning, preferential reasoning, paraconsistent logic, belief revision.
related links: