Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOGReportar como inadecuado




Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Thomas Lukasiewicz, (2005). Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG.Citable link to this page:

 

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG

Abstract: In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a value lambda in [0,1] that describes the strength of the inheritance of default probabilistic knowledge. In this paper, I continue this line of research. I present algorithms for deciding consistency of strength lambda and for computing tight consequences of strength lambda, which are based on reductions to the standard problems of deciding satisfiability and of computing tight logical consequences in model-theoretic probabilistic logic. Furthermore, I describe an implementation of these algorithms in the system NMPROBLOG.

Bibliographic Details

Publisher: SIPTA

Host: Proceedings of the 4th International Symposium on Imprecise Probabilities and their Applications‚ ISIPTA 2005‚ Pittsburgh‚ PA‚ USA‚ July 20−23‚ 2005see more from them

Issue Date: 2005Identifiers

Urn: uuid:97e3f48f-b804-430d-a7aa-e4425e5a4d07 Item Description

Type: Conference paper; Tiny URL: cs:6694

Relationships





Autor: Thomas Lukasiewicz - - - - Bibliographic Details Publisher: SIPTA - - Host: Proceedings of the 4th International Symposium on Imp

Fuente: https://ora.ox.ac.uk/objects/uuid:97e3f48f-b804-430d-a7aa-e4425e5a4d07



DESCARGAR PDF




Documentos relacionados