Система - логическое программирование
Cтраница 1
Системы логического программирования управляют небольшими однопользовательскими базами данных, располагаемыми в оперативной памяти и содержащими правила вывода и фактическую информацию. Системы баз данных, напротив, управляют большими, находящимися в коллективном пользовании совокупностями данных в массовой памяти и обеспечивают технологию поддержки эффективного поиска и надежного изменения долговременно хранимых данных. [1]
Взаимодействие системы логического программирования и систем баз данных реализуется в процессе вывода с целью извлечения конкретных фактов, необходимых для ответа на текущую цель или подцель. При этом связывание осуществляется, когда системе логического программирования требуются дополнительные данные от системы баз данных для продолжения вывода. Сильное связывание называется также динамическим связыванием, поскольку оно выполняется в рамках реализации каждого правила. [2]
В системах логического программирования рекурсия служит также для описания циклов, повторений и является важнейшим методом программирования. [3]
Рассматриваемая версия системы логического программирования Турбо-Пролог 2.0 работает под управлением DOS и имеет стандартизованный программный интерфейс. [4]
Взаимодействие между системой логического программирования и системой баз данных возникает независимо от фактического процесса вывода. [5]
Мы называем связыванием разработку интерфейса между двумя различными подсистемами, системой логического программирования и системой баз данных. Согласно этому подходу, вначале имеются две различные системы, которые затем связываются для создания единой системы. [6]
В главе рассмотрены некоторые исследовательские системы на основе интеграции реляционных баз данных и систем логического программирования. Эти проекты находятся в стадии разработки. [7]
Из систем, основанных на правилах, наиболее подходящими для решения поставленных задач являются системы логического программирования. [8]
Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодаснл, функциональные языки запросов, модели баз данных. [9]
Второе направление в создании САПР ИИС состоит в использовании принципиально новых возможностей, предоставляемых современными языками и системами программирования, такими, в частности, как системы концептуального и логического программирования. Трудности в использовании таких систем в процессах автоматизированного проектирования носят не столько программный, сколько методологический характер, так как связаны с выявлением и формализацией принципиально новых проектных задач. [10]
Взаимодействие системы логического программирования и систем баз данных реализуется в процессе вывода с целью извлечения конкретных фактов, необходимых для ответа на текущую цель или подцель. При этом связывание осуществляется, когда системе логического программирования требуются дополнительные данные от системы баз данных для продолжения вывода. Сильное связывание называется также динамическим связыванием, поскольку оно выполняется в рамках реализации каждого правила. [11]
Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования. Этот язык широко известен и применяется в задачах символьной обработки информации, обработки естественных языков, искусственного интеллекта, экспертных систем, систем логического программирования. Изложение языка и примеры основаны на последней версии, которая станет стандартом языка. В книге приведены конкретные задачи с ответами и решениями. В 1 - й томе даны основные понятия языка Лисп и введение в функциональное программирование. [12]
Двухтомник финских специалистов, содержащий введение в язык Лисп, методы и системы программирования. Этот язык широко известен и применяется в задачах символьной обработки информации, обработки естественных языков, искусственного интеллекта, экспертных систем, систем логического программирования. Изложение языка и примеры основаны на последней версии, которая станет стандартом языка. В книге приведены конкретные задачи с ответами и решениями. Во 2 - м томе изложены методы и системы программирования. [13]
 |
Структурно-функциональная организация экспертной системы в среде PDG Prolog. [14] |
Дедуктивная машина содержит правила и стратегии логического вывода, определяя уровень интеллекта экспертной системы. Она знает, как использовать знания для решения поставленных перед экспертной системой задач. Фактически дедуктивная машина выполняет функции мониторной системы, определяя, какие знания нужно использовать для решения поставленной задачи, и организуя доступ к ним в базе знаний. Отличительной особенностью систем логического программирования, в частности системы PDC Prolog, является наличие встроенной дедуктивной машины, поэтому вопросы реализации экспертной системы на языке логического программирования сводятся к разработке базы знаний и пользовательского интерфейса. [15]
Страницы: 1 2