We say that M is called an answer s

We say that M is called an answer set of a program Π if M is the minimal set of the program P(Π) M

ผลลัพธ์ (ไทย) 1:

เราบอกว่า M เรียกว่าชุดคำตอบเป็นโปรแกรมΠถ้า M เป็นชุดเล็กที่สุดของโปรแกรม P(Π) M

ผลลัพธ์ (ไทย) 2:

เราบอกว่าเอ็มจะเรียกว่าชุดคำตอบของΠโปรแกรม M ถ้าเป็นชุดที่น้อยที่สุดของโปรแกรม P (Π) M

ผลลัพธ์ (ไทย) 3:

เราว่า M เรียกว่าคำตอบชุดของโปรแกรมΠถ้า m เป็นชุดที่น้อยที่สุดของโปรแกรม P ( Π ) ม.