In group decision making, different experts often think about the same problem in quite different ways. They frequently have different opinions for decision making about the same situation. Using a Bayesian network structure for optimizing problems, different experts who work as a group for projects may have different solutions for indentifying the causal relationships among variables in the BN...

We present a novel theory of action and change capable of dealing with discord between an agent’s beliefs and the results of its sensing. Previous work by Scherl and Levesque [9] and Shapiro et al. [10] have given accounts of iterated belief update and revision, and the ability to deal with mistaken beliefs. However, they assume that all actions, including exogenous actions beyond the agent’s c...

We present a novel theory of action and change capable of dealing with discord between an agent’s beliefs and the results of its sensing. Previous work by Scherl and Levesque [9] and Shapiro et al. [10] have given accounts of iterated belief update and revision, and the ability to deal with mistaken beliefs. However, they assume that all actions, including exogenous actions beyond the agent’s c...

the middle ground between STRIPS and the situation calculus. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. As a trivial consequence of Theorem 4 and Theorem 5 we have the following Corollary. Corollary 1 In the hypotheses of Theorem 5, a value proposition C after A is a consequence of D ii the class of intended models o...

We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of Lin [1995] that is required to account for the ramifications of occurrences. Such patterns are both usefu...

In this invited lecture, I will present a logic-based approach to modeling and engineering processes that arose from work in AI. The approach is based on a logical framework for modeling dynamic domains called the Situation Calculus. It also uses a language called ConGolog for specifying complex processes on top of the Situation Calculus. By using such a logical framework we can provide clear f...

The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with this problem. In this paper, we offer a new approach to belief change associated with performing actions that addresses some of the shortcomings of these approaches. In particular, our approach is based on a well-devel...

Nondeterminism is pervasive in all but the simplest action domains: an agent may flip a coin or pick up a different object than intended, or an action may fail and may fail in different ways. In this paper we provide a qualitative theory of nondeterminism. The account is based on an epistemic extension to the situation calculus that accommodates sensing actions. Our position is that nondetermin...

In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this program. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of certain actions and possibly also how to recover from faulty situations. The general idea is to implem...