OCC's Emotions: A Formalization in a BDI Logic.
Carole AdamBenoit GaudouAndreas HerzigDominique LonginPublished in: AIMSA (2006)
Keyphrases
- operational semantics
- logical framework
- formal logic
- cognitive model
- agent architecture
- predicate logic
- multi agent
- agent model
- formal model
- multi agent systems
- probability theory
- formal semantics
- automated reasoning
- agent systems
- classical logic
- mental states
- logic programming
- description logics
- set theory
- data sets
- dynamic logic
- agent programming
- logical language
- proof theory
- asynchronous circuits
- data model