Exploració per tema "AGM"
Ara es mostren els items 1-1 de 1
-
Change of belief in SKL model frames (automatization based on analytic tableaux)
(1996-01-01)
Report de recerca
Accés obertA recent major approach to deal, formally and computationally, with knowledge and belief is the AGM. We will show the adequate representation of this paradigm using three-valued model frames. AGM expansion, contraction, ...