#### Filter Results:

- Full text PDF available (44)

#### Publication Year

1993

2017

- This year (1)
- Last 5 years (14)
- Last 10 years (24)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
- AAAI/IAAI
- 2000

We propose a framework for robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model allows one to partially specify a control program in a highlevel, logical language, but also provides an interpreter that— given a logical axiomatization of a domain—will determine… (More)

Imagine a robot that is executing a program on line and insofar as it is reasonable to do so it wishes to continue with this on line program execution no matter what exoge nous events occur in the world Execution monitoring is the robot s process of observ ing the world for discrepancies between the actual world and its internal representation of it and… (More)

- Mikhail Soutchanski
- IJCAI
- 2001

We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line interpreter proposed in [Boutilier et al., 2000]. We introduce two new search control operators that can be mentioned in Golog programs: the on-line interpreter takes advantage of… (More)

- Yilan Gu, Mikhail Soutchanski
- Annals of Mathematics and Artificial Intelligence
- 2010

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that can be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in… (More)

We propose a domain independent execution monitoring technique for a class of restartable logic-based temporal programs. The execution of a temporal program is interleaved with monitoring. Given a remaining part of a program, an execution trace, and the current time, if at this time no plan satisfying temporal constraints can be generated from the remaining… (More)

We propose a logical framework for robot programming which allows the seamless integration of explicit agent programming with planning and with monitoring of a plan when it is executed in the real world. Specifically, the Golog model allows one to partially specify a control program in a highlevel, logical language, and provides an interpreter that, given a… (More)

- Fangzhen Lin, Mikhail Soutchanski
- AAAI Spring Symposium: Logical Formalizations of…
- 2011

It has been argued that causal rules are necessary for representing both implicit side-effects of actions and action qualifications, and there have been a number different approaches for representing causal rules in the area of formal theories of actions. These different approaches in general agree on rules without cycles. However, they differ on causal… (More)

- Yilan Gu, Mikhail Soutchanski
- IJCAI
- 2007

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that can be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in the… (More)

- Yilan Gu, Mikhail Soutchanski
- AAAI
- 2008

We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to more compact and modular basic action theories (BATs) for reasoning about actions than currently possible. We compare our representation with Reiter’s BATs and prove that our… (More)

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in… (More)