|
Вестник НГУ. Серия: Математика, механика, информатика, 2011, том 11, выпуск 4, страницы 78–93
(Mi vngu102)
|
|
|
|
О вычислительных аспектах максимальной специфичности в вероятностном объяснении
С. О. Сперанский Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких естественных ограничениях; исследован вопрос о возможности равномерного нахождения разрешающих процедур в случае упомянутых ограничений; оценена сложность введённых подклассов мер в арифметической иерархии.
Ключевые слова:
индуктивная и вероятностная логика, максимальная специфичность, разрешимость, вычислимость, сложность.
Поступила в редакцию: 04.09.2010
Образец цитирования:
С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu102 https://www.mathnet.ru/rus/vngu/v11/i4/p78
|
Статистика просмотров: |
Страница аннотации: | 285 | PDF полного текста: | 122 | Список литературы: | 56 | Первая страница: | 7 |
|