TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfung 2014-01-29/Beispiel 3

Answer-Set Programming:

Teilaufgabe a)

Konstruieren Sie ein Answer-Set Programm dessen Answer Sets alle Möglichkeiten repräsentieren, aus zwei gegebenen endlichen Mengen $S_1$, $S_2$ höchstens ein Element aus $S_1\cap S_2$ auszuwählen. Verwenden Sie die Atome $i{n}_1(X)$ und $i{n}_2(x)$ um zu repräsentieren, dass $X$ in $S_1$ bzw. $S_2$ enthalten ist, sowie $sel(X)$, dass $X$ ein ausgewähltes Element aus $S_1\cap S_2$ ist. (3 Punkte)

Lösungsvorschlag aus dem Forum:

sel(X) v -sel(X) :- in1(X), in2(X).
:- sel(X), sel(Y), X != Y.

Teilaufgabe b)

Was versteht man unter einer konsistenzbasierten Diagnose eines Diagnose Problems $⟨H,T,O⟩$? (2.5 Punkte)

• H ... Hypothesis -> set of ground atoms
• T ... Theory -> logic program
• O ... Observations -> ground literals

See ASP 2 p. 14.

Teilaufgabe c)

Kreuzen Sie bei den folgenden Aussagen an, ob sie richtig sind oder nicht.

1. Es gibt grundierte, normale Answer-Set Programme, die keine Answer Sets besizten. richtig ☐ falsch ☐
2. Ein Answer Set eines normalen Programms $P$ kann kein Atom enthalten, das nicht im Kopf einer Regel von $P$ vorkommt. richtig ☐ falsch ☐
3. Regeln in einem Programm zur konsistenzbasierten Diagnose dürfen nicht disjunktiv sein. richtig ☐ falsch ☐
4. Jede Teilmenge von $\{a,b,c\}$ außer der leeren Menge ist ein Answer Set von $P=\{a\vee b\vee c\leftarrow \}$. richtig ☐ falsch ☐

(4 Punkte)

1. Ja. Beispiel: p :- not p.

2. Ja.

3. Ja. (Kommt drauf an wie die Frage interpretiert wird entweder <dürfen "nicht disjunktiv"> sein also disjunktive als auch nicht disjunktive oder <"dürfen nicht" disjunktiv> sein ergo nur in der Form $P=\{a\leftarrow b\}$. Daher scheint mir die Frage geschenkt zu sein :o)

4. Nein. $\{a,b\}$ ist zum Beispiel kein Answer Set.

Teilaufgabe d)

Gegeben seien folgende Programme ($a$ und $b$ sind Grundatome):

$P=\{a\vee b\leftarrow \}Q=\{a\leftarrow notb,b\leftarrow nota\}$

Für welche der folgenden Programme ist $\{a\}$ ein Answer Set?

1. $P\cup \{a\leftarrow \}$ yes ☐ no ☐
2. $Q\cup \{a\leftarrow \}$ yes ☐ no ☐
3. $P\cup Q$ yes ☐ no ☐

(3 Punkte)

1. Jo

2. Jo

3. Jo