Joseph Y. Halpern ; Riccardo Pucella - Probabilistic Algorithmic Knowledge

lmcs:2261 - Logical Methods in Computer Science, December 20, 2005, Volume 1, Issue 3 - https://doi.org/10.2168/LMCS-1(3:1)2005
Probabilistic Algorithmic KnowledgeArticle

Authors: Joseph Y. Halpern ; Riccardo Pucella

    The framework of 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 \phi provides evidence for \phi being true. Finally, we discuss the extent to which this evidence can be used as a basis for decisions.


    Volume: Volume 1, Issue 3
    Published on: December 20, 2005
    Submitted on: March 20, 2005
    Keywords: Computer Science - Artificial Intelligence,Computer Science - Logic in Computer Science,I.2.4,G.3
    Funding:
      Source : OpenAIRE Graph
    • Towards Improved Logics For Reasoning About Security; Funder: National Science Foundation; Code: 0208535

    4 Documents citing this article

    Consultation statistics

    This page has been seen 987 times.
    This article's PDF has been downloaded 253 times.