Knowing-how under uncertainty

DOI10.1016/J.ARTINT.2019.06.007zbMATH Open1478.03027OpenAlexW2955911323MaRDI QIDQ2289005FDOQ2289005

Jia Tao, Pavel Naumov

Publication date: 20 January 2020

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2019.06.007

zbMATH Keywords

uncertaintymetric spaceknowledgelogicaxiomatizationstrategy

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in metric geometry
• Alternating-time temporal logic
• The deliberative stit: A study of action, omission, ability, and obligation
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Modal Logic for Coalitional Power in Games
• Group announcement logic
• Reasoning About Strategies
• Some first-order probability logics
• Strategy logic
• Decidability and expressiveness for first-order logics of probability
• Games in Dynamic-Epistemic Logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Logic of confidence
• Hardness of Embedding Metric Spaces of Equal Size
• A modal logic framework for reasoning about comparative distances and topology
• Constructive knowledge: what agents can achieve under imperfect information
• Complete axiomatization and decidability of alternating-time temporal logic
• Axiomatizing Distance Logics
• On the logic of cooperation and propositional control
• Reasoning about coalitional games
• Graded modalities in strategy logic
• Together we know how to achieve: an epistemic logic of know-how
• A Logic of Knowing How
• ACTION TYPES IN STIT SEMANTICS
• Applications of a logic of knowledge to motion planning under uncertainty
• Calculus of cooperation and game-based reasoning about protocol privacy

Cited In (8)

• An epistemic logic of blameworthiness
• Planning-based knowing how: a unified approach
• Knowing the price of success
• Epistemic planning: perspectives on the special issue
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• Only knowing with degrees of confidence
• Tableaux for the Logic of Strategically Knowing How
• BISIMULATIONS FOR KNOWING HOW LOGICS

Recommendations

• A methodology for uncertainty in knowledge-based systems 👍 👎
• COPING WITH UNCERTAINTY FOR KNOWLEDGE ACQUISITION AND INFERENCE MECHANISM 👍 👎
• Learning-by-doing under uncertainty 👍 👎
• Knowledge without complete certainty 👍 👎
• (Un)knowability and knowledge iteration 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Knowing-how under uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289005)