Гибридная логика
Гибридная логика относится к ряду расширений пропозициональной модальной логики с большей выразительной силой, хотя и меньшей, чем логика первого порядка . В формальной логике существует компромисс между выразительностью и вычислительной гибкостью . История гибридной логики началась с Артура Прайора работы по временной логике . [1]
В отличие от обычной модальной логики, гибридная логика позволяет ссылаться на состояния (возможные миры) в формулах .
Это достигается за счет класса формул, называемых номиналами , которые верны ровно в одном состоянии, и за счет использования оператора @, который определяется следующим образом:
- @i p (т. е . истинно тогда и только тогда, когда p истинно в уникальном состоянии, названном номиналом i состоянии, в котором i истинно).
Существуют гибридные логики с дополнительными или другими операторами, но @ является более или менее стандартным.
Гибридные логики имеют много общего с темпоральными логиками (которые иногда используют номинальные конструкции для обозначения определенных моментов времени) и являются богатым источником идей для исследователей современной модальной логики. Они также имеют приложения в областях логики признаков , теории моделей , теории доказательств и логического анализа естественного языка . Гибридная логика также тесно связана с логикой описания , поскольку использование номиналов позволяет выполнять утверждения ABox , а также более стандартные терминологические TBox рассуждения .
Ссылки [ править ]
- ^ Торбен Браунер (2008). «Гибридная логика» . Стэнфордская энциклопедия философии . Проверено 1 февраля 2011 г.
Дальнейшее чтение [ править ]
- П. Блэкберн. 2000. Представление, рассуждения и реляционные структуры: манифест гибридной логики. Логический журнал IGPL , 8(3):339-365.
Внешние ссылки [ править ]
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |