Show simple item record

dc.contributor.advisorCooper, Robin
dc.contributor.authorVogel, Carl M
dc.date.accessioned2004-06-15T14:34:52Z
dc.date.available2004-06-15T14:34:52Z
dc.date.issued1995-07
dc.identifier.urihttp://hdl.handle.net/1842/524
dc.descriptionInstitute for Communicating and Collaborative Systems
dc.description.abstractDefault 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.extent476594 bytes
dc.format.extent1163579 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Edinburgh. College of Science and Engineering. School of Informatics.en
dc.subject.otherpsychological plausibilityen
dc.subject.otherproof theoryen
dc.subject.othersemanticsen
dc.titleInheritance Reasoning: Psychological Plausibility, Proof Theory and Semanticsen
dc.typeThesis or Dissertation
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record