Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir

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
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