Non Deterministic Logic Programs

04/26/2013
by   Emad Saad, et al.
0

Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially observable Markov decision processes, and conditional planning. We present a logic programming framework called non deterministic logic programs, along with a declarative semantics and fixpoint semantics, to allow representing and reasoning about inherently non deterministic real-world applications. The language of non deterministic logic programs framework is extended with non-monotonic negation, and two alternative semantics are defined: the stable non deterministic model semantics and the well-founded non deterministic model semantics as well as their relationship is studied. These semantics subsume the deterministic stable model semantics and the deterministic well-founded semantics of deterministic normal logic programs, and they reduce to the semantics of deterministic definite logic programs without negation. We show the application of the non deterministic logic programs framework to a conditional planning problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/18/2023

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)

Approximation fixpoint theory (AFT) is an abstract and general algebraic...
research
08/03/2020

A lemma on closures and its application to modularity in logic programming semantics

This note points out a lemma on closures of monotonic increasing functio...
research
11/27/2010

Reinforcement Learning in Partially Observable Markov Decision Processes using Hybrid Probabilistic Logic Programs

We present a probabilistic logic programming framework to reinforcement ...
research
03/08/2000

DES: a Challenge Problem for Nonmonotonic Reasoning Systems

The US Data Encryption Standard, DES for short, is put forward as an int...
research
07/21/2000

Knowledge on Treelike Spaces

This paper presents a bimodal logic for reasoning about knowledge during...
research
04/17/2020

Application of Progressive Hedging to Var Expansion Planning Under Uncertainty

This paper describes the application of a Progressive Hedging (PH) algor...
research
06/09/2011

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

We propose a logical/mathematical framework for statistical parameter le...

Please sign up or login with your details

Forgot password? Click here to reset