Chapter12 Flashcards
What is a partial interpretation?
A partial interpretation maps atoms onto truth values, true, false, and unknown.
What are unknown atoms.
Atoms in A \ (T U F) are unknown. Atoms not in the set of the union of True and False atoms are unknown.
What are conflicting Atoms?
Conflicting Atoms are atoms when True atoms that itersect False atoms is not the empty set.
What is the Goal of the Fitting operator?
The goal of the Fitting operator is to extend the consequence operator to normal logic programs, not just positive problems.
What is Monotonic?
Monotonic implies <T,F> is contained in <T’,F’>, also if we know it now we will know more later.
What does V mean?
V is the disjunction it means there is a rule such as [ a iff Vr E P, h(r)=a BF(B(r))]
How are fitting fix points related to supported models?
Total fitting fix points correspond to supported models.
Why is the fitting model of P still insuffcient?
The fitting model of P is still insufficient because total fix points correspond to supported models not necessarily stable models.
What is circular derivations?
When a derivation does not come from facts, it comes from that which you derived. Similar to the bible is true because it says it is true.
Consider the assignment of A = {Fc, F{d, -c}}. Which of the following nogoods contain a unit resulting signed literal.
Anything that doesn’t have or changes only one of the above. Such as.
(T(c), Fc), because the body element c is changed.
(Fc, T(a,d)), Because the body element d is changed.
(F(d, -c) Td,Fc), because it adds the head atom of d as true.
The sets of nogoods completion nogoods and loop nogoods are the input of the deterministic propagation inside CDNL-ASP(P)
False
If a normal program P is “tight”, then the sets completions no goods and the union of completion nogoods and loop nogoods have the same solutions.
True
If a normal program P has no stable models, then CDNL-ASP(P) is not guaranteed to terminate
False
