Answer set programming: differenze tra le versioni

Versione delle 22:45, 1 gen 2022

Versione delle 13:08, 12 gen 2023

Riga 17:

{p,q,r}.

</syntaxhighlight>

afferma: scegli arbitrariamente quali fra gli [[Atomo (logica)|atomi]] <math>p,q,r</math> includere nel modello stabile. Un programma contenente solo questa regola ha 8 modelli stabili, sottinsiemi di <math>\{p,q,r\}</math>. Il significato di questa regola nella semantica del modello stabile è rappresentato dalla formula [[Logica proposizionale|proposizionale]]:

:<math>(p\lor\neg p)\land(q\lor\neg q)\land(r\lor\neg r).</math>