Изкуствен интелект. Предста-вяне на знанията чрез логика. Логическо програмиране

Изкуствен интелект. Предста-вяне на знанията чрез логика. Логическо програмиране

Автор(и): Станимир Стоянов, Тодорка Глушкова, Румяна Папанчева
Издателство: Изкуства; 2021 г.
ISBN: 9786197243970
Наличност: Да
Цена: 15,00 лв.

Това е втората книга от поредицата „Изкуствен интелект“. Съдържанието е посветено на темата „Представяне и обработка на знания чрез логика. Логическо програмиране.“ Темите на двете книги образуват ядрото на класическия изкуствен интелект.

Поредицата е предназначена за подготовка на ученици в профилирани и професионални паралелки, може да е основа за организиране на олимпиади, състезания и хакатони.

Предговор

1. Увод в изкуствения интелект
1.1. Знания в изкуствения интелект
1.2. Специализирани и знания с общ смисъл
1.3. Представяне на знания
1.4. Агенти със знания
1.5. Една игра
1.6. Модел на играта
1.7. Що е Пролог
Обобщение

2. Логика. Съждителна логика
2.1. Основни понятия на математическата логика
2.2. Съждителна логика. Синтаксис
2.3. Съждителна логика. Семантика
2.4. Проверка на моделите и еквивалентности
2.5. Теореми на съждителната логика
2.6. Методът на резолюцията
2.7. Първо разширение на базовия модел

3. Предикатна логика
3.1. Увод в предикатната логика
3.2. Основи на предикатната логика
3.3. Терми и съждения
3.4. Квантори
3.5. Пример за „Юнакът и златната ябълка“
3.6. Субституция
3.7. Правила за изводи за квантори
3.8. Унификация
3.9. Резолюция
3.10. Унификация и резолюция в Пролог
3.11. Пример за „Юнакът и златната ябълка“ - продължение
3.12. Прецизни дефиниции
3.13. Рекурсия
3.14. Пролог: работа със списъци
3.15. Отсичане
3.16. Отрицание като неуспех
3.17. Потребителски интерфейс в Пролог

Заключение
Използвана литература

Страници: 96
Формат: 60х90/8 ( 22х29 см)
Корица: мека
Език: български
Издание: ново
Тегло: 0,240 кг
ID: 2И41ИСС002

Напиши мнение

Вашето име:


Вашият текст:

Оценка: Лош            Добър

Въведете кода в полето отдолу: