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

Итак, у меня есть набор фактов и запрос, написанный на ASP для запуска на DLV, %Q1 : Find the implicit "is_a" relationship between terms %ex: if term A is is_a term B, term B is_a term C, then term A is_a term C %is_a One level...

Я пытаюсь найти все пути в графе с минимальным расстоянием, используя DLV. Скажем, у меня есть следующий график: Я ожидаю получить предикаты (надеюсь, я ничего не пропущу): путь (а, б, 1), путь (а, г, 1), путь (а, д, 1), путь (а, с, 2)...

Для данного графа мне нужно представить его, используя не более 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)...

Создайте модель 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)},...