Cтраница 1
Устойчивые расширения не могут быть эффективно вычислены даже для простых классов теорий, например, для пропозициональных программ. Это существенный недостаток, если требуется выполнять представление знаний или рассуждений. [1]
Согласно устойчивым расширениям, у скептического агента нет убеждения ни в истинности утверждения вы-брать ( а), ни в истинности утверждения выбрать ( Ь), т.е. робот не выберет ни один из путей, что вполне разумно. Я выхожу, что не соответствует нашим ожиданиям. [2]
Напомним, что устойчивое расширение Т множества А основных предположений ( посылок) есть устойчивое множество предположений, основанное на А. [3]
Наконец, назовем устойчивым расширением множества исходных предположений А множество предположений Т, которое устойчиво и основано на А. Устойчивые расширения являются максимальными состоятельными множествами предположений, которые идеально разумный агент в состоянии вообразить на основе исходного множества предположений. [4]
Наконец, назовем устойчивым расширением множества исходных предположений А множество предположений Т, которое устойчиво и основано на А. Устойчивые расширения являются максимальными легальными множествами предположений, которые идеально разумный субъект в состоянии вообразить на основе исходного множества предположений. [5]
В случае выполнения Ж характеризует некое устойчивое расширение для А. [6]
Как показывает зарубежный опыт, наблюдается устойчивое расширение совместно функционирующих крупных и мелких предприятий. В подобном сотрудничестве заинтересованы обе стороны. Крупным фирмам разветвленная система мелких субподрядчиков позволяет освободиться от многих невыгодных функций и сосредоточиться на наиболее прибыльных и перспективных сферах и операциях. [7]
Тогда теория Т наверняка не является устойчивым расширением А, ибо Т даже не надмножество А. [8]
Даже те теории, у которых существуют устойчивые расширения, в автоэпистемической логике Мура не всегда получают естественно ожидаемую семантику. [9]
У вполне разумных теорий может не быть устойчивых расширений. [10]
Полугруппа S ( t) есть дистальное и двусторонне устойчивое расширение. В том случае, когда X -компакт или выполнено условие ( 4), полугруппа S ( t) есть поток. [11]
Конечно, некоторые автоэпистемические теории могут иметь несколько устойчивых расширений. [12]
Наступление фазы оживления знаменуется переходом к более или менее устойчивому расширению производства. [13]
Устойчивые модели имеют 1: 1 соответствие с устойчивыми расширениями, а последние могут быть получены просто заменой CIRC на CWA в определении стационарного расширения нормальных программ, где CWA ( Closed World Assumption) обозначает предположение о замкнутости мира. [14]
Так как всегда требуется явно указывать все убеждения агента, то при устойчивых расширениях теряется выразительность. [15]