dc.date.accessioned | 2013-03-12T08:01:58Z | |
dc.date.available | 2013-03-12T08:01:58Z | |
dc.date.issued | 2004 | en_US |
dc.date.submitted | 2004-06-24 | en_US |
dc.identifier.citation | Lian, Espen Hallenstvedt. Only Knowing with Confidence Levels: Reductions and Complexity. Hovedoppgave, University of Oslo, 2004 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9143 | |
dc.description.abstract | An important problem in nonmonotonic reasoning is deciding what the precise beliefs of an agent might be, given an incomplete specification. The notion of a stable expansion of an autoepistemic theory is a way of capturing this. As autoepistemic logic is not a logic per se, to actually find the stable expansions, one cannot do this on the object level, but has to use an algorithm involving meta-concepts like set inclusion. Levesque's ``Only knowing'' logic can be used to represent autoepistemic theories, with the benefit of finding the expansions within the logic, on the object level. Waaler's logic Æ generalizes this logic, adding confidence levels. We show how a generalization of stable expansions can be found, strictly using equivalences in Æ, thus providing a rewriting procedure. In Ch. 2, we introduce Æ and the related Æ_\rho. In Ch. 3, we give three rewriting procedures for the case when there is only one confidence level. In Ch. 4 we give a rewriting procedure for the general case with multiple confidence levels. In Ch. 5 we examine the complexity of the problem of deciding whether expansions exist, and give an algorithm for generating them. | nor |
dc.language.iso | eng | en_US |
dc.title | Only Knowing with Confidence Levels: Reductions and Complexity | en_US |
dc.type | Master thesis | en_US |
dc.date.updated | 2004-10-14 | en_US |
dc.creator.author | Lian, Espen Hallenstvedt | en_US |
dc.subject.nsi | VDP::420 | 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=Lian, Espen Hallenstvedt&rft.title=Only Knowing with Confidence Levels: Reductions and Complexity&rft.inst=University of Oslo&rft.date=2004&rft.degree=Hovedoppgave | en_US |
dc.identifier.urn | URN:NBN:no-9953 | en_US |
dc.type.document | Hovedoppgave | en_US |
dc.identifier.duo | 19815 | en_US |
dc.contributor.supervisor | Waaler, Arild | en_US |
dc.identifier.bibsys | 04203518x | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9143/1/thesis.pdf | |