- Главная
- Разное
- Бизнес и предпринимательство
- Образование
- Развлечения
- Государство
- Спорт
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Религиоведение
- Черчение
- Физкультура
- ИЗО
- Психология
- Социология
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Что такое findslide.org?
FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.
Обратная связь
Email: Нажмите что бы посмотреть
Презентация на тему Агенты, основанные на знаниях
Содержание
- 2. Логикипропозициональная логика: существуют лишь факты, которые относятся
- 3. Формальные языки
- 4. Синтаксис логики предикатов ПП
- 5. Базы знаний Высказывания вводятся в базу
- 6. Метод резолюции, основанное на доказательстве теорем Доказать противоречивостьАксиомы (условия задачи)Теорема (Цель)
- 7. Тождественные преобразования
- 8. Тождественные преобразования
- 9. Тождественные преобразования 1. Исключение Импликаций
- 10. Тождественные преобразования 2. Уменьшение области действия знаков отрицания
- 11. Тождественные преобразования 3. Стандартизация переменных
- 12. Тождественные преобразования 4. Исключение кванторов существования. Сколемизация5. Исключение кванторов общности
- 13. Тождественные преобразования 6. Представление в СКНФ
- 18. Скачать презентацию
- 19. Похожие презентации
Логикипропозициональная логика: существуют лишь факты, которые относятся или не относятся к данному мирулогика первого порядка: мир состоит из объектов, между которыми могут быть или не быть некоторые отношения
Слайд 2
Логики
пропозициональная логика: существуют лишь факты, которые относятся или
не относятся к данному миру
из объектов, между которыми могут быть или не быть некоторые отношения
Слайд 5
Базы знаний
Высказывания вводятся в базу знаний с помощью
операции Tell. Такие высказывания называются утверждениями. Например, можно ввести
утверждения, что Джон — король и что короли — люди:Tell(KB, King(John))
Tell (KB, x King(x) => Person(x) )
Задавать вопросы о содержимом базы знаний с использованием операции Ask. Например, следующее выражение:
Ask(KB, x King(x))
Слайд 6
Метод резолюции, основанное на доказательстве теорем
Доказать противоречивость
Аксиомы (условия
задачи)
Теорема (Цель)
Слайд 12
Тождественные преобразования
4. Исключение кванторов существования. Сколемизация
5.
