 | Эта статья требует внимания специалиста по информатике . ( Февраль 2009 г. ) |
В логическом программировании , то фундированная семантика является определением того , как мы можем сделать выводы из набора логических правил. В логическом программировании мы даем компьютеру набор фактов и набор «правил вывода» о том, как эти факты соотносятся. Есть несколько разных способов, которыми мы можем захотеть, чтобы компьютер применял эти правила; хорошо обоснованная семантика - один из таких способов.
История [ править ]
Обоснованная семантика была определена Van Gelder et al. в статье 1991 года. [1]
Отношения с другими моделями [ править ]
Обоснованную семантику можно рассматривать как трехзначную версию семантики стабильной модели . [2] Вместо того, чтобы назначать только утверждения истинными или ложными , он также допускает значение, представляющее невежество.
Например, если мы знаем, что
Specimen A is a moth if specimen A does not fly during daylight.
но мы не знаем , действительно ли не образец муха в течение дня, обоснованная семантика присвоит предложение `` образца А является moth`` значения дна , которое не является ни истинным , ни ложным .
Приложения [ править ]
Хорошо обоснованная семантика - это также способ сделать безопасные выводы при наличии противоречивых данных, таких как зашумленные данные, или данных, полученных от разных экспертов, которые могут придерживаться разных мнений. Многие двузначные семантики просто не считают такое состояние проблемы работоспособным. Однако хорошо обоснованная семантика имеет встроенный механизм, позволяющий обойти наличие противоречий и вывести как можно больше двузначных фактов, даже если некоторые последствия могут остаться неизвестными.
Сложность и алгоритмы [ править ]
Самый быстрый из известных алгоритмов вычисления WF-семантики в целом имеет квадратичную сложность. [ необходима цитата ]
Ссылки [ править ]
- ^ А. Ван Гельдер, К. А. Росс и Дж. С. Шлипф. Обоснованная семантика для общих логических программ . Журнал ACM 38 (3) стр. 620–650, 1991
- ^ Przymusinski, Теодор. Хорошо обоснованная семантика совпадает с трехзначной стабильной семантикой . Fundamenta Informaticae XIII стр. 445-463, 1990.
 | Эта статья, посвященная формальным методам, является незавершенной . Вы можете помочь Википедии, расширив ее . |
