Logic for Desire Based on Causal Inference

In this project, we study the interpretation and reasoning about desire. We propose an interpretation of “desiring φ” based on causality and preference structures. We construct a desire-causality model by combing the priority structure in preference logic and the causal model in the logic for causal reasoning. A logic for desire based on this semantics has been developed.

We are also interested in reasoning about the dynamics of desire behaviors.

This is a joint research with Kaibo Xie.

Welcome to cooperate!