Weight Learning in a Probabilistic Extension of Answer Set Programs

08/14/2018
by   Joohyung Lee, et al.
0

LPMLN is a probabilistic extension of answer set programs with the weight scheme derived from that of Markov Logic. Previous work has shown how inference in LPMLN can be achieved. In this paper, we present the concept of weight learning in LPMLN and learning algorithms for LPMLN derived from those for Markov Logic. We also present a prototype implementation that uses answer set solvers for learning as well as some example domains that illustrate distinct features of LPMLN learning. Learning in LPMLN is in accordance with the stable model semantics, thereby it learns parameters for probabilistic extensions of knowledge-rich domains where answer set programming has shown to be useful but limited to the deterministic case, such as reachability analysis and reasoning about actions in dynamic domains. We also apply the method to learn the parameters for probabilistic abductive reasoning about actions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/02/2018

A Probabilistic Extension of Action Language BC+

We present a probabilistic extension of action language BC+. Just like B...
research
02/22/2018

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

Over these years the Artificial Intelligence (AI) community has produced...
research
10/05/2021

A Table-Based Representation for Probabilistic Logic: Preliminary Results

We present Probabilistic Decision Model and Notation (pDMN), a probabili...
research
08/05/2023

dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning

We present dPASP, a novel declarative probabilistic logic programming fr...
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
07/19/2017

Computing LPMLN Using ASP and MLN Solvers

LPMLN is a recent addition to probabilistic logic programming languages....
research
03/08/2000

Smodels: A System for Answer Set Programming

The Smodels system implements the stable model semantics for normal logi...

Please sign up or login with your details

Forgot password? Click here to reset