Book Chapter10.1007/BFB0023929
Temporal reasoning about actor programs
Susanne Schacht,Udo Hahn +1 more
- 06 Oct 1997
- pp 279-290
3
TL;DR: This formal framework allows more sophisticated abstraction mechanisms to be introduced into actor specifications and turns out to be a major prerequisite for the use of actor systems in large-scale applications.
read more
Abstract: We present an approach to reasoning about actor programs based on temporal logic. This formal framework allows more sophisticated abstraction mechanisms to be introduced into actor specifications. Such mechanisms turn out to be a major prerequisite for the use of actor systems in large-scale applications.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Let’s Parsetalk — Message-Passing Protocols for Object-Oriented Parsing
Udo Hahn,Norbert Bröker,Peter Neuhaus +2 more
- 01 Jan 2000
TL;DR: The authors argue for a design of natural language grammars and their associated parsers in which declarative knowledge about language structure and procedural knowledge about use are equally balanced within a strictly object-oriented specification and implementation framework.
17
•Proceedings Article
A denotational semantics for joining description logics and object-oriented programming
Susanne Schacht,Udo Hahn +1 more
- 01 Aug 1998
TL;DR: This paper extends object-oriented programming into the classification-based paradigm of term inological reasoning and considers a natural language under standing task within such an integrated specification framework.
3
Making Objects More Knowledgeable
Susanne Schacht,Udo Hahn +1 more
TL;DR: A corresponding model is proposed that extends object-oriented programming into the classification-based paradigm of terminological reasoning and considers a natural language understanding task to demonstrate its application.
1
References
•Book
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli,Zohar Manna +1 more
- 18 Dec 1991
TL;DR: An introduction to temporal logic and a computational model for reactive systems .
3.6K
•Book
The temporal logic of reactive and concurrent systems
Zohar Manna,Amir Pnueli +1 more
- 01 Jan 1992
TL;DR: Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors as mentioned in this paper.
3K
•Proceedings Article
Modeling rational agents with a BDI-architecture
Anand S. Rao,Michael P. Georgeff +1 more
- 01 Oct 1997
TL;DR: A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.
2.4K
•Book
Actors: A Model of Concurrent Computation in Distributed Systems
Gul Agha
- 01 Jan 1986
TL;DR: In this article, the authors define an abstract actor machine and provide a minimal programming language for it, which includes higher level constructs such as delayed and eager evaluation, which can be defined in terms of the primitives.
Agent Oriented Programming
Yoav Shoham
- 17 Dec 1992
TL;DR: This paper describes features of the agent oriented programming framework in a little more detail, and summarizes recent results and ongoing AOP-related work.
1.9K