Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Toward a realistic semantics of possible worlds for logics of belief

Autor
Sales, T.; Alvarado, M.
Tipus d'activitat
Document cientificotècnic
Data
1993-09
Codi
LSI-93-31-R
Repositori
http://hdl.handle.net/2117/97290 Obrir en finestra nova
Resum
This work sets out the main ideas concerning a semantics of possible worlds for epistemic logics which do not have the problem of logical omniscience and which can be used to model reasoning with limited resources. Within this semantic system, possible worlds are defined through a constructive process which is used to define a relation of accessibility between worlds, which is generally treated as a primitive notion. Furthermore, the concepts of logical omniscience and ideal reasoning, usually c...
Citació
Sales, T., Alvarado, M. "Toward a realistic semantics of possible worlds for logics of belief". 1993.
Paraules clau
Epistemic logics, Local reasoning, Logical omniscience, Possible worlds, Semantics
Grup de recerca
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic

Participants

Arxius