Weighted rules under the stable model semantics

Joohyung Lee, Yi Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
PublisherAAAI press
Pages145-154
Number of pages10
StatePublished - 2016
Event15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 - Cape Town, South Africa
Duration: Apr 25 2016Apr 29 2016

Other

Other15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016
CountrySouth Africa
CityCape Town
Period4/25/164/29/16

Fingerprint

Stable Models
Semantics
Answer Sets
Logic
Log-linear Models
Statistical Inference
Inconsistency
Ranking
Computing

ASJC Scopus subject areas

  • Logic
  • Software

Cite this

Lee, J., & Wang, Y. (2016). Weighted rules under the stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 (pp. 145-154). AAAI press.

Weighted rules under the stable model semantics. / Lee, Joohyung; Wang, Yi.

Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. AAAI press, 2016. p. 145-154.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, J & Wang, Y 2016, Weighted rules under the stable model semantics. in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. AAAI press, pp. 145-154, 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Cape Town, South Africa, 4/25/16.
Lee J, Wang Y. Weighted rules under the stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. AAAI press. 2016. p. 145-154
Lee, Joohyung ; Wang, Yi. / Weighted rules under the stable model semantics. Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. AAAI press, 2016. pp. 145-154
@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",

}

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

ER -