Skip to main content
SpringerLink
Log in

A reactive logical agent

  • Conference paper
  • First Online:
Cooperative Information Agents (CIA 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1202))

Included in the following conference series:

Abstract

A system for developing and executing reactive, autonomous, rule-based agents is presented. The rules consist of sentences of a temporal logic connecting the present and past history of the system to its future states, and are interpreted at run time. The design and the implementation of the system are illustrated, along with some experimental performance measures derived in a real-time setting, where the agent has been put at work. These measures show that, even is such severely constrained context, the system can efficiently handle agents embodying up to a few hundreds rules.

This work has been partially supported by the European Commission, in the context of the ESPRIT Project IMIS (Integrated information Management for Industrial control Systems, n. 6548).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Beeri and P.A. Bernstein. Computational problems related to the design of normal forms relational schemas. ACM Trans. on Database Systems, 4(1):30–59, 1979.

    Google Scholar 

  2. M. Fischer. Representing and executing agent-based systems. In Proceedings of the ECAI Workshop on Agent Theories, Architectures and Languages, Amsterdam, Netherlands, 1994.

    Google Scholar 

  3. M. Fischer. A survey of concurrent metatem-the language and its applications. In Proceedings of ICTL, First International Conference on Temporal Logic, Bonn, Germany, 1994.

    Google Scholar 

  4. Carlo Ghezzi, Dino Mandrioli, and Angelo Morzenti. Trio: A logic language for executable specifications of real-time systems. Journal of Systems and Software, 12:107–123, 1990.

    Article  Google Scholar 

  5. R. A. Kowalski. Using metalogic to reconcile reactive with rational agents. In K. KApt and F. Turini, editors, Meta-Logics and Logic Programming. The MIT Press, 1995.

    Google Scholar 

  6. Carlo Meghini and Fausto Rabitti. The automatic event raising system. Technical report, ESPRIT III Project n. 6548-IMIS, Deliverable Spe-2.5, January 1995.

    Google Scholar 

  7. Carlo Meghini, Fausto Rabitti, and Ilaria Campanari. Automatic event raising at work. Technical report, ESPRIT III Project n. 6548, March 1994.

    Google Scholar 

  8. S. Spence, H. Evans, and M. Atkinson. The design of GEM. Submitted for publication.

    Google Scholar 

  9. Andrew S. Tanenbaum. Operating Systems Design and Implementation. Prentice Hall, Englewood Cliffs, NJ, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, Via S. Maria 46, I-56123, Pisa, Italy

    Carlo Meghini

Authors
  1. Carlo Meghini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter Kandzia Matthias Klusch

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meghini, C. (1997). A reactive logical agent. In: Kandzia, P., Klusch, M. (eds) Cooperative Information Agents. CIA 1997. Lecture Notes in Computer Science, vol 1202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62591-7_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-62591-7_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62591-9

  • Online ISBN: 978-3-540-68321-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation