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

2.50
Hdl Handle:
http://hdl.handle.net/2173/96179
Title:
Logic of visibility, perception, and knowledge and admissible inference rules
Authors:
Golovanov, M. I.; Kosheleva, A. V.; Rybakov, Vladimir V.
Citation:
Logic journal of IGPL, 2005, vol. 13, no. 2, pp. 201-209
Publisher:
Oxford University Press
Publication Date:
Mar-2005
URI:
http://hdl.handle.net/2173/96179
DOI:
10.1093/jigpal/jzi014
Additional Links:
http://jigpal.oxfordjournals.org/
Abstract:
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.
Type:
Article
Language:
en
Description:
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
ISSN:
1367-0751; 1368-9894

Full metadata record

DC FieldValue Language
dc.contributor.authorGolovanov, M. I.en
dc.contributor.authorKosheleva, A. V.en
dc.contributor.authorRybakov, Vladimir V.en
dc.date.accessioned2010-04-09T13:42:55Z-
dc.date.available2010-04-09T13:42:55Z-
dc.date.issued2005-03-
dc.identifier.citationLogic journal of IGPL, 2005, vol. 13, no. 2, pp. 201-209en
dc.identifier.issn1367-0751-
dc.identifier.issn1368-9894-
dc.identifier.doi10.1093/jigpal/jzi014-
dc.identifier.urihttp://hdl.handle.net/2173/96179-
dc.descriptionThis 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/201en
dc.description.abstractWe 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.en
dc.language.isoenen
dc.publisherOxford University Pressen
dc.relation.urlhttp://jigpal.oxfordjournals.org/en
dc.titleLogic of visibility, perception, and knowledge and admissible inference rulesen
dc.typeArticleen
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.