Содержимое раздела
Здесь будут проанализированы различные методы логического программирования, которые находят применение в области искусственного интеллекта. Рассмотрены будут как классические подходы к представлению знаний и рассуждениям, так и современные техники, использующие Пролог для решения задач планирования, диагностики, экспертных систем и обработки естественного языка. Особое внимание будет уделено возможностям Пролога в создании систем, способных принимать решения на основе логических правил и фактов.