Cтраница 1
Автоэпистемические логики имеют своим предметом формализацию интроспективных и идеально разумных рассуждений об исходном множестве предположений. [1]
Различные автоэпистемические логики получаются в зависимости от выбора позитивной и негативной интроспекции. Пшимусинский показал также, что при таком определении расширения все перечисленные недостатки устраняются, и что с помощью трансформации Гельфонда между нормальными логическими программами и автоэпистемическими теориями ( где not L понимается как - LL), приведенное расширение эквивалентно фундированной семантике. [2]
Эту автоэпистемическую логику можно рассматривать как результат реконструкции немонотонной логики Мак-Дермотта ( см. разд. [3]
Благодаря эквивалентности автоэпистемической логики и WFSX, устранение противоречий в этой логике эквивалентно устранению противоречий для логического программирования. [4]
Области применения автоэпистемической логики весьма разнообразны. Она позволяет характеризовать заключения, ожидаемые от системы, способной к совершенной интроспекции. [5]
Подчеркиваем, что автоэпистемическая логика формализует идеально разумные рассуждения и является, таким образом, моделью способности к совершенному интроспективному рассуждению. В некоторых приложениях оказывается, что свойства формализуемого знания не требуют применения полных и выполнимых логических способностей. [6]
Пшимусинский выделяет четыре недостатка автоэпистемической логики Мура. [7]
Между тем эффективное применение автоэпистемической логики ограничено возможностями языка высказываний и громоздкостью разрешающей процедуры. [8]
Отметим, наконец, что автоэпистемическая логика и логики умолчаний ( см. разд. [9]
Описанная в § 4.6.2 семантика автоэпистемической логики имеет то достоинство, что используя ее, можно характеризовать предположения субъекта, не ависи-мо от того, разумен он или нет. [10]
Даже те теории, у которых существуют устойчивые расширения, в автоэпистемической логике Мура не всегда получают естественно ожидаемую семантику. [11]
Для того, чтобы преодолеть перечисленные недостатки, Пшиму-синский ввел общее понятие автоэпистемических логик замкнутых убеждений, и представил автоэпистемические логики очерчивания как важный частный случай. Понятие автоэпистемической логики замкнутых убеждений естественным образом возникает как обобщение автоэпистемической логики Мура. А может быть заменена на Т CWA - А, и поэтому устойчивые расширения могут рассматриваться как частный случай расширений, основанных на общих понятиях позитивной и негативной интроспекции. [12]
Для того, чтобы преодолеть перечисленные недостатки, Пшиму-синский ввел общее понятие автоэпистемических логик замкнутых убеждений, и представил автоэпистемические логики очерчивания как важный частный случай. Понятие автоэпистемической логики замкнутых убеждений естественным образом возникает как обобщение автоэпистемической логики Мура. А может быть заменена на Т CWA - А, и поэтому устойчивые расширения могут рассматриваться как частный случай расширений, основанных на общих понятиях позитивной и негативной интроспекции. [13]
В этой главе рассмотрены различные способы применения логического программирования как средства для представления знаний и для выполнения ряда форм вывода: вывода по противоречивой базе знаний, вывода для автоэпистемических логик, вывода по умолчанию. [14]
Теорема 8.7. Для любого множества замкнутых формул А авто-эпистемической логики имеется эффективно конструктивная теория с умолчаниями ( D, F ] и обратно, для каждой теории с умолчаниями ( - D F) имеется эффективно конструктивное множество замкнутых формул А автоэпистемической логики такое, что Е является расширением теории с умолчаниями тогда и только тогда, когда оно является подмножеством теории первого порядка для расширений, строго основанных на А. [15]