Summary: Probabilistic Modal Logic
Afsaneh Shirazi and Eyal Amir
Computer Science Department, University of Illinois at Urbana­Champaign
Urbana, IL 61801, USA
{hajiamin, eyal}@uiuc.edu
Abstract
A modal logic is any logic for handling modalities: concepts
like possibility, necessity, and knowledge. Artificial intelli­
gence uses modal logics most heavily to represent and reason
about knowledge of agents about others' knowledge. This
type of reasoning occurs in dialog, collaboration, and compe­
tition. In many applications it is also important to be able to
reason about the probability of beliefs and events.
In this paper we provide a formal system that represents prob­
abilistic knowledge about probabilistic knowledge. We also
present exact and approximate algorithms for reasoning about
the truth value of queries that are encoded as probabilistic
modal logic formulas. We provide an exact algorithm which
takes a probabilistic Kripke structure and answers probabilis­
tic modal queries in polynomial­time in the size of the model.

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences