ТЕХНОЛОГИИ РЕАЛИЗАЦИИ ЛОГИЧЕСКОГО ВЫВОДА В ПРОГРАММНЫХ КОМПЛЕКСАХ
Аннотация
Объект исследования - технологии реализации логического вывода. Цель статьи - определение основных направлений исследований автоматического логического вывода, полученных на их основе программных средств и соответствующих областей применения.
Логический вывод является распространенной задачей искусственного интеллекта, реализуемой в прикладном программном обеспечении. Оперативность работы программного комплекса определяется эффективностью встроенного механизма логического вывода. Средства реализации логического вывода должны обеспечивать оптимальное время выполнения и взаимодействия с другими компонентами, а также удовлетворять требованиям прикладной задачи. в статье выделены основные области усовершенствования программных реализаций механизмов логического вывода и соответствующие направления исследований: (i) расширение концепции и сочетание нескольких парадигм логического программирования (вероятностное логическое программирование, оспоримый вывод - defeasible inference, коиндуктивное программирование); (ii) сокращение времени обмена данными между компонентами программного комплекса и времени обработки больших баз знаний (усовершенствование моделей сопоставления с образцом в системах, базирующихся на правилах, создание или расширение реализаций средств логического вывода для интеграции в распределенные программные системы, разработка новых реализаций механизмов логического вывода для специализированных языков программирования и языков общего назначения); (iii) сочетание концептуально разных подходов к логическому выводу (сочетание выводов по логической и продукционной концепциям, интеграция парадигм логического вывода и нейросетевого подхода). Само сочетание программных реализаций различных концепций, прежде всего механизмов формирования логических выводов и нейросетевых моделей, предоставляет новые возможности искусственному интеллекту.
Для каждого направления исследований представлены программные средства, также приведены примеры отраслей их применения согласно указанной концепции.
Ключевые слова: механизмы логического вывода, вероятностное логическое программирование, оспоримый логический вывод, системы, базирующиеся на правилах, PRISM, ProbLog, XSB Prolog, SWI Prolog, DeepProbLog.