PowerPoint Presentation
Stable models
• S={ p <- q, p <- not q, q <- q} • X={p}: SX ={p <- q, p<-, q <- q} ; LHM(X)={p} – a stable model • X={}: SX ={p <- q, p<-, q <- q} ; LHM(X)={p} – not a stable model • X={q}: SX ={p <- q, q <- q} ; LHM(X)={} – not a stable model • X={p,q}: SX ={p <- q, q <- q} ; LHM(X)={} – not a stable model • S={p not p} • X={p}: SX ={} ; LHM(X)={} – not a stable model • X={}: SX ={p} ; LHM(X)={p} – not a stable model