|
|
Международная школа-семинар "Синтаксис и семантика логических систем"
11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
О метриках многозначных логических высказываний и приложения метрик в базах знаний
А. А. Викентьев Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
|
Количество просмотров: |
Эта страница: | 73 | Материалы: | 3 |
|
Аннотация:
В статье рассматриваются модели и формулы многозначных логик, имеющие различные применения в теории моделей и базах знаний, и, в частности
для записи многозначных высказываний экспертов (логической базы знаний). С использованием методов математической логики и теории моделей для многозначных логик получены теоремы о богатых совокупностях формул (типов) без предположения стабильности (полной, метрической) многозначной модели, а с условием на класс ее расширений с той же (непрерывной) теорией рассмотрены и ортогональные случаи. Далее
находятся «расстояния» на формулах (высказываниях) и степени (меры)
нетривиальности (недостоверности) формулы как мера неверности формулы на классе рассматриваемых многозначных моделей (возможных миров). Изучены свойства введенных расстояний и мер нетривиальности (недостоверности) формул на классах многозначных моделей. Предложены различные способы
задания на классах эквивалентных формул метрик, степеней нетривиальности (недостоверности) и установлены для них полезные свойства, которые используются в алгоритмах кластеризации, построении решающих функций, распознавании образов и вопроса об эталонах в искусственном интеллекте. Из этого дается описание всевозможных метрик при фиксированном классе конечнозначных моделей фиксированной многозначной логики и/или ее ослабления (уменьшением списка аксиом).
Дополнительные материалы:
Викентьев.pdf (1.7 Mb)
|
|