Изкуствен интелект: Представяне на знанията чрез логика. Логическо програмиране
По учебната програма за 2025/2026 г.

"Това е втората книга от поредицата Изкуствен интелект. През първото десетилетие на изкуствения интелект усилията на изследователите са насочени към разработване на методи за търсене с общо предназначение, които обединяват елементарни стъпки за разсъждение за да се намерят цялостни решения. Понякога такива подходи са наречени слаби методи, понеже, макар и общи, те са трудно приложими за големи или трудни проблеми. Тази проблематика беше разгледана в първата книга от поредицата.

Една възможна алтернатива или допълнение на слабите методите е използване на специфични за проблемната област знания, които позволяват по-големи стъпки на разсъждения и които могат по-лесно да се справят с често срещаните проблеми в тесни области на експертни знания. С течение на времето такива подходи добиха популярност под наименованието експертни системи. Основополагащо за експертните системи е намиране на подходящи форми за представяне и обработка на знания. Така наречената логистична традиция в изкуственият интелект се очертава като една от най-перспективните форми за създаване на интелигентни системи.

Съдържанието на книгата е посветено на темата Представяне и обработка на знания чрез логика. Логическо програмиране. Заедно с проблематиката, разгледана в първата книга, тази тематика е изследвана още в зората на изкуствения интелект и се утвърждава като основополагаща за дисциплината. Повечето от представените концепции, подходи и методи имат дългогодишна история, но въпреки това са все още актуални и се радват на нестихващ научен и практически интерес. След известен застой езикът за логическо програмиране Пролог се възражда. Това се дължи основно на нарасналата мощност на използваната в ежедневието изчислителна техника. Темите на двете книги образуват ядрото на така наречения класически изкуствен интелект.

За кого е предназначена книгата? За всички, които желаят да навлязат в дебрите на изкуствения интелект - предимно за подготовка на ученици в иновативни, профилирани и професионални паралелки, както и за обучение по специализирани учебни дисциплини и клубове по интереси. Книгата може да бъде използвана също от студенти като помощно средство за лесно разбиране на същността на проблематиката. Въпреки направени опростявания на учебния материал, авторите разбират, че поемат известен риск, свързан с коректното представяне на материала в разбираем за учениците език. За целта положихме усилия да избегнем излишни детайли и формални представяния. В първата книга използвахме един алгоритмичен подход за представяне методите за решаване на проблеми посредством търсене. Във втората книга представянето и обработката на знания се демонстрира с помощта на логическото програмиране. За да подпомогнем усвояването на материала сме включили различни примери, с надеждата, че те ще доставят удоволствие и удовлетворение от обучението. Дадени са някои любопитни факти, свързани с тематиката. Към отделните уроци са предложени задачи за самостоятелна работа. Дано сме успели.

Приятно четене!"
От авторите

Настоящото издание е съвместимо с учебната програма за 2025/2026 г.

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

Изкуства ЕООД
София 1700
Студентски град, ул. Д-р Йордан Йосифов 8Б
izkustva@yahoo.com

Увод
Преговор
Увод в изкуствения интелект

• Знания в изкуствения интелект
• Специализирани и знания с общ смисъл
• Представяне на знания
• Агенти със знания
• Една игра
• Модел на играта
• Що е Пролог?
• Обобщение

Логика. Съждителна логика

• Основни понятия на математическата логика
• Съждителна логика. Синтаксис
• Съждителна логика. Семантика
• Проверка на моделите и еквивалентности
• Теореми на съждителната логика
• Методът на резолюцията
• Първо разширение на базовия модел

Предикатна логика

• Увод в предикатната логика
• Основи на предикатната логика
• Теми и съждения
• Квантори
• Пример за Юнакът и златната ябълка
• Субституция
• Правила за изводи за квантори
• Унификация
• Резолюция
• Унификация и резолюция в Пролог
• Пример за Юнакът и златната ябълка - продължение
• Прецизни дефиниции
• Рекурсия
• Пролог: работа със списъци
• Отсичане
• Отрицание като неуспех
• Потребителски интерфейс в Пролог

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