Concurrent MetateM Processes - A Language for Distributed AI

In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems. This language represents an operational model for a variety of METATEM, which is a framework for executable temporal logics. We argue that the combination of executable temporal logic, meta-level capabilities, and concurrent operational model make the language suitable for use in the design and modeling of both reactive and distributed AI systems.

[1]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[2]  Ron Koymans.  Specifying Message Passing Systems Requires Extending Temporal Logic , 1987, Temporal Logic in Specification.

[3]  D. Corkill.  Blackboard Systems , 1991 .

[4]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[5]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

[6]  Michael Fisher,et al.  A Resolution Method for Temporal Logic , 1991, IJCAI.

[7]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[8]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[9]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[10]  Dov M. Gabbay,et al.  Executing Temporal Logic: Review and Prospects (Abstract) , 1988, Concurrency.

[11]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[13]  H. P Nii,et al.  Blackboard Systems , 1986 .

[14]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[15]  Dov M. Gabbay,et al.  Meta-Reasoning in Executable Temporal Logic , 1991, KR.

[16]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.