SLAP: Specification logic of actions with probability

A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the paper is the formulation of the decision procedure: a tableau system which appeals to solving systems of linear equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of linear equations are generated and checked for feasibility. Proofs of soundness, completeness and termination of the decision procedure are provided.

[1]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[2]  Thomas Lukasiewicz,et al.  Reasoning about actions with sensing under qualitative and probabilistic uncertainty , 2004, TOCL.

[3]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[4]  Jeanne Ferrante,et al.  A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..

[5]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[6]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[7]  Blai Bonet,et al.  Planning and Control in Artificial Intelligence: A Unifying Perspective , 2001, Applied Intelligence.

[8]  David Poole,et al.  Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..

[9]  L. L. Dines.  Systems of Linear Inequalities , 1919 .

[10]  Daniel Kroening,et al.  Decision Procedures - An Algorithmic Point of View , 2008, Texts in Theoretical Computer Science. An EATCS Series.

[11]  W. Lovejoy.  A survey of algorithmic methods for partially observed Markov decision processes , 1991 .

[12]  Gavin Rens.  A belief-desire-intention architechture with a logic-based planner for agents in stochastic domains , 2010 .

[13]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[14]  Eyal Amir,et al.  Probabilistic Modal Logic , 2007, AAAI.

[15]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[16]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[17]  R. Bellman.  A Markovian Decision Process , 1957 .

[18]  George B. Dantzig,et al.  Linear programming and extensions , 1965 .

[19]  Sally Popkorn.  First Steps in Modal Logic , 1995 .

[20]  Gerhard Lakemeyer,et al.  On the Logical Specification of Probabilistic Transition Models , 2013 .

[21]  W. Bledsoe.  A new method for proving certain Presburger formulas , 1975, IJCAI 1975.

[22]  George E. Monahan,et al.  A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 2007 .

[23]  A. Chagrov,et al.  Modal Logic (Oxford Logic Guides, vol. 35) , 1997 .

[24]  Robert E. Shostak,et al.  On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.

[25]  G. Monahan.  State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 1982 .

[26]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[27]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[28]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[29]  Thomas Käufl,et al.  Reasoning about Systems of Linear Inequalities , 1988, CADE.

[30]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[31]  R. Bellman,et al.  Dynamic Programming and Markov Processes , 1960 .

[32]  Th. Motzkin.  Beiträge zur Theorie der linearen Ungleichungen , 1936 .

[33]  Gai CarSO.  A Logic for Reasoning about Probabilities * , 2004 .

[34]  Gerhard Lakemeyer,et al.  ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.

[35]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.