Casual conversation as logical constraint satisfaction

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 or conflicting desires that are shared by participants, and strategies to escape from such situations. From this new perspective, conversation emerges as a logical constraint satisfaction process.