DC FieldValueLanguage
dc.contributor.authorLehnherr, Daviden_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorStuder, Thomasen_US
dc.date.accessioned2021-09-22T09:43:54Z-
dc.date.available2021-09-22T09:43:54Z-
dc.date.issued2021-09-
dc.description.abstractThe introduction of interactive proofs by Goldwasser et al. ([1]) poses an inter- esting question to the already vividly researched area of uncertain reasoning and justification logic - How can we quantitatively describe an evidence transforma- tion that gets progressively more meaningful and how can we model agents that reason based on such transformed evidence? In this work, we introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. We present its syntax and semantics and provide a soundness proof. Moreover, we investigate how our axiomatisation can be extended in order to capture a weaker notion of the zero-knowledge property of interactive proofs. The foun- dation of our logic is built on the works of Kokkinis et al. ([2]) and Ognjanovi ́c et al. ([3]) who developed a probabilistic justification logic PJ and its extension CPJL which allows for conditional and non-standard probabilities. We answer the question above by parametrizing our logic over the set of negligi- ble functions f (n) = n−kfor all k ∈N. This approach enables us to canonically construct the set of formulas that are known by the agents to be interactively provable. By doing so, we closely model the soundness and completeness proper- ties of interactive proofs which are usually stated by using first-order quantifiers. Furthermore, we use non-standard probabilities in order to model the limit cases of the aforementioned properties.en_US
dc.publisherUniversity Center Dubrovnik, Croatiaen_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.subjectInteractive Proofs | Justification Logic | Non-standard Probabilitiesen_US
dc.titleA Logic of Interactive Proofsen_US
dc.typeConference Paperen_US
dc.relation.conference10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatiaen_US
dc.relation.publicationBook of Abstracts of the 10th International Conference Logic and Applications, LAP 2021en_US
dc.identifier.urlhttp://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage89-
dc.relation.lastpage90-
dc.description.rankM34-
item.openairetypeConference Paper-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/description.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

52
checked on Nov 27, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.