Sciweavers

LPNMR
2001
Springer

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

13 years 6 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for such programs. We show that many-valued disjunctive logic programs under the semantics of minimal models, perfect models, stable models, and least model states can be unfolded to equivalent classical disjunctive logic programs under the respective semantics. Thus, existing technology for classical disjunctive logic programming can be used to implement manyvalued disjunctive logic programming. Using these results on unfolding manyvaluedness, we then give many-valued fixpoint characterizations for the set of all minimal models and the least model state. We also describe an iterative fixpoint characterization for the perfect model semantics under finite local stratification.
Thomas Lukasiewicz
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where LPNMR
Authors Thomas Lukasiewicz
Comments (0)