Formalisms for agents reasoning with stochastic actions and perceptions.
暂无分享,去创建一个
[1] Andreas Herzig,et al. Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..
[2] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[3] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[4] Craig Boutilier,et al. Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations , 1996, AAAI/IAAI, Vol. 2.
[5] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[6] Jeanne Ferrante,et al. A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..
[7] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[8] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[9] Leslie Pack Kaelbling,et al. Acting Optimally in Partially Observable Stochastic Domains , 1994, AAAI.
[10] Adnan Darwiche. Bayesian networks , 2010, Commun. ACM.
[11] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[12] Reid G. Simmons,et al. Point-Based POMDP Algorithms: Improved Analysis and Implementation , 2005, UAI.
[13] Thomas Käufl,et al. Reasoning about Systems of Linear Inequalities , 1988, CADE.
[14] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[15] Raymond Reiter,et al. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .
[16] Rajeev Goré,et al. Tableau Methods for Modal and Temporal Logics , 1999 .
[17] Manfred Jaeger,et al. A Logic for Default Reasoning About Probabilities , 1994, UAI.
[18] Joelle Pineau,et al. Tractable planning under uncertainty: exploiting structure , 2004 .
[19] Guy Shani,et al. Scaling Up: Solving POMDPs through Value Based Clustering , 2007, AAAI.
[20] Scott Sanner,et al. Symbolic Dynamic Programming for First-order POMDPs , 2010, AAAI.
[21] Th. Motzkin. Beiträge zur Theorie der linearen Ungleichungen , 1936 .
[22] Chenggang Wang,et al. Planning with POMDPs using a compact, logic-based representation , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).
[23] Zhisheng Huang,et al. ALX, an Action Logic for Agents with Bounded Rationality , 1996, Artif. Intell..
[24] Barteld P. Kooi,et al. Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..
[25] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[26] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[27] George B. Dantzig,et al. Linear programming and extensions , 1965 .
[28] Joseph Y. Halpern,et al. Random Worlds and Maximum Entropy , 1994, J. Artif. Intell. Res..
[29] David Poole,et al. The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.
[30] David Poole,et al. Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..
[31] Edward J. Sondik,et al. The Optimal Control of Partially Observable Markov Processes over a Finite Horizon , 1973, Oper. Res..
[32] Helmut Prendinger,et al. Reasoning about action and change , 1996, J. Log. Lang. Inf..
[33] Gabriele Kern-Isberner,et al. Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents , 2001 .
[34] Ronald Fagin,et al. A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[35] Hooman Samani,et al. Cognitive Robotics , 2015, MIWAI.
[36] Sally Popkorn. First Steps in Modal Logic , 1995 .
[37] Gerhard Lakemeyer,et al. On the Logical Specification of Probabilistic Transition Models , 2013 .
[38] L. L. Dines. Systems of Linear Inequalities , 1919 .
[39] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[40] W. Bledsoe. A new method for proving certain Presburger formulas , 1975, IJCAI 1975.
[41] Gerhard Lakemeyer,et al. Cognitive Robotics , 2008, Handbook of Knowledge Representation.
[42] Jacques Wainer,et al. Modeling Action, Knowledge and Control , 1998, ECAI.
[43] A. Seidenberg. A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .
[44] R. Bellman. A Markovian Decision Process , 1957 .
[45] Alexander Ferrein,et al. A Logic for Reasoning about Actions and Explicit Observations , 2010, Australasian Conference on Artificial Intelligence.
[46] J.-J. Ch. Meyer,et al. Dynamic logic for reasoning about actions and agents , 1999 .
[47] Moti Schneider,et al. A stochastic model of actions and plans for anytime planning under uncertainty , 1995, Int. J. Intell. Syst..
[48] Hector J. Levesque,et al. Knowledge Representation and Reasoning , 2004 .
[49] Gerhard Lakemeyer,et al. SLAP: Specification logic of actions with probability , 2014, J. Appl. Log..
[50] W. Lovejoy. A survey of algorithmic methods for partially observed Markov decision processes , 1991 .
[51] L Poole David,et al. Artificial Intelligence: Foundations of Computational Agents , 2010 .
[52] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[53] Nils J. Nilsson,et al. Probabilistic Logic * , 2022 .
[54] Joseph Y. Halpern,et al. Forming Beliefs about a Changing World , 1994, AAAI.
[55] Joelle Pineau,et al. Point-based value iteration: An anytime algorithm for POMDPs , 2003, IJCAI.
[56] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[57] Maurice Bruynooghe,et al. Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models , 2005, BNAIC.
[58] Craig Boutilier,et al. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..
[59] Joshua Sack,et al. Extending probabilistic dynamic epistemic logic , 2009, Synthese.
[60] Gavin Rens. A belief-desire-intention architechture with a logic-based planner for agents in stochastic domains , 2010 .
[61] Johan van Benthem,et al. Dynamic Update with Probabilities , 2009, Stud Logica.
[62] Eyal Amir,et al. Probabilistic Modal Logic , 2007, AAAI.
[63] Gerhard Lakemeyer,et al. A Logic for Specifying Agent Actions and Observations with Probability , 2012, STAIRS.
[64] Gerhard Lakemeyer,et al. A Logic for Specifying Stochastic Actions and Observations , 2014, FoIKS.
[65] Robert Kowalski. Computational Logic and Human Thinking: Truth , 2011 .
[66] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[67] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.
[68] G. Sacks. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .
[69] Sven Koenig,et al. Agent-Centered Search , 2001, AI Mag..
[70] Leslie Pack Kaelbling,et al. Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..
[71] Michael Zakharyaschev,et al. Modal Logic , 1997, Oxford logic guides.
[72] Wiebe van der Hoek,et al. Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.
[73] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .
[74] Mordechai Ben-Ari,et al. Mathematical Logic for Computer Science , 2012, Springer London.
[75] Hector J. Levesque,et al. The Language of First-Order Logic , 2004 .
[76] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[77] Daniel Kroening,et al. Decision Procedures - An Algorithmic Point of View , 2008, Texts in Theoretical Computer Science. An EATCS Series.
[78] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[79] Robert E. Shostak,et al. On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.
[80] E. T. Jaynes,et al. Where do we Stand on Maximum Entropy , 1979 .
[81] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[82] Wolfram Burgard,et al. Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) , 2005 .
[83] George E. Monahan,et al. A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 2007 .
[84] Maurizio Lenzerini,et al. PDL-based framework for reasoning about actions , 1995, AI*IA.
[85] Thomas Lukasiewicz,et al. Reasoning about actions with sensing under qualitative and probabilistic uncertainty , 2004, TOCL.
[86] Joelle Pineau,et al. Online Planning Algorithms for POMDPs , 2008, J. Artif. Intell. Res..
[87] Shlomo Zilberstein,et al. Solving POMDPs using quadratically constrained linear programs , 2006, AAMAS '06.