Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Avoiding logical omniscience by using subjective situations

Autor
Moreno, A.; Cortes, U.; Sales, T.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Seventh European Workshop on Logics in Artificial Intelligence
Any de l'edició
2000
Llibre d'actes
Logics in Artificial Intelligence: European Workshop, JELIA 2000: Málaga, Spain, September 29-October 2, 2000: proceedings
Pàgina inicial
284
Pàgina final
299
DOI
https://doi.org/10.1007/3-540-40006-0_20 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007/3-540-40006-0_20 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.Thepossible worlds modeland 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 some d...
Grup de recerca
IDEAI-UPC Intelligent Data Science and Artificial Intelligence
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic

Participants