Процессор «a» обрабатывает заголовок «a» сообщения «a_b_c_d» и передает полезную нагрузку «b_c_d» другому процессору следующего уровня следующим образом: msg(a, b_c_d). pro(a;b;c;d). msg(b, c_d) :- pro(X), msg(X, b_c_d). msg(c, d) :- pro(X),...

Я новичок в программировании наборов ответов. Я хочу сгруппировать всех студентов в разные группы таким образом, чтобы: 1. В каждой группе было от 3 до 4 студентов 2. В одной группе не было двух студентов, которые не любят друг друга. 3. И мы не...

Итак, проблема, с которой я сталкиваюсь, заключается в том, что я не могу заставить программу ASP полностью выполняться при запуске с использованием сценария bash. Таким образом, сценарий запускает ASP, но только запускается и никогда не завершается....

Я вычисляю суммы нескольких полей в clingo: x(1,2,3). x(4,5,6). x(7,8,9). y(A,B,C) :- A = #sum { A1, B1, C1 : x(A1,B1,C1) }, B = #sum { B1, A1, C1 : x(A1,B1,C1) }, C = #sum { C1, A1, B1 : x(A1,B1,C1) }. Это работает. Результат:...

У меня есть эта простая программа DLV, состоящая из нескольких предикатов и правил вывода. Одно из правил не активируется, и я понятия не имею, почему, поскольку, по-видимому, все предикаты существуют. Я должен признать, что я не эксперт в DLV и...

Я новичок в программировании наборов ответов, и я борюсь с довольно простым вопросом. Программу нужно написать на clingo. Итак, вот вопрос: Абстрактная структура аргументации состоит из набора аргументов A и отношения атаки R ⊆ A X A между...