A Knowledge-Theoretic Semantics for Concurrent METATEM

@inproceedings{Wooldridge1996AKS,
  title={A Knowledge-Theoretic Semantics for Concurrent METATEM},
  author={Michael Wooldridge},
  booktitle={ATAL},
  year={1996}
}
The aim of this paper is to develop a semantics for the multi-agent programming language Concurrent MetateM, by using the tools of knowledge theory. We begin by presenting an informal overview of the Concurrent MetateM language, and then formally define the notion of a Concurrent MetateM agent program, the possible states of a Concurrent MetateM agent and system, and finally, what constitutes an acceptable run of a Concurrent MetateM system. The various semantic constructs developed during this… CONTINUE READING

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Towards a Semantics for Concurrent METATEM

  • Executable Modal and Temporal Logics
  • 1993
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

A survey of Concurrent METATEM — the language and its applications

M. Fisher
  • Temporal Logic — Proceedings of the First International Con ference (LNAI Volume
  • 1994
VIEW 2 EXCERPTS

Representing and Executing Agent-Based Systems

  • ECAI Workshop on Agent Theories, Architectures, and Languages
  • 1994

: A framework for programming in temporal logic

M. Fisher, D. Gabbay, G. Gough, M R.Owens.METATE
  • Research Directions in Concurrent Object - Oriented Programming
  • 1993