Logic of visibility, perception, and knowledge and admissible inference rules

Тип публикации: статья из журнала

Год издания: 2005

Идентификатор DOI: 10.1093/jigpal/jzi014

Аннотация: We investigate admissible inference rules for the multi-modal logic VSK+ extending the logic VSK - the logic of Visibility, Perception and Knowledge. The logic VSK has been introduced by M. Wooldridge and A. Lomuscio [21]. VSK was intended for reasoning about properties of computational agents situated in some environment. Admissible rules are important for modelling of logical consequence. We consider these rules for VSK+, the logic of a wise agent (one which knows anything visible). The main result of our paper is the construction of an algorithm which determines admissible inference rules in VSK+. The algorithm is based on the proof of existence of computable bounds on the size of special Kripke 3-frames refuting inadmissible rules.

Ссылки на полный текст

Издание

Журнал: LOGIC JOURNAL OF THE IGPL

Выпуск журнала: Vol. 13, Is. 2

Номера страниц: 201-209

ISSN журнала: 13670751

Место издания: OXFORD

Издатель: OXFORD UNIV PRESS

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.