| Poole, D. (1995b). Sensing and acting in the independent choice logic. In Working Notes AAAI Spring Sympoisium 1995 -- Extending Theories of Actions: Formal Tehory and Practical Applications. |
....by the InteRRaP architecture. ffl Robustness is supported in two ways: 1. through the use of simple defaults at lower layers in our architecture that may later be overridden by more considered policies at a higher layer, and 2. by making abductive assumptions in the face of uncertainty (as in [Poole, 1995b] the uncertainty may arise from external events, faulty sensors, or unreliable actions. ffl Responsiveness is supported: 1. by the layered architecture that can combine deliberation at higher layers with reactivity at the lowest layer, 2. by an event based means of reasoning about change that ....
Poole, D. (1995b). Sensing and acting in the independent choice logic. In Working Notes AAAI Spring Sympoisium 1995 -- Extending Theories of Actions: Formal Tehory and Practical Applications.
....be ignorant (or unsure) of what other agents will do, or be unsure about what values it will receive from the environment. For a general discussion of these issues, and a way to handle them within the logic presented here (by allowing independent choices made by different agents and nature) see [Poole, 1995] . 4.1 Noisy sensors and actuators The above axiomatisation showed how to model partial information about the environment (the agent had very limited sensing ability) In this section we sketch a way to model noisy sensors and actuators using a continuous version of probabilistic Horn abduction ....
..... 4. 1 Noisy sensors and actuators The above axiomatisation showed how to model partial information about the environment (the agent had very limited sensing ability) In this section we sketch a way to model noisy sensors and actuators using a continuous version of probabilistic Horn abduction [Poole, 1993; 1995] . The general idea of probabilistic Horn abduction is that there is a probability distribution over possible world generated by unconditionally independent random variables. A logic program gives the consequences of the random choices for each world. Formally, a possible world selects one value ....
[Article contains additional citation context not shown here]
D. Poole. Sensing and acting in the independent choice logic. In Working Notes AAAI Spring Symposium 1995 --- Extending Theories of Actions: Formal Theory and Practical Applications, pages ??--??, ftp:// ftp.cs.ubc.ca/ftp/local/poole/papers/actions.ps.gz, 1995.
.... diagram In Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18 20, 1995 we don t need the influence diagram and the rules) as well as being interesting in its own right as a mix of logic and decision game theory [Poole, 1995b] The meshing is also easily described in this framework in terms of explanations . The ICL also naturally has a way to include logical variables, and thus we allow for parametrizable influence diagrams (see [Poole, 1993b] for a description of the purely probabilistic case) 2 The Independent ....
....1988] can be modelled by C 0 and F , in the same way that probabilistic Horn abduction [Poole, 1993b] models Bayesian networks. What is added is a richer language for F , with negation as failure and fewer restrictions on the form of the rules [Poole, 1995a] as well as agents with goals [Poole, 1995b] The language is closely related to influence diagrams [Howard and Matheson, 1981] Elements of C 1 correspond to decision nodes in influence diagrams, with (A) corresponding to the parents of the decision node (these represent information availability when making the decision) The value ....
D. Poole. Sensing and acting in the independent choice logic. In Working Notes AAAI Spring Symposium 1995 --- Extending Theories of Actions: Formal Theory and Practical Applications, ftp:// ftp.cs.ubc.ca/ftp/local/poole/papers/actions.ps.gz, 1995.
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