Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/active-message-logical-routing-verification-an-approach-to-automate-WXC60P0XK0
References (16)
-
Susan Epstein, J. Gelfand, Joanna Lesniak (1996)
PATTERN‐BASED LEARNING AND SPATIALLY ORIENTED CONCEPT FORMATION IN A MULTI‐AGENT, DECISION‐MAKING EXPERTComputational Intelligence, 12
-
Sarit Kraus, J. Wilkenfeld, Gilad Zlotkin (1995)
Multiagent Negotiation under Time ConstraintsArtif. Intell., 75
-
G. Tecuci, M. Hieb (1996)
Teaching intelligent agents: The disciple approachInt. J. Hum. Comput. Interact., 8
-
Z. Manna, A. Pnueli (1991)
The Temporal Logic of Reactive and Concurrent Systems -
V. Loia, A. Gisolfi (1997)
A Distributed Approach for Multiple Model Diagnosis of Physical SystemsInf. Sci., 99
-
Y. Shoham (1992)
Agent-Oriented Programming -
L. Steels (1995)
When are robots intelligent autonomous agents?Robotics Auton. Syst., 15
-
Su-shing Chen (1995)
Role of the information infrastructure and intelligent agents in manufacturing enterprisesJ. Organ. Comput., 5
-
S. Cherian, W. Troxell (1995)
INTELLIGENT BEHAVIOR IN MACHINES EMERGING FROM A COLLECTION OF INTERACTIVE CONTROL STRUCTURESComputational Intelligence, 11
-
Huaiqing Wang (1997)
LearnOOP: An active agent-based educational system☆Expert Systems With Applications, 12
-
ACM SIGICE Bulletin -
A. Milewski, Steven Lewis (1997)
Delegating to software agentsInt. J. Hum. Comput. Stud., 46
-
Ka-Wing Wong (1990)
An active message system -
B. Silverman, N. Bedewi (1996)
Intelligent multimedia repositories (IMRs) for project estimation and management: an empirical studyInt. J. Hum. Comput. Stud., 45
-
D. Gries (1981)
The Science of Programming -
M. Minsky, D. Riecken (1994)
A conversation with Marvin Minsky about agentsCommun. ACM, 37
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 1997 by ACM Inc.
- ISSN
- 0893-2875
- DOI
- 10.1145/274090.274091
- Publisher site
- See Article on Publisher Site
Abstract
This paper presents a system that can be used to verify properties of intelligent agents automatically. We use verification of active message logical routing as an example to illustrate the verification approach. The system can be used to verify intelligent agents in general. The system uses branching time temporal logic as foundation and employs a set of axioms, lemmas, and theorems that we developed to verify logical routing properties of active messages.
Journal
ACM SIGSMALL/PC Notes – Association for Computing Machinery
Published: Oct 1, 1997