Now showing items 1-1 of 1
Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic
KI - Künstliche Intelligenz: Vol. 31, No. 1
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through probability intervals and incorporates an explicit notion of time. In ...