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

Department

Applied Statistics Unit (ASU-Kolkata)

Supervisor

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.

Comments

ProQuest Collection ID: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:28843403

Control Number

ISI-DISS-2000-75

Creative Commons License

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

DOI

http://dspace.isical.ac.in:8080/jspui/handle/10263/6247

This document is currently not available here.

Share

COinS