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)
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
[Article contains additional citations not shown here]
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