Reasoning About Knowledge and Probability.

Date of Submission

December 2000

Date of Award

Winter 12-12-2001

Institute Name (Publisher)

Indian Statistical Institute

Document Type

Master's Dissertation

Degree Name

Master of Technology

Subject Name

Computer Science


Applied Statistics Unit (ASU-Kolkata)


Sarkar, Palash (ASU-Kolkata; ISI)

Abstract (Summary of the Work)

We have reviewed works done on reasoning about knowledge and probability. We allow explicit mentions of probabilities in formulas, so that our language has formulas that essentially say "according to agent i, formula 0 holds with probability at least b." The language is powerful enough to allow reasoning about higher order probabilities as well as the explicit comparisons of the probabilities as agent places on distinct events. and on the basis of the results we have tried to give probability assignments to linear time temporal logic formulas.


ProQuest Collection ID:

Control Number


Creative Commons License

Creative Commons Attribution 4.0 International License
This work is licensed under a Creative Commons Attribution 4.0 International License.


This document is currently not available here.