Knowing-How under Uncertainty (extended abstract)
Knowing-How under Uncertainty (extended abstract)
Logical systems containing knowledge and know-how modalities have been investigated in several recent works. Independently, epistemic modal logics in which every knowledge modality is labeled with a degree of uncertainty have been proposed. This article combines these two research lines by introducing a bimodal logic containing knowledge and know-how modalities, both labeled with a degree of uncertainty. The main technical results are soundness, completeness, and incompleteness of the proposed logical system with respect to two classes of semantics.
5120-5124
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
July 2020
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel and Tao, Jia
(2020)
Knowing-How under Uncertainty (extended abstract).
In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Journal track.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Logical systems containing knowledge and know-how modalities have been investigated in several recent works. Independently, epistemic modal logics in which every knowledge modality is labeled with a degree of uncertainty have been proposed. This article combines these two research lines by introducing a bimodal logic containing knowledge and know-how modalities, both labeled with a degree of uncertainty. The main technical results are soundness, completeness, and incompleteness of the proposed logical system with respect to two classes of semantics.
Text
2020-ijcai-nt
- Version of Record
More information
Published date: July 2020
Identifiers
Local EPrints ID: 457229
URI: http://eprints.soton.ac.uk/id/eprint/457229
PURE UUID: 30587b53-49c2-4270-8daf-9cf30bae0a46
Catalogue record
Date deposited: 26 May 2022 16:54
Last modified: 17 Mar 2024 04:10
Export record
Contributors
Author:
Pavel Naumov
Author:
Jia Tao
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics