程序代写代做代考 PowerPoint Presentation

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