A Semantic Characterization ASP Base Revision

Garcia, Laurent; Lefèvre, Claire; Stéphan, Igor; Papini, Odile; Würbel, Eric

doi:10.1613/jair.1.11451

Search citation statements

Order By: Relevance

Paper Sections

Select...

The Rvs-semantics1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If we compare this to belief change principles and operators, such a behaviour is typical of revision but is not desirable for updates. Garcia et al . (2019) introduced a family of revision operators for logic programs similar in spirit to the RVS-semantics, except that they allow both for the addition and/or removal of rules from a logic program to achieve coherence.…”

Section: The Rvs-semanticsmentioning

confidence: 99%

A Brief History of Updates of Answer-Set Programs

Leite¹,

Slota²

2022

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words, the problem of characterising the result of bringing up-to-date a logic program when the world it describes changes. Whereas the state-of-the-art approaches are guided by the same basic intuitions and aspirations as belief updates in the context of classical logic, they build upon fundamentally different principles and methods, which have prevented a unifying framework that could embrace both belief and rule updates. In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.

show abstract

Section: The Rvs-semanticsmentioning

confidence: 99%