Презентация на тему Агенты, основанные на знаниях

не относятся к данному миру
логика первого порядка: мир состоит

из объектов, между которыми могут быть или не быть некоторые отношения

операции Tell. Такие высказывания называются утверждениями. Например, можно ввести

утверждения, что Джон — король и что короли — люди:
Tell(KB, King(John))
Tell (KB, x King(x) => Person(x) )
Задавать вопросы о содержимом базы знаний с использованием операции Ask. Например, следующее выражение:
Ask(KB, x King(x))

задачи)
Теорема (Цель)

отрицания

Исключение кванторов общности