On Supporting Strong and Default Negation in Answer-Set Program Updates

Martin Slota, Martin Balaz, João Alexandre Carvalho Pinheiro Leite

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation in heads of rules and optionally provide support for strong negation by means of a syntactic transformation. In this paper we pinpoint the limitations of both these approaches and argue that both types of negation should be first-class citizens in the context of updates. We identify principles that plausibly constrain their interaction but are not simultaneously satisfied by any existing rule update semantics. Then we extend one of the most advanced semantics with direct support for strong negation and show that it satisfies the outlined principles as well as a variety of other desirable properties.
Original languageEnglish
Title of host publicationADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014)
EditorsALC Bazzan, K Pichara
Place of PublicationBerlin
PublisherSPRINGER-VERLAG BERLIN
Pages41-53
Volume8864
ISBN (Print)978-3-319-12026-3
DOIs
Publication statusPublished - 1 Jan 2014
EventIbero-American Conference on AI (IBERAMIA) -
Duration: 1 Jan 2014 → …

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSPRINGER-VERLAG BERLIN
Volume8864
ISSN (Print)0302-9743

Conference

ConferenceIbero-American Conference on AI (IBERAMIA)
Period1/01/14 → …

Fingerprint

Dive into the research topics of 'On Supporting Strong and Default Negation in Answer-Set Program Updates'. Together they form a unique fingerprint.

Cite this