Premium
Inquirers: A general model of non‐ideal rational agents
Author(s) -
Moreno Antonio,
Cortés Ulises,
Sales Ton
Publication year - 2000
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(200003)15:3<197::aid-int4>3.0.co;2-l
Subject(s) - doxastic logic , ideal (ethics) , computer science , semantics (computer science) , class (philosophy) , mathematical economics , artificial intelligence , theoretical computer science , epistemology , mathematics , programming language , philosophy
Doxastic logics have been widely used to model the reasoning processes that a rational agent may perform on its beliefs. The possible worlds model and the Kripke semantics provide an intuitive semantics to doxastic formulas, but they may only be used to model ideal agents . A different model is proposed in this article. In this new approach, the consistent and complete standard possible worlds are replaced by conceivable situations , that are those scenarios that the modelled agent is capable of considering, regardless of their partiality or inconsistency. A general class of non‐ideal reasoners, the rational inquirers , is defined, and it is shown how the evolution of the beliefs of this kind of agents, caused by a multidimensional dynamic analysis, may be modelled in the framework of conceivable situations. ©2000 John Wiley & Sons, Inc.