Mostra el registre d'ítem simple
An approach to belief in strong Kleene logic
dc.contributor.author | Núñez Esquer, Gustavo |
dc.contributor.author | Alvarado Mentado, Matías |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-01-29T14:27:21Z |
dc.date.available | 2016-01-29T14:27:21Z |
dc.date.issued | 1995-06 |
dc.identifier.citation | Núñez, G., Alvarado, M.. "An approach to belief in strong Kleene logic". 1995. |
dc.identifier.uri | http://hdl.handle.net/2117/82292 |
dc.description.abstract | Three-valued Strong Kleene Logic provides an adequate framework to deal with belief change. In this paper, an undefined truth-value is used to denote opinionless information. Through an informative refinement, such information could become to be true or false in a step by step way. Our approach is based upon model frames, that are sets of informatively ordered three-valued interpretations. A relation of compatibility among frames, being a partial informative order, is defined. Belief change is accomplished by using the compatibility relation together with operations of concatenation and unification over model frames. Underline intuitions of our belief definition are the same as those using the Kripkean semantics of possible worlds. Syntactical characterization for ideal reasoning and logical omniscience are given, together with the one of limited reasoning. The first two topics, undesirable when modeling real agents of knowledge and belief, are avoided in the proposed approach. |
dc.format.extent | 20 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Strong Kleene logic |
dc.subject.other | Possible worlds |
dc.title | An approach to belief in strong Kleene logic |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1835974 |
dc.description.version | Postprint (published version) |
local.citation.author | Alvarado, M.; Núñez, G. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]