Cтраница 1
Система поддержания истинности обеспечивает получение новых значений для переменных. При разработке ЭС используются поверхностный, структурный и глубинный подходы. [1]
Неудовлетворимые цикличности иногда указывают на действительную несовместность допу щений той программы, которая использует систему поддержания истинности, и такая несовместность может быть провозглашена, например, в том случае, когда далекое обратное прослеживание исключило все другие возможности. Текущая версия TMS не обрабатывает Неудовлетворимые цикличности ( система зацикливается), поскольку для увеличения эффективности программы в нормальных случаях я удалил проверку наличия таких цикличностей, которая иногда обходится довольно дорого. В более живучей реализации такая проверка могла бы быть восстановлена. Более подробно эта проблема обсуждается при описании шага 5 в разд. [2]
В этой статье я свободно пользовался термином допущение, причем настолько, что заголовок Система пересмотра допущений мог бы показаться если не менее претенциозным, то более подходящим, чем Система поддержания истинности. Однако понятие допущения для многих связано с понятием градуаль-ности, a TMS не имеет никакой нетривиальной градуальной оценки допущений ( в разд. Если следовать Деннету [13] различающему бинарные подтверждаемые утверждения ( мнения) и лежащие в их основе градуальные желания ( допущения), точнее было бы название Система пересмотра мнений. Как объясняет Деннет, это разграничение позволяет описать те обстоятельства, при которых обоснованная аргументация заставляет индивидуума настаивать на некотором заключении, хотя он сам не верит в это заключение. Таким образом могут быть описаны колебания, самообман и другие сложные состояния, в которых могут находиться допущения и мнения. Мне представляется наиболее точной характеристика TMS как системы, пересматривающей не допущения, а мнения. В TMS процесс выбора того, во что верить, включает проведение суждений, а не возрастающую непрерывно прочность или уверенность. Новая информация может привести к значительным изменениям в множестве мнений, а новые допущения обычно лишь незначительно изменяют старые. [3]
Механизм вывода для динамических проблемных сред дополнительно содержит: планировщик, управляющий деятельностью ЭС в соответствии с приоритетами; средства, гарантирующие получение лучшего решения в условиях ограниченности ресурсов; систему поддержания истинности значений переменных, изменяющихся во времени. [4]
Для выбора своих действий рассуждающие программы должны быть в состоянии делать предположения и пересматривать эти предположения, если новые открытия противоречат им. Система поддержания истинности TMS ( Truth Maintenance System) является подсистемой решателя задач, выполняющей эти функции путем записи и поддержки причин для допущений, имеющихся в программе. Такие записанные причины полезны при конструировании объяснений действий программы и управления порядком действий решателя задач. В статье описываются: 1) представления и структура TMS; 2) методы пересмотра текущего множества допущений; 3) изменение множества текущих предположений при обратном прослеживании по зависимостям; 4) методы подытоживания объяснений допущений; 5) организация решателя задач на базе диалектически аргументирующих модулей; 6) способ пересмотра моделей систем допущений других; 7) методы встраивания управляющих структур в предположения. Мы подчеркиваем необходимость для решателей задач выбирать между альтернативными системами допущений и намечаем в общих чертах механизм, посредством которого решатель задач может использовать правила, управляющие выбором того; что допускать, чего хотеть и что делать. [5]
Для дальнейших деталей я рекомендую главу о зависимостях данных в [4], где представлена упрощенная ЛИСП - реализация программы типа TMS вместе с доказательством ее правильности. Макаллистер [30] приводит другую реализацию системы поддержания истинности с более ясной организацией, чем приведенная выше. [6]
Предлагаемые в главе 8 немонотонные модальные логики оперируют с неполным, противоречивым, динамически изменяющимся знанием. Далее описываются логики умолчаний Рейтера и системы поддержания истинности БД. [7]
В последнее время все реже употребляется термин оболочка, его заменяют более широким термином среда разработки. Основными компонентами системы KEATS являются: ACQUIST - средства фрагментирования текстовых источников знаний, позволяющие разбивать текст или протокол беседы с экспертом на множество взаимосвязанных, аннотированных фрагментов и создавать понятия ( концепты); FLIK - язык представления знаний средствами фреймовой модели; GIS - графический интерфейс, используемый для создания гипертекстов и концептуальных моделей, а также для проектирования фреймовых систем; ERI - интерпретатор правил, реализующий процедуры прямого и обратного вывода; TRI - инструмент визуализации логического вывода, демонстрирующий последовательность выполнения правил; Tables - интерфейс манипулирования таблицами, используемыми для хранения знаний в БЗ; CS - язык описания и распространения ограничений; TMS - немонотонная система поддержания истинности. [8]