Stable model semantics: Difference between revisions

Revision as of 18:33, 3 April 2016

Revision as of 22:43, 17 May 2017

Line 233:

:<math>r\ </math>

:<tt><math>\sim r\leftarrow \operatorname{not}p</math></tt>

has two stable models, <math>\{p,r\}\ </math> and <math>\ \{q,r,\sim r\}</math>. The first model is coherent; the second is not, because it contains both the atom <math>\ r</math> and the atom <math>\ \sim r</math>.