Log In Sign Up

Intention as Commitment toward Time

by   Marc van Zee, et al.

In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions. Intentions and beliefs are coherent as long as these assumptions are not violated, i.e. as long as intended actions can be performed such that their preconditions hold as well. The second contribution is the formalization of what-if scenarios: what happens with intentions and beliefs if a new (possibly conflicting) intention is adopted, or a new fact is learned? An agent is committed to its intended actions as long as its belief-intention database is coherent. We conceptualize intention as commitment toward time and we develop AGM-based postulates for the iterated revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style representation theorem.


A Formal Framework For Probabilistic Unclean Databases

Traditional modeling of inconsistency in database theory casts all possi...

Modeling human intention inference in continuous 3D domains by inverse planning and body kinematics

How to build AI that understands human intentions, and uses this knowled...

Extending counterfactual accounts of intent to include oblique intent

One approach to defining Intention is to use the counterfactual tools de...

Learning what they think vs. learning what they do: The micro-foundations of vicarious learning

Vicarious learning is a vital component of organizational learning. We t...

Anticipating Daily Intention using On-Wrist Motion Triggered Sensing

Anticipating human intention by observing one's actions has many applica...

The Rationale behind the Concept of Goal

The paper proposes a fresh look at the concept of goal and advances that...

On Almost-Sure Intention Deception Planning that Exploits Imperfect Observers

Intention deception involves computing a strategy which deceives the opp...