Mostra el registre d'ítem simple
Limited logical belief analysis
dc.contributor.author | Moreno Ribas, Antonio |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-02-05T11:52:44Z |
dc.date.available | 2016-02-05T11:52:44Z |
dc.date.issued | 1996-02-02 |
dc.identifier.citation | Moreno Ribas, Antonio. "Limited logical belief analysis". 1996. |
dc.identifier.uri | http://hdl.handle.net/2117/82614 |
dc.description.abstract | The process of rational inquiry can be defined as the evolution of the beliefs of a rational agent as a consequence of its internal inference procedures and its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit us to model agents that are logically omniscient and perfect reasoners. These problems can be avoided with a syntactic view of possible worlds, defining them as arbitrary sets of sentences in a propositional belief logic. In this article this syntactic view of possible worlds is taken, and a dynamic analysis of the agent's beliefs is suggested in order to model the process of rational inquiry in which the agent is permanently engaged. One component of this analysis, the logical one, is summarily described. This dimension of analysis is performed using a modified version of the analytic tableaux method, and it models the evolution of the beliefs due to the agent's inference power. It is shown how non-perfect reasoning is achieved in two ways: on one hand, the agent's deductive abilities can be controlled by restricting the tautologies that it is allowed to use in the course of this logical analysis; on the other hand, the agent is not obliged to perform an exhaustive analysis of the initial tableau. |
dc.format.extent | 17 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-96-13-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial |
dc.subject.other | Logical belief analysis |
dc.subject.other | Possible worlds |
dc.subject.other | Analytic tableaux |
dc.title | Limited logical belief analysis |
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 | 1893953 |
dc.description.version | Postprint (published version) |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [96]
-
Reports de recerca [1.107]