IJCAI 2020poster0 citations
Knowing-How under Uncertainty (Extended Abstract)
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.
Knowledge Representation and Reasoning: Logics for Knowledge RepresentationKnowledge Representation and Reasoning: Knowledge Representation and Game TheorySocial ChoiceKnowledge Representation and Reasoning: Reasoning about Knowledge and Belief
BibTeX
@inproceedings{ijcai2020p719,
title = {Knowing-How under Uncertainty (Extended Abstract)},
author = {Naumov, Pavel and Tao, Jia},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-20}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Christian Bessiere},
pages = {5120--5124},
year = {2020},
month = {7},
note = {Journal track},
doi = {10.24963/ijcai.2020/719},
url = {https://doi.org/10.24963/ijcai.2020/719},
}