Knowing-how under uncertainty

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.

[1]  Jan M. Broersen,et al.  A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing' , 2008, DEON.

[2]  Aviad Heifetz,et al.  The Modal Logic of Probability , 1998, TARK.

[3]  Andreas Herzig,et al.  A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.

[4]  Marc Pauly,et al.  Logic for social software , 2000 .

[5]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[6]  Pavel Naumov,et al.  Calculus of cooperation and game-based reasoning about protocol privacy , 2012, TOCL.

[7]  Aniello Murano,et al.  Reasoning About Strategies: On the Model-Checking Problem , 2011, ArXiv.

[8]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[9]  Pavel Naumov,et al.  Together We Know How to Achieve: An Epistemic Logic of Know-How , 2017, TARK.

[10]  Subhash Khot,et al.  Hardness of Embedding Metric Spaces of Equal Size , 2007, APPROX-RANDOM.

[11]  W. Rudin.  Principles of mathematical analysis , 1964 .

[12]  Stefano Borgo,et al.  Coalitions in Action Logic , 2007, IJCAI.

[13]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[14]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[15]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[16]  Matthew A. Jaro,et al.  Advances in Record-Linkage Methodology as Applied to Matching the 1985 Census of Tampa, Florida , 1989 .

[17]  Wojciech Jamroga,et al.  Constructive knowledge: what agents can achieve under imperfect information , 2007, J. Appl. Non Class. Logics.

[18]  D. Burago,et al.  A Course in Metric Geometry , 2001 .

[19]  Martín Abadi,et al.  Decidability and Expressiveness for First-Order Logics of Probability , 1994, Inf. Comput..

[20]  Valentin Goranko,et al.  Socially Friendly and Group Protecting Coalition Logics , 2018, AAMAS.

[21]  Michael Wooldridge,et al.  On the logic of cooperation and propositional control , 2005, Artif. Intell..

[22]  Aniello Murano,et al.  Strategy logic with imperfect information , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[23]  Aniello Murano,et al.  Graded modalities in Strategy Logic , 2018, Inf. Comput..

[24]  John F. Horty,et al.  ACTION TYPES IN STIT SEMANTICS , 2017, The Review of Symbolic Logic.

[25]  Andreas Herzig,et al.  What groups do, can do, and know they can do: an analysis in normal modal logics , 2009, J. Appl. Non Class. Logics.

[26]  Fred J. Damerau,et al.  A technique for computer detection and correction of spelling errors , 1964, CACM.

[27]  Nuel D. Belnap,et al.  Seeing To it That: A Canonical Form for Agentives , 2008 .

[28]  Pavel Naumov,et al.  Strategic Coalitions with Perfect Recall , 2018, AAAI.

[29]  Yanjing Wang,et al.  A Logic of Knowing How , 2015, LORI.

[30]  Elena Deza,et al.  Dictionary of distances , 2006 .

[31]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[32]  E. Krause,et al.  Taxicab Geometry: An Adventure in Non-Euclidean Geometry , 1987 .

[33]  Pavel Naumov,et al.  Second-Order Know-How Strategies , 2018, AAMAS.

[34]  Grigory K. Olkhovikov,et al.  Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic , 2019, Stud Logica.

[35]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[36]  Yanjing Wang,et al.  Strategically knowing how , 2017, IJCAI.

[37]  Wojciech Jamroga,et al.  Strategic games and truly playable effectivity functions , 2013, Autonomous Agents and Multi-Agent Systems.

[38]  Valentin Goranko,et al.  Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..

[39]  V. Goranko.  Coalition games and alternating temporal logics , 2001 .

[40]  Yanjing Wang.  A logic of goal-directed knowing how , 2016, Synthese.

[41]  Michael Wooldridge,et al.  Reasoning about action and cooperation , 2006, AAMAS '06.

[42]  Frank Wolter,et al.  Axiomatizing Distance Logics , 2002, J. Appl. Non Class. Logics.

[43]  Francesco Belardinelli,et al.  Reasoning about Knowledge and Strategies: Epistemic Strategy Logic , 2014, SR.

[44]  Natasha Alechina,et al.  Coalition logic with individual, distributed and common knowledge1 , 2018, J. Log. Comput..

[45]  Michael Wooldridge,et al.  Reasoning about coalitional games , 2009, Artif. Intell..

[46]  J. Horty.  Agency and Deontic Logic , 2001 .

[47]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..

[48]  Frank Wolter,et al.  A modal logic framework for reasoning about comparative distances and topology , 2010, Ann. Pure Appl. Log..

[49]  Wojciech Jamroga,et al.  Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot , 2017, AAMAS.

[50]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[51]  Pavel Naumov,et al.  Logic of confidence , 2014, Synthese.

[52]  Anthony Stentz,et al.  Planning with imperfect information , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[53]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[54]  Ronen I. Brafman,et al.  Applications of a logic of knowledge to motion planning under uncertainty , 1997, JACM.

[55]  Pavel Naumov,et al.  Strategic Coalitions in Systems with Catastrophic Failures , 2018, KR.

[56]  Pavel Naumov,et al.  Coalition Power in Epistemic Transition Systems , 2017, AAMAS.

[57]  Philippe Balbiani,et al.  Group announcement logic , 2010, J. Appl. Log..