Probabilistic algorithmic knowledge

The frameworkof algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for randomized knowledge algorithms. We then characterize the information provided by a randomized knowledge algorithm when its answers have some probability of being incorrect. We formalize this information in terms of evidence; a randomized knowledge algorithm returning "Yes" to a query about a fact ~oprovides evidence for qobeing true. Finally, we discuss the extent to which this evidence can be used as a basis for decisions.

Authors

• Joseph Y. Halpern
• Riccardo Pucella

Keywords

No keywords are indexed for this paper.