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