Using counterfactuals in knowledge-based programming

DOI10.1007/S00446-004-0108-1MaRDI QIDQ5138508zbMATH OpenOpenAlexFDO

Authors Joseph Y. Halpern, Yoram Moses

Publication date 4 December 2020

Published in Distributed Computing (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol in which an agent stops sending messages once it knows that it is safe to do so. Such behavior is difficult to capture in the original framework because it involves reasoning about counterfactual executions, including ones that are not consistent with the protocol. Attempts to formalize these notions without counterfactuals are shown to lead to rather counterintuitive behavior.

Recommendations

• A note on knowledge-based programs and specifications
• Knowledge-based programs
• Publication:4681376
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Publication:4845472

Cites work

• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1467490 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A characterization of eventual Byzantine agreement
• A little knowledge goes a long way
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Knowledge and common knowledge in a distributed environment
• Knowledge-based programs
• Message-optimal protocols for Byzantine Agreement
• Modeling belief in dynamic systems. I: Foundations
• Modelling knowledge and action in distributed systems
• Programming simultaneous actions using common knowledge
• Simulating synchronized clocks and common knowledge in distributed systems
• Subjective games and equilibria

Cited in

(2)

• Knowledge-based programs
• scientific article; zbMATH DE number 2182499 (Why is no real title available?)

This page was built for publication: Using counterfactuals in knowledge-based programming

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