Mostra el registre d'ítem simple

dc.contributor.authorMoreno Ribas, Antonio
dc.contributor.authorSales Porta, Ton
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-02-02T13:44:09Z
dc.date.available2016-02-02T13:44:09Z
dc.date.issued1995-06
dc.identifier.citationMoreno, A., Sales, T. "Dynamic belief modeling". 1995.
dc.identifier.urihttp://hdl.handle.net/2117/82425
dc.description.abstractThe 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.extent24 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.otherLogics of knowledge and belief
dc.subject.otherLogical omniniscence
dc.subject.otherPossible worlds
dc.subject.otherDynamics accessibility relation
dc.subject.otherAnalytic tableaux
dc.titleDynamic belief modeling
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
dc.rights.accessOpen Access
local.identifier.drac1893948
dc.description.versionPostprint (published version)
local.citation.authorMoreno, A.; Sales, T.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple