Введение в экспертные системы
ГЛАВА 8. Логическое программирование
Логическое программирование
PROLOG и MBASE
Правила поиска в языке PROLOG
Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
Формальные языки
Исчисление высказываний
Исчисление предикатов
Снова о роботах и комнатах
Язык PROLOG
Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы.
Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
Опровержение резолюций
Принцип резолюций
Таблица 8.1. Обобщение резолюции
Поиск доказательства в системе резолюций
Дерево доказательства методом опровержения резолюций
Процедурная дедукция в системе PLANNER
Excel ЧаВо
Для определения, будет ли запущен новый экземпляр Excel.Application или присоединение к уже запущенному, используется свойство TExcelApplication.ConnectKind. По умолчанию это свойство имеет значение ckRunningOrNew (константы определены в unit OleServer). Однако рекомендуется, если нет на то особой надобности, всегда запускать новый экземпляр Excel.Application во избежание конфликтов с запущенным раннее экземпляром Excel.Application. Свойство TExcelApplication.AutoQuit в конструкторе устанавливается по умолчанию в False (только в модуле ExcelXP в True) — это значит, что если вы хотите при отсоединении завершить работу Excel (закрыть), то нужно вызвать метод TExcelApplication.Quit или установить свойство TExcelApplication.AutoQuit равным True.Логистика
В этом месте разговор пойдет о том как чего, куда и кому доставить вовремя и чтобы по дороге чего-нибудь не сперли. Оказывается, я правда не знал, это целая наука с очень развитым математическим аппаратом. Из простой вещи -перевозки грузов люди создали вполне себе прибыльный бизнесочек. А ввобще все это, логистику, замутили военные.Логистический бизнес
Виды логистики
Транспортная логистика
Основы логистики
Планирование логистики
Система логистики
Теория логистики
Учебник по логистике
