Relative Knowledge and Belief (Extended Abstract).

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1987
Accession Number
ADA190279

Entities

People

  • Lenore D. Zuck
  • Michael J. Fischer

Organizations

  • Yale University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automata
  • Computational Complexity
  • Computer Science
  • Contracts
  • Distributed Computing
  • Language
  • Military Research
  • Numbers
  • Probability
  • Probability Distributions
  • Security Protocols
  • Sequences
  • Simulations
  • Square Roots
  • Theorems

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.