Я посещаю занятия по искусственному интеллекту, и мы работаем с программированием наборов ответов (в частности, Clingo). На данный момент мы говорим в основном о теории, и у меня возникают проблемы с разграничением моделей и наименьших моделей. У...

Я пытаюсь построить клинго с помощью scons. Он жалуется на мой набор компилятора, который является последней версией gcc-7-win64, которую я смог найти. (Я пробовал это с несколькими более старыми версиями) Сообщения об ошибках: ошибка: не...

Для данного графа мне нужно представить его, используя не более n клик. У меня проблема с этой задачей. Это похоже на n-раскраску графа, противоположного данному графу (граф b противоположен графу A, если если ребро (a, b) в графе A, то ребро (a, b)...

Когда я запускаю гринго в своей программе, это приводит к множеству обоснованных утверждений формы :- foo(a,b). Затем я также получаю много обоснованных ограничений, таких как: :- bar(a,x,y), foo(a,b). Учитывая знания выше, они...

Я запускаю решатель по планированию, и между различными наборами ответов я получаю то, что, по моему мнению, является предупреждением (поскольку оно не прерывает выполнение), в котором говорится следующее: Progression : [2;8] (Error: 3)...

b(X) :- a(b(X)). c(X) :- a(c(X)). d(X) :- a(d(X)). etc. Я хочу выразить это в компактной форме: F :- a(F). Однако это синтаксическая ошибка. Каков правильный способ сделать это?

Я пытаюсь получить количество равных очков, полученных каким-либо игроком. Например, если у меня есть оценка (p1, 1), оценка (p2, 1), оценка (p3, 2), я хотел бы получить новые вхождения предиката (оценка, количество) с результатом (1,2) и результатом...

У меня есть правило, которое генерирует следующее route(5,1,5,3) route(5,2,5,3) route(5,3,5,3) route(3,1,3,1) route(2,3,5,3) route(3,3,5,3) route(4,3,5,3) route(4,1,3,1) route(5,1,3,1) route(3,2,3,1) route(3,3,3,1) route(3,4,3,1)...

Я хотел бы направить вывод одного звонка в другой звонок, чтобы набор ответов первого считался фактами для второго. Это должно выглядеть примерно так: clingo foo.lp | clingo bar.lp , но вывод clingo foo.lp содержит несколько дополнительных строк,...

Создайте модель ASP, которая создает все возможные пароли с учетом следующих ограничений паролей. Сколько паролей существует? Пожалуйста, не комментируйте ответ, а просто скажите мне, где в процедуре мое решение clingo ошибочно. NV = 1.. N....

Для лекционного упражнения я должен представить в Answer Set Programming (мы используем Clingo в качестве интерпретатора) следующее ограничение целостности: "Вы должны спланировать календарь мастер-класса. Обычно лекции проходят по пятницам (8...

Я тестирую некоторые программы, использующие арифметику в Clingo 5.0.0, и я не понимаю, почему следующая программа неудовлетворительна: #const v = 1. a(object1). a(object2). b(object3). value(object1,object2,object3) = "1.5"....

Добавление следующего правила в мой код приводит к сообщению об ошибке ( info: operation undefined (Max-Min) ): rank_difference(Room, Deck, Diff) :- played(Room, Deck), Min = #min {Rank: seat(Player, Room, Deck), rank(Player, Rank)},...