A problem, G, which expresses either an observation that needs to be explained or a goal that is desired, is represented by a conjunction of positive and negative (NAF) literals.
مسئله، G، یک مشاهده را بیان می‌کند که باید توضیح داده شود یا هدفی را بیان می‌کند که با ترکیب مثبت و منفی (NAF) مطلوب نشان داده می‌شود.