paper-with-me

Papers

Weight Learning in a Probabilistic Extension of Answer Set Programs

2018-08-14 · Joohyung Lee, Yi Wang

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.

📄 PDF Abstract BibTeX arXiv:1808.04527

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

A Probabilistic Extension of Action Language BC+

2018-05-02 · Joohyung Lee, Yi Wang

We present a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defin…

Strong Equivalence for LPMLN Programs

2019-09-18 · Joohyung Lee, Man Luo

LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful mathematical tool for simplifying a part …

A Table-Based Representation for Probabilistic Logic: Preliminary Results

2021-10-05 · Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens

We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly …

Probabilistic Neural Programs

2016-12-02 · Kenton W. Murray, Jayant Krishnamurthy

We present probabilistic neural programs, a framework for program induction that permits flexible specification of both a computational model and inference algorithm while simultaneously enabling the use of deep neural n…

Program inductionQuestion Answering

Explainable Fact Checking with Probabilistic Answer Set Programming

2019-06-21 · Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed

One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KGs) to assess claims and explain its deci…

Fact CheckingKnowledge Graphs