Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOGReport as inadecuate




Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG - Download this document for free, or read online. Document in PDF available to download.

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





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

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



DOWNLOAD PDF




Related documents