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.
Cite
Text
Naumov and Tao. "Knowing-How Under Uncertainty (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/719Markdown
[Naumov and Tao. "Knowing-How Under Uncertainty (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/naumov2020ijcai-knowing/) doi:10.24963/IJCAI.2020/719BibTeX
@inproceedings{naumov2020ijcai-knowing,
title = {{Knowing-How Under Uncertainty (Extended Abstract)}},
author = {Naumov, Pavel and Tao, Jia},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2020},
pages = {5120-5124},
doi = {10.24963/IJCAI.2020/719},
url = {https://mlanthology.org/ijcai/2020/naumov2020ijcai-knowing/}
}