Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics
dc.contributor.advisor
Cooper, Robin
en
dc.contributor.author
Vogel, Carl M
en
dc.date.accessioned
2004-06-15T14:34:52Z
dc.date.available
2004-06-15T14:34:52Z
dc.date.issued
1995-07
dc.description
Institute for Communicating and Collaborative Systems
en
dc.description.abstract
Default inheritance reasoning is a propositional approach to non monotonic reasoning designed to model reasoning with natural language generics. Inheritance reasoners model sets of natural language generics as directed acyclicgraphs,and inference corresponds to the specification of paths through those networks. A proliferation of inheritance proof theories exist in the literature along with extensive debate about the most reasonable way to construct inferences, based on intuitions about interpretations of particular inheritance networks. There has not been an accepted semantics for inheritance which unifies the set of possible proof theories, which would help identify truly ill motivated proof theories. This thesis attempts to clarify the inheritance literature in the three ways indicated in the title: psychological plausibility, proof theory and semantics.
en
dc.format.extent
476594 bytes
en
dc.format.extent
1163579 bytes
en
dc.format.mimetype
application/postscript
en
dc.format.mimetype
application/pdf
en
dc.identifier.uri
http://hdl.handle.net/1842/524
dc.language.iso
en
dc.publisher
University of Edinburgh. College of Science and Engineering. School of Informatics.
en
dc.subject.other
psychological plausibility
en
dc.subject.other
proof theory
en
dc.subject.other
semantics
en
dc.title
Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
This item appears in the following Collection(s)