dc.date.accessioned | 2013-03-12T11:51:21Z | |
dc.date.available | 2013-03-12T11:51:21Z | |
dc.date.issued | 2005 | en_US |
dc.date.submitted | 2005-09-13 | en_US |
dc.identifier.citation | Engan, Iselin. Reasoning with preference in only knowing logic with confidence levels. Hovedoppgave, University of Oslo, 2005 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/26398 | |
dc.description.abstract | The purpose of this thesis is to present an autoepistemic approach to
preference reasoning. The method controls the generation of extensions
by first linking doxastic representations in a hierarchy,
and then by ensuring the maintenance of integrity between the levels
in the hierarchy using so-called integrity constraints. This approach
is based on an encoding of ordered default theories into an ''only
knowing'' logic with confidence levels, and is the result of studying
several principles for default logic approaches to
preference, as well as a critique of the hierarchic autoepistemic
logic of Konolige with respect to these same principles. We show that
our approach is the first autoepistemic formalism that handles
preference according to all the principles mentioned above. Another
main result of our work is that the generation of preferred extensions
may be carried out entirely at the object level. Thus, as opposed to
approaches to preference using default logic, our approach provides a
constructive method for determining extensions of ordered default theories. | nor |
dc.language.iso | nob | en_US |
dc.title | Reasoning with preference in only knowing logic with confidence levels | en_US |
dc.type | Master thesis | en_US |
dc.date.updated | 2006-07-12 | en_US |
dc.creator.author | Engan, Iselin | en_US |
dc.subject.nsi | VDP::000 | en_US |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Engan, Iselin&rft.title=Reasoning with preference in only knowing logic with confidence levels&rft.inst=University of Oslo&rft.date=2005&rft.degree=Hovedoppgave | en_US |
dc.identifier.urn | URN:NBN:no-12514 | en_US |
dc.type.document | Hovedoppgave | en_US |
dc.identifier.duo | 30284 | en_US |
dc.contributor.supervisor | Arild Waaler, Herman Ruge Jervell | en_US |
dc.identifier.bibsys | 060775742 | en_US |