User:Michael Gelfond/Draft ASSemantics

From Wikipedia, the free encyclopedia

1 Answer Set Semantics

[edit] Answer Set Semantics

[edit] Introduction

The Answer Set Semantics are a declarative, non-monotonic semantics for logic programs with negation as failure introduced by Michael Gelfond and Vladimir Lifschitz. Unlike standard Prolog, the Answer Set Semantics define the models (in this context called Answer Sets) of a logic program independently of a particular inference mechanism. In contrast with other non-monotonic logics, the Answer Set Semantics are not super-classical; Instead, they use a collection of new logical connectives.

[edit] Syntax

A program $\Pi\,$ consists of a signature $\sigma\,$ and a collection of rules of the form:

$l_0 \ or \ ... \ or \ l_k \ \gets \ l_{k+1}, ..., l_{m},\ not \ l_{m+1}, ..., not \ l_n$

where $l_{i}\,$ 's are literals (an atom $p(t)\,$ or its negation $\lnot p(t)$ ) from $\sigma\,$ . The logical connectives $not\,$ and $or\,$ are called negation as failure or default negation and epistemic disjunction respectively.

Given a rule $r\,$ ,
$\begin{align} head(r) & = \{ l_0 \ or \ ... \ or \ l_k \} \\ pos(r) & = \{ l_{k+1}, ..., l_{m} \} \\ neg(r) & = \{ l_{m+1}, ..., not \ l_n\} \\ \end{align}$

[edit] Satisfiability

A set $S\,$ of literals satisfies a literal $l\,$ if $l \in S\,$ .
A set $S\,$ satisfies a rule $r\,$ if one of the following conditions hold:
$\begin{align} pos(r) & \subseteq S \\ neg(r) & \cap S \neq \emptyset \\ head(r) & \cap S \neq \emptyset \end{align}$

[edit] Semantics

The Answer Set Semantics assigns to a logic program $\Pi\,$ a collection of answer sets: consistent sets of literals over signature $\sigma\,$ . Logic programs under the Answer Set Semantics may have one, many or zero answer sets.

The precise definition of the answer sets is given in two parts: first for programs whose rules do not contain default negation, and then extended to arbitrary programs using the concept of the reduct of a program.

[edit] Answer Set - Part One

Let program $\Pi\,$ consists of rules of the form:

$l_0 \ or \ ... \ or \ l_k \ \gets \ l_{k+1}, ..., l_{m}.$

An Answer Set of $\Pi\,$ is a consistent set $S\,$ of literals satisfying the following conditions:
- $S\,$ satisfies the rules of $\Pi\,$ .
- $S\,$ is minimal. i.e. no proper subset of $S\,$ satisfies the rules of $\Pi\,$ .

[edit] Reduct

Let $\Pi\,$ by an arbitrary logic program and $S\,$ be a consistent set of literals. The reduct, $\Pi^S\,$ , of $\Pi\,$ relative to $S\,$ is the program obtained from $\Pi\,$ by:
i) removing all rules containing $not \ l$ such that $l \in S\,$ .
ii) removing all other premises containing $n o t$ .