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

Описание тега Вопросы с тегом
Вопросы, связанные с системой clingo в сюите potassco.
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

Я не уверен, как написать заявление об оптимизации в clingo4 (ASP Solver). Я хочу минимизировать общее количество экземпляров определенных литералов в каждом наборе ответов. Я имитирую агента реагирования на огонь в ASP. Агент может выбрать выполнен…
15 июн '15 в 18:44
0 ответов

Что означают уравнения с 1 и 0 в клинго?

Я никогда не использовал clingo раньше, и я нахожу онлайн-документацию неполной (я также не могу публиковать сообщения на форумах Potassco). У меня есть кусок кода клинго со строками правил формата foo(L1, L2, L3):- isa(вещь, объект), isa(вещь, объе…
21 ноя '18 в 16:54
1 ответ

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

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

Переводчик с Пролога /ASP(Clingo) на CLIPS

Есть ли простой способ перевести код Prolog/ASP в CLIPS? Примерно так, но с CLIPS вместо Prover9: https://github.com/potassco/anthem/tree/master/examples
04 июл '18 в 00:28
1 ответ

Можно ли представить "неразрешимый" в ASP (программирование набора ответов)?

Предложение как If a(X), then one can't decide/conclude anything about a(X) being b(X) Первая попытка b(X) | -b(X) :- a(X). Вторая попытка :- a(X), b(X). :- a(X), -b(X). Первый не вносит изменений в решение, а второй делает все неудовлетворительным.
26 мар '18 в 04:01
1 ответ

Подсчет количества истинных предикатов и ограничение

Есть ли определенный способ, которым я могу ограничить число истинных предикатов, доступных с использованием указанного факта? На данный момент у меня всего (2). как факт. Я думал, что это будет работать: : - итого (N), #count{x: Some_to_limit(x)} =…
25 янв '17 в 12:20
0 ответов

Выполнить клинго на Android через Javascript

Я пытаюсь выполнить программу clingo внутри приложения Android. Я видел библиотеку EmbASP ( здесь), но она работает только с DLV, и перенос моего кода будет очень трудным (я использую много отрицательных чисел...). Итак, мой вопрос: кто-нибудь выпол…
29 окт '18 в 14:14
1 ответ

lparse/clingo: как выразить следующее в компактной форме?

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

Построение клинго на окнах с помощью scons

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

ASP Clingo - разбиение графа на n кликов

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

Какова разница между моделью и наименьшей моделью в программировании набора ответов?

Я беру урок искусственного интеллекта, и мы работаем с Программой набора ответов (Clingo, в частности). В данный момент мы говорим в основном о теории, и у меня возникли проблемы с разграничением моделей и моделей с наименьшим количеством моделей. У…
21 сен '14 в 19:01
0 ответов

Clingo ответ набор новичков программирования

Я получил следующую проблему с набором программ ответа, но не уверен, что мой ответ правильный: A (X) обычно являются E (X) U (X) обычно не являются E (X) G (X) обычно являются E (X) Каждый G (X) есть U (X) U (X) обычно являются A (X) G (t 1) G (t2)…
19 ноя '16 в 05:10
1 ответ

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

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

Clingo: создать пользовательскую функцию

Я в конце, чтобы создать "функцию" в клинго, если таковая может быть определена. В упрощенной версии того, что я пытаюсь выполнить, я написал эту очень короткую программу: a(1..3). adj(X,Y) :- a(X), a(Y), abs(X-Y)==1. #hide a/1. По сути, я хочу опре…
08 май '14 в 14:59
1 ответ

Clingo: сравнивать строковые литералы по порядку (индексу)?

Я определил цветовую палитру под названием tableau10 в клинго: tableau10(blue;orange;red;teal;green;yellow;purple;pink;brown;gray). Есть ли способ сравнить цвета в порядке их появления в моем определении цвета? (например, blue = 0, orange = 1, red =…
17 фев '19 в 05:17
1 ответ

Установка Clingo на Mac

Я пытаюсь установить Clingo на моем Mac (macOS Mojave - 10.14.3). Я скачал последнюю версию Clingo (5.3.0) и распаковал ее. Если я открываю файл Clingo с помощью терминала, он говорит: Last login: Fri Mar 1 09:31:31 on ttys000 Mattias-MacBook-Pro:~ …
01 мар '19 в 08:47
0 ответов

Непонятное поведение подпроцесса. Open(cmd,stdout) и os.system(cmd)

Я использую внешнюю команду внутри скрипта Python, используя в первую очередь: subprocess.Popen(cmd, stdout=subprocess.PIPE) тогда я получаю стандартный вывод. Проблема заключается в том, что результат этой внешней команды при выполнении ее внутри с…
18 сен '18 в 21:16
1 ответ

Вопросы новичка по программированию набора ответов

Я абсолютно новичок в Clingo (и логическом программировании) и ищу лучший способ реализовать следующие основные ограничения: Q1. У меня есть предикат selected(T) где Т составляет от 1 до N=5; как я могу указать, что существует хотя бы один T такой, …
04 фев '15 в 09:33
0 ответов

Правило эффективного подсчета в Clingo/ Программе набора ответов

Рассмотрим следующую программу набора ответов: category(main, 5). category(extra, 2). num(main, 1..45). num(extra, 1..12). Count{draw(Category, Num, Draw) : num(Category, Num)}Count :- category(Category, Count), Draw = 1..n. Это генерирует n розыгры…
19 янв '18 в 08:18