Article
An Approach to Knowledge and Belief Based on Kleene Strong Logic
Fecha
1998-09-17Registro en:
Revista Computación y Sistemas; Vol. 2 No. 1
1405-5546
Autor
Alvarado M., J. Matías
Institución
Resumen
Abstract. The aim in this thesis is the formal treatment of representation and reasoning of knowledge and belief. Main problem to overcome this challenge are the lack offormalisms being flexible enough in order to deal with the inherent dynamic of any epistemic process. Both, knowledge and belief, involve to handle welI defined information as welI as ambiguous, incomplete or undefined.