DemonScript: Примеры
Ниже приведен перечень примеров законченных программ на DemonScript. Они иллюстрируют как особенности использования языка, так и способы представления знаний для простых, модельных ситуаций. Примеры подробно описаны и также доступны исходные текстовые файлы с расширением .ds, которые содержат исходный код.
- Мы не двойняшки... - пример использования атрибутов объектов, отношений и предикатов, связанных с абстрактными классами, выстроенными в определённую иерархию.
- Размещения ящиков - рассмотрена модель прямоугольных закрытых ящиков различных размеров. Ящики могут быть вложены вдруг в друга, что описывается отношением in. Вычисляется число возможных моделей размещения N ящиков.
- Пространственные отношения - строится аксиоматика пространственных отношений in, ins, on, above, below.
- Волк, коза и капуста - алгоритмический поиск решения стандартной головоломки.
- Города и дороги - рассмотрен неориентированный граф, узлами которого являются города, а рёбрами - дороги между городами. Предполагается, что информация о карте дорог неполна (известны только некоторые дороги и факт наличия или отсутствия путей). Необходимо по этой информации восстановить сделать логические выводы о неизвестных отношениях.
- Лампочки и провода - рассмотрен маленький мир в котором есть лампы, провода, вилки, розетки и источники тока. Система должна научиться строить электрические схемы, приводящие к загоранию лампочек.