Accession Number : ADA190279
Title : Relative Knowledge and Belief (Extended Abstract).
Descriptive Note : Technical rept.,
Corporate Author : YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
Personal Author(s) : Fischer, Michael J ; Zuck, Lenore D
PDF Url : ADA190279
Report Date : Dec 1987
Pagination or Media Count : 18
Abstract : Motivated by recent research in cryptographic protocols and formal theories of knowledge, the authors present a logic of feasible and probabilistic knowledge. Their notion of relative knowledge captures the idea of feasibility computable knowledge, and their notion of relative belief captures the idea of feasibility computable knowledge with a degree of confidence alpha 1. We illustrate the power of our definitions by characterizing the state of knowledge of the verifier after running an interactive proof of knowledge of a square root in Zn.
Descriptors : *REASONING, ABSTRACTS, SQUARE ROOTS, LOGIC, COMPUTERS
Subject Categories : Operations Research
Distribution Statement : APPROVED FOR PUBLIC RELEASE