Новый подход к Искуственному Интеллекту "Экскалибур-2013"
Взаимодействие с образом
Каждый образ является самостоятельной задачей (Сущностью Сцены). Задача соответствует его описанию в БЗ.
Об описании характера образа будет написано дальше.
Когда образы расставлены на сцене и им переданы сообщения, по команде (Scene On) сцена начнет автоматически моделировать поведение образов.
При этом другая часть программы может следить за ними и делать некоторые выводы.
Таким способом в Э реализуется эквивалент мышления и построение прогнозов.
Приложение
Краткий список ключевых слов.
ВНУТРЕННЯЯ БАЗА ЗАДАЧИ:
"set", "setq", "data" – присвоение значений символам
“Def”, “DefF” - определение локальной функции в пределах задачи
“DefT” - определение теоремы
ВЕТВЛЕНИЕ АЛГОРИТМА:
"=" "><" "<" "<=" – сравнение величин с ветвлением алгоритма
">=" ">"
"if" - ветвление алгоритма по логическому значению
"cond" – многократное ветвление (селектор)
"!" - простейший вывод результатов в отдельное окно
"?" - простейший диалог в отдельном окне
АРИФМЕТИКА И ЛОГИКА:
"++" – инкремент значения символа
"--" – декремент значения символа
"+" - арифметические операции
"*"
"-"
"/"
"n!" - вычисление нескольких факториалов
"or", ";" – логические операции
"xor"
"and", "&"
"not", "\\"
СОПОСТОВИТЕЛИ:
“isT” - сопоставление с регулярным выражением
“is” - сопоставление с структурированным образцом
"isAtom" - проверка что это атом
"isL" - проверка что это список
"isVar" - проверка что это символ
"isFunc" - проверка что это функция
"isNum" - проверка что это число
СПИСКИ:
"elem" - получение заданного маршрутом индексов элемента из
списков любой степени вложенности
"insert" - вставление элемента на заданную позицию в список любой
степени вложенности
"del" - удаление заданного элемента из списка любой вложенности
"list" - построение списка из нескольких значений
"len" - длина списка или массива
"head" - отделяет голову списка от хвоста
УПРАВЛЕНИЕ:
"for" - числовой цикл
"rob" - цикл перечисляющий элементы списка
"chain" - управление глубиной анализа свойств
"msg" - сообщение задачам или вывод на терминал
"inp” - запрос у задач или диалоговая функция
Cond - селектор
Prog - обобщение нескольких инструкций
“@” - вызов теорем
ЗНАНИЯ:
"news" - получение списока новых (по отношению к предкам)
свойств у объекта и его потомков
"forget" - забыть Атом полностью уничтожив все его следы в БЗ
"delete" - удаляет одно свойство ПОЛНОСТЬЮ
"clean" - очищает одно свойство только от значения оставляя само
свойство
"glob", "globf" - добавление в Базу Знаний глобальных функций
"eval" - вычисление выражения
"port" - задает имя функции или режим обработки сообщений
"read" - чтение файла или диалоговый выбор файла
"write" - запись файла
"$" - символ или последовательность символов ASII
"class" - построение списка ассоциаций отношения свойства с
объектами (строит виртуальные классы по назначенным
признакам)
ЗАДАЧИ:
"goal" - загрузка описания теста для результата задачи
"chief " - загрузка имени получателя результата и имени
результата задачи
"##" - служебная функция для тестирования результата задачи (не
документирована)
"task", "project" - создание задачи
"break" - уничтожает задачу
"ready" - превращает проект в задачу
"start" - активирует задачу
"stop" - отправляет задачу в список ожидающих задач
"maxtask" - регулирует максимальное число активных задач
- « первая
- ‹ предыдущая
- …
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- следующая ›
- последняя »