Новый подход к Искуственному Интеллекту "Экскалибур-2013"
Примечание: Поиск подходящих теорем начинается из точки Каталог в БЗ, вверх к родителям этой точки на высоту установленной длины цепочки наследования. Если Каталог отсутствует, то теоремы ищутся в точке БЗ “Теорема”
Часть 3 Работа со знаниями
Внимание: При вводе знаний в БЗ все буквы сообщения-факт должны быть строчными. Слова, начинающиеся с прописной буквы имеют смысл «Слово-объект».
Непосредственное задание знания:
[ имеет гриб шляпка]
Ввод знаний в БЗ через встроенную функцию Set (через Слово-объект):
(Set Гриб мухомор)
[имеет Гриб пятно]
Семантический класс “Непонятное_слово”
В Базе Знаний имеется специальный класс “Непонятное_слово”, куда автоматически заносятся все непонятные для Э слова.
Непонятным словом считается слово, для которого запрос (Это СЛОВО) выдаст пустой список “( )”
В дальнейшем, когда слово станет понятным, оно автоматически будет из этого класса удалено.
Получить список “Непонятное_слово” можно через отношение “Включает”:
(Включает Непонятное_слово) → Список слов
Примечание:
**(Слова- Свойства могут не быть включенными в список непонятных слов).
Занесение в Базу Знаний сообщения-факта:
[ Отношение объект свойство] - все элементы : слово-Отношение, слово-Объект, слово-Свойство, - сообщения-факта могут быть любыми сообщениями языка. Возвращает слово-объект.
Занесение в Базу Знаний величины слова-свойства:
[ отношение объект свойство величина] - все элементы могут быть сообщениями . Возвращает слово-объект
Пример:
[имеет дом высота 10]
Примеры
[любит конь сено] ‘ Это сообщение-факт в БЗ
(! (любит конь сено)) → True ‘Это сообщение-предикат в БЗ
(! (любит человек сено)) → False ‘Это результат обработки введенного сообщения
Введем:
(Set X конь)
(Set Y сено)
(! (любит X Y)) → True
Встроенные Слова-Функции:
Delete - Удаление свойства объекта:
(Delete Отношение Объект Свойство)
Clean - удаление значения свойства:
(Clean Отношение Объект Свойство)
forget - удаление из Базы Знаний объекта
(forget Объект)
NewS - строит список всех новых свойств у объекта и его потомков для указанного отношения.
(NewS Объект Отношение)
Class - строит список символов ассоциированных с указанным свойством через некоторое отношение
Синтаксис:
Пример:
[имеет ((стол человек рояль)) нога]
(! (Class Имеет нога )) → (стол человек рояль)
Примечание:
Можно задавать построение класса с учетом наследования, указав для этого глубину наследования >=1
Синтаксис:
(Class Имеет нога 2) → (стол человек рояль негр азиат европеец индус китаец)
Примечание:
Функция Class может строить комбинированные значения, заданные списком свойств в комбинации с наследованием.
Пример:
(Class Любит ((Пирожное Мороженое Играть)) 3 )
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- следующая ›
- последняя »