Интерактивный режим DLV (отладка)

Я немного работаю над DLV, и когда программа большая, мне трудно следить за активацией правил. Поэтому я обратился к руководству и проверил, можно ли что-то сделать. это.

Единственное, что я нашел, это внешний вариант -FP, но я не уверен, что это то, что я ищу, поскольку в руководстве не содержится достаточно информации на этот счет. Итак, что я сделал, чтобы запустить мою программу с этим флагом, но я получаю следующую ошибку:

Базовые знания не должны содержать агрегатов

Программа работает без этого флага и я не могу избавиться от агрегатов. Я также пробовал с глупой программой, но появляется другое предупреждение/ошибка:

Предупреждение: длина плана не указана. Длина плана по умолчанию равна нулю. Целевой запрос не указан.

Это правильный способ отладки программ DLV? Есть ли способ вообще?

Спасибо.


debugging answer-set-programming datalog
person rutex    schedule 21.09.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Нет, это неправильный способ отладки программ DLV.

Внешний интерфейс планирования (вызываемый с помощью -FP) предназначен для использования DLV для решения задач планирования, т. е. задач общего вида: Это текущее состояние мира/моей системы. Вот набор возможных действий, которые я могу выполнить, и вот набор целей, которых я хочу достичь. Теперь я хотел бы знать, в каком порядке я должен выполнять какие из этих действий для достижения этих целей? (Я не знаю хорошего источника для получения дополнительной информации о планировании, у меня был курс по этому вопросу несколько лет назад во время учебы - просто в результате 50-секундного поиска в Google, возможно, это полезный источник для получения дополнительной информации: http://aima.cs.berkeley.edu/2nd-ed/newchap11.pdf)

Внешний интерфейс планирования DLV просто предоставляет вам структуру, которая позволяет вам выражать такие планы, а затем решает их для вас (и длина плана, которую он запрашивает во втором предупреждении, — это максимальное количество шагов, которые может выполнить план) . Поэтому я не думаю, что это то, что вы ищете.

У меня совсем нет опыта отладки DLV, но, кажется, однажды упоминалось, что ASP IDE https://www.mat.unical.it/ricca/aspide/download поддерживает какую-то отладку (и так заявлено на сайте dlv http://www.dlvsystem.com)/), но я не знаю, какая информация предоставлена ​​и полезна ли она для вас. (В целом я бы предположил, что отладка не так проста, поскольку фактическая реализация системы ASP может сильно отличаться от декларативного определения ее семантики).

(Извините, если это скорее комментарий, чем ответы, но мне все еще не разрешено писать комментарии, только ответы)

person JustCurious    schedule 23.09.2016