Вступ до логічного програмування
«Вступ до логічного програмування» — фундаментальний навчальний посібник для тих, хто хоче зрозуміти принципи декларативного програмування, логічних обчислень та роботи систем на основі правил. Книга пояснює, як логіка стає інструментом побудови інтелектуальних застосунків.
У книзі розглядаються:
- основи логіки предикатів і формальних систем;
- робота логічних машин та принципи інференції;
- мови логічного програмування, включно з Prolog;
- створення експертних систем та інтелектуальних моделей;
- застосування логічного підходу в AI, плануванні та аналізі знань.
Підійде студентам, розробникам, дослідникам та всім, хто хоче глибше зрозуміти основи штучного інтелекту.