A General Framework for Reasoning about Plausible Behavior and Rational Agents
Project Members:
- Dr. Wojciech Jamroga (Leader)
- Prof. Dr. Jürgen Dix (Leader)
- Dipl.-Inf. Nils Bulling
Funding: DFG and IFAAMAS, 1.600 € (of 1.600 € total)
Duration: since 2002
Project Description:
We aim at a logic that would allow to study strategies, time, knowledge, and plausible/rational behavior under both perfect and imperfect information. To this end, we study extensions of temporal and strategic logics with the notion of plausibility and/or rationality, and various logical characterizations of these notions.
Images
