A note on knowledge-based programs and specifications

DOI10.1007/PL00008916MaRDI QIDQ5137901zbMATH OpenOpenAlexFDO

Authors Joseph Y. Halpern

Publication date 3 December 2020

Published in Distributed Computing (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Toward knowledge-based specifications of languages
• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• scientific article; zbMATH DE number 907669
• Knowledge-based programs as plans. The complexity of plan verification
• A programmable approach to maintenance of a finite knowledge base
• Knowledge-based programs with defaults in a modal situation calculus

Cites work

• A characterization of eventual Byzantine agreement
• A little knowledge goes a long way
• A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Knowledge and common knowledge in a distributed environment
• Knowledge-based programs
• Modelling knowledge and action in distributed systems
• Programming simultaneous actions using common knowledge
• Proving Liveness Properties of Concurrent Programs
• Simulating synchronized clocks and common knowledge in distributed systems
• The positive value of information
• “Sometimes” and “not never” revisited

Cited in

(6)

• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• A programmable approach to maintenance of a finite knowledge base
• scientific article; zbMATH DE number 2182499 (Why is no real title available?)
• Knowledge-based programs
• Using counterfactuals in knowledge-based programming
• Interpreting knowledge-based programs

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: A note on knowledge-based programs and specifications

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