Mostra el registre d'ítem simple
Dynamic belief modeling
dc.contributor.author | Moreno Ribas, Antonio |
dc.contributor.author | Sales Porta, Ton |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-02-02T13:44:09Z |
dc.date.available | 2016-02-02T13:44:09Z |
dc.date.issued | 1995-06 |
dc.identifier.citation | Moreno, A., Sales, T. "Dynamic belief modeling". 1995. |
dc.identifier.uri | http://hdl.handle.net/2117/82425 |
dc.description.abstract | The possible worlds model and its associated Kripkean semantics provide an intuitive semantics to epistemic logics, but they seem to commit us to model agents which are logically omniscient and perfect reasoners. In this article we show that this is not necessarily the case, if possible worlds are not considered as consistent descriptions of the real world. We propose to model the beliefs of an agent using analytic tableaux, and we suggest how beliefs can be analysed in a purely logic way, using (a modified version of) the classical analytic tableaux method. We also show a brief approach to a second dimension of analysis, the physical dimension, that will allow the user to perform tests in the real world and to add the results of these tests in the open tableaux of the logical analysis. |
dc.format.extent | 24 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Logics of knowledge and belief |
dc.subject.other | Logical omniniscence |
dc.subject.other | Possible worlds |
dc.subject.other | Dynamics accessibility relation |
dc.subject.other | Analytic tableaux |
dc.title | Dynamic belief modeling |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.rights.access | Open Access |
local.identifier.drac | 1893948 |
dc.description.version | Postprint (published version) |
local.citation.author | Moreno, A.; Sales, T. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [96]
-
Reports de recerca [1.107]