Logic of non-monotonic interactive proofs

DOI10.1007/978-3-642-36039-8_16MaRDI QIDQ2936240zbMATH OpenOpenAlexFDO

Authors Simon Kramer

Publication date 6 January 2015

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.1842

zbMATH Keywords

agents as proof- and signature-checkersconstructive Kripke semanticsinteractive and oracle computationinterpreted communicationmulti-agent distributed systemsproofs as sufficient evidence

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Abstract: We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension of LiiP. Instant interactive proofs effect a fragile epistemic impact in their intended communities of peer reviewers that consists in the impermanent induction of the knowledge of their proof goal by means of the knowledge of the proof with the interpreting reviewer: If my peer reviewer knew my proof then she would at least then (in that instant) know that its proof goal is true. Their impact is fragile and their induction of knowledge impermanent in the sense of being the case possibly only at the instant of learning the proof. This accounts for the important possibility of internalising proofs of statements whose truth value can vary, which, as opposed to invariant statements, cannot have persistent proofs. So instant interactive proofs effect a temporary transfer of certain propositional knowledge (knowable ephemeral facts) via the transmission of certain individual knowledge (knowable non-monotonic proofs) in distributed systems of multiple interacting agents.

Recommendations

• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• scientific article; zbMATH DE number 35415
• Interacting explicit evidence systems
• scientific article; zbMATH DE number 3884133

Cited in

(8)

• Monotone simulations of non-monotone proofs.
• A logic of non-monotonic interactions
• A logic of interactive proofs
• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• Interactive proofs in higher-order concurrent separation logic
• A logic of interactive proofs
• Challenging epistemology: Interactive proofs and zero knowledge

This page was built for publication: Logic of non-monotonic interactive proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936240)