Описание тега gringo

Вопросы с тегом
1 ответ

Клинго применить переменный диапазон

Я не знаю много о клинго, я надеюсь, что смогу ясно рассказать о проблеме. В настоящее время я cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY). который возвращает результаты для каждого значения X, Y. Как я могу получить для X-XX и Y…
17 ноя '17 в 14:34
1 ответ

Используйте Clingo 4.5 с Gringo 3

Я пытаюсь запустить код из упражнений из 8-й главы PCGBook. Они используют клинго, но не говорят, какую версию они используют. Когда я скачал последнюю версию Clingo из sourceforge Потасско (версия 4.5.4), он выдает мне ошибки лексера. Я предполагаю…
22 ноя '16 в 04:14
1 ответ

Программирование набора ответов: как распределить учащихся по группе таким образом, чтобы в одной группе не было двух учеников, которые не любят друг друга

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

Как суммировать в клинго?

У меня есть следующий набор данных: food_a(bagel, 245). food_a(sandwich, 200). food_a(salad,300). food(bagel). food(sandwich). food(salad). Я хочу выполнить следующее ограничение: учитывая общее количество калорий, я хочу вернуть продукты, которые у…
01 апр '17 в 23:55
2 ответа

Clingo - Ошибка / предупреждение о прогрессии

Я запускаю решатель по планированию, и между различными наборами ответов я получаю, как мне кажется, предупреждение (поскольку оно не ограничивает выполнение), говоря следующее: Progression : [2;8] (Error: 3) Progression : [3;8] (Error: 1.66667) Pro…
27 дек '17 в 15:40
1 ответ

Как запретить обоснование ложных фактов в Программе набора ответов /Gringo

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

Клинго суммируется с условием

У меня есть следующая строка: areaCanHavetheValueOf(X,Y,V,I,GV,FromX,FromY) :- area(X,Y,I), number(FromX,FromY,V), X=FromX, goal(I,GV). То, что я хочу сделать, это суммировать значения V в 'areaCanHavetheValueOf', где я одинаковы. Я пытался использо…
19 ноя '17 в 11:09
1 ответ

Как начать с клинго?

Я должен установить клинго. Но я не знаю, как его запустить. В файле есть несколько примеров. Я пытался запустить его. Но это не удалось. Я установил его в обоих окнах и Ubuntu. И я должен добавить это к пути. C: \ Windows \ system32> clingo color.l…
04 май '19 в 15:22
1 ответ

как показать всем максимальный результат в clingo при использовании maximize?

Сейчас я пишу программу asp. когда я комментирую строку #maximize{S:ce(S)}. в программе ответ выглядит следующим образом опустите ответы с 1 по 6. Ответ: 7 обзор (харрис, английский) обзор (бен, математика) обзор (бен, китайский) обзор (ник, математ…
01 дек '19 в 15:33
1 ответ

Проблема коммивояжера с окнами времени

Пытаюсь решить проблему TSP с дополнительным ограничением - временными окнами. Применяются все стандартные допущения: Мы начинаем и заканчиваем в данном городе. Каждый город посещается только один раз. Мы стараемся найти оптимальный путь с точки зре…
31 янв '20 в 11:47
1 ответ

Clingo: логическое ИЛИ в ограничении целостности

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

sbass не может прочитать вывод гринго

Я запускаю простую программу ASP: %Defining possible states of each of the rook space occupied(t; f). %Generate all possible grids {rook(X, Y, D) : occupied(D)} = 1 :- X=2..x, Y=2..y. %Bound the grid with empty space rook(X, Y, f) :- X=0, Y=1..y. ro…
26 сен '20 в 11:58
1 ответ

ASP Clingo - получение точного количества атомов

Я с нетерпением жду возможности назначить определенное количество людей на определенную смену. Например, у меня шесть человек и три разные смены. Теперь я должен назначать на каждую смену ровно по два человека. Я пробовал что-то вроде этого, но...ПР…
26 ноя '20 в 01:57
3 ответа

Увеличьте интервал в клинго

У меня есть следующий код clingo, который генерирует пространство поиска, за которым следуют ограничения. {in(I,1..4)}=1 :- I=1..n. :- [constraint1] :- [constraint2] Этот код работает. Но мне нужно clingo, чтобы найти наибольшее значение n, для кото…
08 фев '21 в 06:58
1 ответ

Программирование набора ответов - фильтрация от большого количества моделей

instance.lp node(1). node(2). node(3). node(4). node(5). node(6). edge(1,2). edge(2,1). edge(4,1). edge(2,3). edge(2,6). edge(3,4). edge(3,5). edge(5,6). edge(6,3). begin(4). У меня есть этот пример проблемы, ориентированный граф с начальным узлом b…
27 ноя '21 в 21:56
1 ответ

Как написать ограничение, включающее определенный параметр в clingo?

Я пытаюсь решить Google ASP Competition 2019: проблема назначения страхового рефери. Проблема описана по этой ссылке . Существует жесткое ограничение: если рефери имеет тип предпочтения 0, то дело не будет назначено этому рефери. Я упростил задачу, …
25 фев '22 в 15:13
0 ответов

Рассчитать сумму суммы в Clingo

Я пытаюсь решить следующую проблему: Данный kнейроны n1,...,nk связаны предикатом arcдано на входе. Первый hнейроны являются входными и не имеют входящих дуг, они имеют логическое значение. Каждая дуга (i,j)имеют вес w(i,j) , которые имеют значение …
02 июн '22 в 14:56
1 ответ

Только вычислить/решить конкретное правило в clingo

Предупреждение: новичок в ASP. Предположим, у нас есть эта простая программа: % crime scene % Facts present(harry). % was present on the crime scene present(sally). present(mary). motive(harry). % has a motive motive(sally). guilty(harry). % encodin…
19 июл '22 в 13:09
1 ответ

Clingo: пересечение всех возможных оптимальных решений (ASP)

Я хочу найти атомы в заранее определенном наборе атомов, которые находятся во всех возможных оптимальных решениях задачи ASP. Я объясню, что я хочу сделать. У меня есть проблема оптимизации, в которой может существовать несколько оптимальных наборов…
18 июн '22 в 11:39
0 ответов

Ограничение Clingo не работает должным образом и игнорируется

У меня есть программа Clingo, оптимизирующая доставку посылок, и есть два ограничения для ограничения веса и объема, которые может доставить автомобиль соответственно, однако эти ограничения не работают. weightLimit(500). volumeLimit(1000). cars(2).…
30 ноя '23 в 11:14