Weighted rules under the stable model semantics

Joohyung Lee; Yi Wang

Weighted rules under the stable model semantics

Joohyung Lee, Yi Wang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing weighted stable models. We also present formal comparisons with related formalisms, such as answer set programs, Markov Logic, ProbLog, and P-log.

Original language	English (US)
Title of host publication	Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
Publisher	AAAI press
Pages	145-154
Number of pages	10
State	Published - 2016
Event	15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 - Cape Town, South Africa Duration: Apr 25 2016 → Apr 29 2016

Other

Other	15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016
Country/Territory	South Africa
City	Cape Town
Period	4/25/16 → 4/29/16

ASJC Scopus subject areas

Logic
Software

Cite this

@inproceedings{6fd01acd09014228a6cd8acf1e1a60eb,

title = "Weighted rules under the stable model semantics",

abstract = "We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing weighted stable models. We also present formal comparisons with related formalisms, such as answer set programs, Markov Logic, ProbLog, and P-log.",

author = "Joohyung Lee and Yi Wang",

year = "2016",

language = "English (US)",

pages = "145--154",

booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016",

publisher = "AAAI press",

note = "15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 ; Conference date: 25-04-2016 Through 29-04-2016",

}

TY - GEN

T1 - Weighted rules under the stable model semantics

AU - Lee, Joohyung

AU - Wang, Yi

PY - 2016

Y1 - 2016

N2 - We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing weighted stable models. We also present formal comparisons with related formalisms, such as answer set programs, Markov Logic, ProbLog, and P-log.

AB - We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing weighted stable models. We also present formal comparisons with related formalisms, such as answer set programs, Markov Logic, ProbLog, and P-log.

UR - http://www.scopus.com/inward/record.url?scp=85011115162&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85011115162&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85011115162

SP - 145

EP - 154

BT - Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016

PB - AAAI press

T2 - 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016

Y2 - 25 April 2016 through 29 April 2016

ER -

Weighted rules under the stable model semantics

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this