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