Formalization Of Emotions With Intensity

Logical formalization of emotions moves forward and develops more widely accepted and clearly defined emotion models. However, there is little quantitative analysis of emotions based on modal logic. We put forward a logic LEI to represent quantitative belief, preference and disgust. Then, event-based emotions, agent-based emotions in OCC model and their intensity are formalized by the logic.