Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Subjective situations and logical omniscience

Autor
Moreno, A.; Cortes, U.; Sales, T.
Tipus d'activitat
Article en revista
Revista
Studia logica
Data de publicació
2002-01
Volum
72
Número
1
Pàgina inicial
7
Pàgina final
29
DOI
https://doi.org/10.1023/A:1020513024572 Obrir en finestra nova
Resum
The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators have som...
Paraules clau
Doxastic logics, Kripke semantics, Logical omniscience, Non-ideal agents
Grup de recerca
IDEAI-UPC Intelligent Data Science and Artificial Intelligence
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic

Participants