Проверяемый текст
Фоминых, Игорь Борисович; Нейрологические модели и методы решения задач в интеллектуальных системах реального времени (Диссертация 2000)
[стр. 141]

3.3.
Особенности представления знании для динамических сред 3J.1.
М одели на основе логики умолчаний Как отмечалось ранее для
ДЭС типичным является неполнота, неточность и/нли изменчивость информации, поэтому выводы (рассуждения) часто имеют предположительный, правдоподобный характер; они должны учитывать исключения, а исходные данные могут модифицироваться.
Такие рассуждения называются модифицируемыми и дедуктивные системы классической логики не подходят для их формализации прежде всего из-за свойства монотонности отношения выводимости: если {р,,
pn} Lq, то {pj,..., pn , г} Iq, (З-25) где рь ..., р„, q, г формулы логики первого порядка; Iотношение выводимости.
Необходимо построение немонотонной логики, для которой нужно определить отношение вывода, позволяющее получать заключения, подтверждаемые не во всех моделях для посылок.
Неадекватность систем дедукции классической логики для формализации модифицируемых рассуждений объясняется также тем, что их правила вывода являются так называемыми позволяющими [102].
Они всегда имеют вид: “если р
и ..., рп— теоремы, то q — теорема”, что позволяет получать новые теоремы, но не отказываться от ранее доказанных.
Очевидно, что система, моделирующая модифицируемые рассуждения, должна также
содержать правила вида ограничении : “q — теорема, если p i , р„ — не теоремы".
Итак, немонотонные логики должны иметь системы вывода для моделирования модифицируемых (не общезначимых в классическом смысле) рассуждений.
С семантической точки зрения это сводится к выводу выполнимых вместе с посылками формул, в смысле их подтверждения хотя бы в одной модели, т.е., заключения должны быть выполнимы вместе с множеством исходных посылок.
С другой стороны, разумным является.

141
[стр. 75]

условия для конструктивного взаимодействия образного и символьнологического методов.
2.2.
Развитие логических моделей на основе неклассических логик 2.2.1.
Модели на основе логики умолчаний Как отмечалось ранее для
ИСРВ типичным является неполнота, неточность и/или изменчивость информации, поэтому выводы (рассуждения) часто имеют предположительный, правдоподобный характер; они должны учитывать исключения, а исходные данные могут модифицироваться.
Такие рассуждения называются модифицируемыми и дедуктивные системы классической логики не подходят для их формализации прежде всего из-за свойства монотонности отношения выводимости: если {рь
...,рп} Iя, то {рь рп, г} 1-ц, где рь рп, я, г формулы логики первого порядка; ]отношение выводимости.
Необходимо построение немонотонной логики, для которой нужно определить отношение вывода, позволяющее получать заключения, подтверждаемые не во всех моделях для посылок.
Неадекватность систем дедукции классической логики для формализации модифицируемых рассуждений объясняется также тем, что их правила вывода являются так называемыми позволяющими [102].
Они всегда имеют вид: “если рь ...,
рп— теоремы, то я — теорема”, что позволяет получать новые теоремы, но не отказываться от ранее доказанных.
Очевидно, что система, моделирующая модифицируемые рассуждения, должна также
содер75

[стр.,76]

жать правила вида ограничений : “с\ — теорема, если р, ..., рп — не теоремы”.
Итак, немонотонные логики должны иметь системы вывода для моделирования модифицируемых (не общезначимых в классическом смысле) рассуждений.
С семантической точки зрения это сводится к выводу выполнимых вместе с посылками формул, в смысле их подтверждения хотя бы в одной модели, т.е., заключения должны быть выполнимы вместе с множеством исходных посылок.
С другой стороны, разумным является,
чтобы невыполнимые в совокупности заключения не выводились бы вместе.
Требование выполнимости непосредственно связано с модифицируемостью.
При поступлении новой информации предположения могут стать невыполнимыми с новым множеством посылок и будут отвергнуты.
Перечислим некоторые важные свойства формул немонотонной логики [103]: • теоремы не являются тавтологиями и не общезначимы по отношению к своим посылкам, но лишь выполнимы с ними ; • из одного множества формул-посылок можно получить различные несовместные множества формул-заключений.
Отдельно взятое множество заключений существенно зависит от порядка применения правил вывода.
Если выведена правдоподобная формула, то следует запретить дальнейшее выведение других правдоподобных, но невыполнимых вместе с первой, формул; • для того чтобы избежать получения нескольких несовместимых множеств заключений обычно вместо монотонности вводят свойство ограниченной монотонности, определяемое следующим образом: если {рь рп} ~ г и {рь р„} ~ Ч , то {рь р,„ г} ~ я , где ~ есть символ отношения выводимости в рассматриваемой 76

[Back]