Golovanov, M. I. and Kosheleva, A. V. and Rybakov, Vladimir V. (2005) Logic of visibility, perception, and knowledge and admissible inference rules. ISSN 1368-9894Full text not available from this repository.
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 . 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.
|Additional Information:||This metadata relates to an article accepted for publication in Logic Journal of Interest Group in Pure and Applied Logics following peer review. The definitive publisher-authenticated version vol. 13, no. 2, pp. 201-209 is available online at: http://jigpal.oxfordjournals.org/cgi/content/abstract/13/2/201|
|Divisions:||Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology|
|Date Deposited:||09 Apr 2010 13:42|
|Last Modified:||01 Sep 2016 14:00|
Actions (login required)