Casual conversation seems to be the last domain in which logic may be successfully applied. We want to demonstrate here that this intuition is incorrect. On the contrary, logic offers a new perspective on conversation, not at the behavioural level, but at the argumentative level. By studying the way arguments are logically linked together, we can observe new phenomena, like conflicting beliefs ...

This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover exploring a largely unknown planet. It is argued th a t existing algorithms for decision-theoretic planning are based on a logically incorrect theory of rational decision making. Plans cannot be evaluated directly in ter...