Cтраница 2
Для того, чтобы преодолеть перечисленные недостатки, Пшиму-синский ввел общее понятие автоэпистемических логик замкнутых убеждений, и представил автоэпистемические логики очерчивания как важный частный случай. Понятие автоэпистемической логики замкнутых убеждений естественным образом возникает как обобщение автоэпистемической логики Мура. А может быть заменена на Т CWA - А, и поэтому устойчивые расширения могут рассматриваться как частный случай расширений, основанных на общих понятиях позитивной и негативной интроспекции. [16]
Для того, чтобы преодолеть перечисленные недостатки, Пшиму-синский ввел общее понятие автоэпистемических логик замкнутых убеждений, и представил автоэпистемические логики очерчивания как важный частный случай. Понятие автоэпистемической логики замкнутых убеждений естественным образом возникает как обобщение автоэпистемической логики Мура. А может быть заменена на Т CWA - А, и поэтому устойчивые расширения могут рассматриваться как частный случай расширений, основанных на общих понятиях позитивной и негативной интроспекции. [17]
Гельфонда, который предложил обозначать каждую негативную литеру not L логической программы как - BL ( трансформация Гельфонда), т.е. not I / получает эписте-мическое прочтение: Нет повода иметь убеждение в истинности L. Бонатти изучал различные трансформации между литерами с отрицанием по умолчанию и литерами со степенью убеждения belief literals, чтобы показать, как различные виды семантики логических программ могут быть получены из автоэпистемических логик. [18]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [19]