Knowledge-based programs

DOI10.1007/S004460050038zbMATH Open1448.68406OpenAlexW2007771077MaRDI QIDQ5137342FDOQ5137342

Authors: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi 

Publication date: 2 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s004460050038

Recommendations

• A note on knowledge-based programs and specifications
• scientific article; zbMATH DE number 2182499
• What can machines know?
• On knowledge-based programming with sensing in the situation calculus
• Using counterfactuals in knowledge-based programming

zbMATH Keywords

multi-agent systemprotocolreasoning about knowledgeknowledge-based program

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Game theory
• Random generation of combinatorial structures from a uniform distribution
• Relationships between nondeterministic and deterministic tape complexities
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The complexity of facets (and some facets of complexity)
• Reasoning about infinite computations
• A guide to completeness and complexity for modal logics of knowledge and belief
• Knowledge and common knowledge in a distributed environment
• Theories of automata on \(\omega\)-tapes: a simplified approach
• Programming simultaneous actions using common knowledge
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Proving Liveness Properties of Concurrent Programs
• A little knowledge goes a long way
• Modelling knowledge and action in distributed systems
• A characterization of eventual Byzantine agreement
• Knowledge-oriented programming
• Using knowledge to optimally achieve coordination in distributed systems
• Simulating synchronized clocks and common knowledge in distributed systems
• Title not available (Why is that?)
• A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

Cited In (23)

• A formalisation of violation, error recovery, and enforcement in the bit transmission problem
• Finite state implementations of knowledge-based programs (extended abstract)
• Propositional gossip protocols
• The logic of gossiping
• Dynamic epistemic logics
• Using counterfactuals in knowledge-based programming
• Knowledge-based strategies for multi-agent teams playing against nature
• Knowledge-based programs as succinct policies for partially observable domains
• Optimal aggregation algorithms for middleware.
• Planning-based knowing how: a unified approach
• Characterizing solution concepts in terms of common knowledge of rationality
• Title not available (Why is that?)
• Title not available (Why is that?)
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• A note on knowledge-based programs and specifications
• Minimal number of calls in propositional protocols
• An epistemic separation logic with action models
• Interpreting knowledge-based programs
• Hidden protocols: modifying our expectations in an evolving world
• Verified synthesis of knowledge-based programs in finite synchronous environments
• Title not available (Why is that?)
• Title not available (Why is that?)
• A dynamic epistemic framework for conformant planning

Uses Software

• UNITY

This page was built for publication: Knowledge-based programs

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