Belief increasing in SKL model frames
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96806
Tipus de documentReport de recerca
Data publicació1995-01-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Three-Valued Strong Kleene Logic provides an adequate framework to deal with belief increasing. In this paper, undefined truth-value is used to denote opinionless information. Through an informative refinement, such information could become to be true or false in a step by step way. Our approach is based upon model frames, that are sets of informatively ordered three-valued interpretations. A relation of compatibility among frames, being a partial informative order, is defined. Belief increasing is accomplished by using the compatibility relation that is based on concatenation operation over model frames. A correspondence between model frames and analytic tableaux is outlined. It provides to deal with model frames by using that powerful proof method.
CitacióAlvarado, M., Núñez, G. "Belief increasing in SKL model frames". 1995.
Forma partLSI-95-42-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
14001914722.pdf | 1,269Mb | Visualitza/Obre |