David Poole  Home/Search
Context Related
| ep.liu.se/ea/cis/1...is98008revise2.ps cs.ubc.ca/spider/poole/abstra...sitc.ps Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: ep.liu.se/ea/cis/1998/008/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper shows how to combine decision theory and logical representations of actions in a manner that seems natural for both. In particular, we assume an axiomatization of the domain in the situation calculus, using what is essentially Reiter's solution to the frame problem, in terms of the completion of the axioms defining the state change. Uncertainty is handled using the independent choice logic, which allows for independent choices and a logic program that gives the consequences of the... (Update)
Context of citations to this paper: More
...theory of MDPs within the GOLOG framework. The integration of decision theory into the situation calculus has also been investigated in [14]. The work of [1] on noisy sensors and effectors may seem like an alternative to our treatment of probabilistic outcomes. However, the...
Cited by: More
Turning High-Level Plans into Robot Programs in Uncertain.. - Grosskreutz, Lakemeyer (2000) (Correct)
Similar documents (at the sentence level): More
44.1%: Decision Theory, the Situation Calculus, and Conditional Plans - Poole (1998) (Correct)
39.0%: Decision Theory, the Situation Calculus and Conditional Plans - Poole (1998) (Correct)
11.2%: A Framework for Decision-Theoretic Planning I: Combining the.. - Poole (Correct)
Active bibliography (related documents): More All
0.6: The Independent Choice Logic for modelling multiple agents under.. - Poole (1997) (Correct)
0.5: What is the Plausibility of Probability? - Arnborg, Sjödin (2001) (Correct)
0.5: On Ability to Autonomously Execute Agent Programs with .. - Sardina, De Giacomo.. (Correct)
Similar documents based on text: More All
2.2: Anchoring symbolic object descriptions to sensor data.. - Coradeschi, al. (1999) (Correct)
2.0: Slicing of Constraint Logic Programs - Szilágyi, Gyimóthy.. (1998) (Correct)
1.9: On the Automated Classification of Web Sites - Pierre (2001) (Correct)
BibTeX entry: (Update)
David Poole, `Decision theory, the situation calculus and conditional plans', Linkoping Electronic Articles in Computer and Information Science, 3(8), (1998). URL: http://www.ep.liu.se/ea/cis/1998/008/. http://citeseer.ist.psu.edu/article/poole98decision.html More
@misc{ poole98decision,
author = "D. Poole",
title = "Decision theory, the situation calculus and conditional plans",
text = "David Poole, `Decision theory, the situation calculus and conditional plans',
Linkoping Electronic Articles in Computer and Information Science, 3(8),
(1998). URL: http://www.ep.liu.se/ea/cis/1998/008/.",
year = "1998",
url = "citeseer.ist.psu.edu/article/poole98decision.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
1364 A robust layered control system for a mobile robot (context) - Brooks - 1986
891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
625 A Mathematical Theory of Evidence (context) - Shafer - 1976
458 Intelligence without reason - Brooks - 1991
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
366 The Sciences of the Artificial (context) - Simon - 1996
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
291 Markov Decision Processes: Discrete Stochastic Dynamic Progr.. (context) - Puterman - 1994
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
253 The Foundation of Statistics (context) - Savage - 1972
234 Dynamic Programming (context) - Bellman - 1957
216 The optimal Control of Partially Observable Markov processes (context) - Sondik - 1971
199 A model for reasoning about persistence and causation (context) - Dean, Kanazawa - 1989
187 Planning and acting in partially observable stochastic domai.. - Kaelbling, Littman et al. - 1996
182 Theory of Games and Economic Behavior (context) - Von Neumann, Morgenstern - 1953
182 Logic for Problem Solving (context) - Kowalski - 1979
154 Introduction to Artificial Intelligence (context) - Charniak, McDermott - 1985
146 An algorithm for probabilistic planning - Kushmerick, Hanks et al. - 1995
140 Probabilistic planning with information gathering and contin.. - Draper, Hanks et al. - 1994
140 Conditional nonlinear planning - Peot, Smith - 1992
138 Probabilistic Horn abduction and Bayesian networks - Poole - 1993
137 Do the Right Thing: Studies in Limited Rationality (context) - Russell, Wefald - 1991
136 Exploiting structure in policy construction - Boutilier, Dearden et al. - 1995
115 What is planning in the presence of sensing (context) - Levesque - 1996
106 A survey of partially observable Markov decision processes: .. (context) - Monahan - 1982
105 Solving the Frame Problem: A Mathematical Investigation of t.. (context) - Shanahan - 1997
96 Context-specific independence in Bayesian networks - Boutilier, Friedman et al. - 1996
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
93 Reasoning about beliefs and actions under computational reso.. - Horvitz - 1989
87 The transferable belief model (context) - Smets, Kennes - 1994
85 Achieving several goals simultaneously (context) - Waldinger - 1977
78 Acyclic programs (context) - Apt, Bezem - 1991
78 Game Theory: Analysis of Conflict (context) - Myerson - 1991
77 Provably bounded-optimal agents - Russell, Subramanian - 1995
75 Provably correct theories of action - Lin, Shoham - 1995
61 Introduction to Dynamic Systems: Theory (context) - Luenberger - 1979
60 Computing optimal policies for partially observable decision.. - Boutilier, Poole - 1996
58 Causal diagrams for empirical research - Pearl - 1995
54 A situated view of representation and control - Rosenschein, Kaelbling - 1995
53 Probabilistic propositional planning: Representations and co.. - Littman - 1997
49 Utility models for goal-directed decision-theoretic planners - Haddawy, Hanks - 1993
43 Decision theory and artificial intelligence II: The hungry m.. (context) - Feldman, Sproull - 1975
40 The independent choice logic for modelling multiple agents u.. - Poole
38 Efficient decisiontheoretic planning: Techniques and empiric.. - Haddawy, Doan et al. - 1995
36 and adversaries (context) - Halpern, Tuttle - 1993
36 Logic and artificial intelligence (context) - Nilsson - 1991
35 Rationality and intelligence - Russell - 1997
32 A survey of algorithmic methods for partially observable Mar.. (context) - Lovejoy - 1991
31 Good Thinking: The foundations of Probability and Its Applic.. (context) - Good - 1983
26 Intelligent Planning: A Decomposition and Abstraction-Based .. (context) - Yang - 1997
25 Constraint nets: A semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
24 Computational Intelligence: A Logical Approach (context) - Poole, Mackworth et al. - 1998
23 Probabilistic partial evaluation: Exploiting rule structure .. - Poole
21 A logical account of the common sense informatic situation f.. - Shanahan - 1998
21 Natural actions (context) - Reiter - 1996
20 High-level planning and control with incomplete information .. - Geffner, Bonet - 1998
20 Logic programming for robot control - Poole - 1995
18 Reasoning about noisy sensors and effectors in the situation.. - Bacchus, Halpern et al. - 1998
13 Game theory and political theory: An introduction (context) - Ordeshook - 1986
10 Abducing through negation as failure: stable models in the I.. (context) - Poole - 1998
7 About updating (context) - Smets - 1991
6 A framework for decision-theoretic planning I: Combining the.. - Poole - 1996
6 A model approximation scheme for planning in partially obser.. - Zhang, Liu - 1997
2 The vulnerability of the transferable belief model to Dutch .. (context) - Snow - 1998
2 What robots can do: robot programs and effective achievabili.. - Lin, Levesque - 1998
1 Features and Fluents: The Representation of Knowedge about D.. (context) - Sandewall - 1994
Documents on the same site (http://www.ep.liu.se/ea/cis/1998/008/):
Decision Theory, the Situation Calculus, and Conditional Plans - Poole (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC