Skip to main content
SpringerLink
Log in

Autonomy in Software Systems

  • Chapter
Understanding Autonomous Cooperation and Control in Logistics

Abstract

Looking at the whole logistic network, the structure of logistic processes becomes increasingly complex. Especially in transport logistics, atomisation of transportation processes, multimodal transport chains, international competition, changing ecological and legal constraints along with congestion of traffic infrastructure lead to highly dynamic and complex logistic processes that are difficult to plan (in advance).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Agha GA (1986) ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press: Cambridge, Massachusetts

    Google Scholar 

  • Bratman ME (1987) Intentions, Plans and Practical Reason. Harvard University Press: Cambridge, Massachusetts

    Google Scholar 

  • Castelfranchi C, Conte R (1992) Emergent functionality among intelligent systems: Cooperation within and without minds. Journal on Artificial Intelligence and Society, 6(1): 78–87

    Google Scholar 

  • d’Inverno M, Luck M, Georgeff M, Kinny D; Wooldridge M (2004) The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(1–2): 5–53

    Article  Google Scholar 

  • Dunne PE; Laurence M; Wooldridge M (2003) Complexity Results for Agent Design Problems. Annals of Mathematics, Computing and Teleinformatics 1(1):19–36

    Google Scholar 

  • Ehrig H, Kreowski H-J, Montanari U, Rozenberg G (1999) Handbook of Graph Grammars and Computing by Graph Transformation, vol 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore

    Google Scholar 

  • Fisher M; Ghidini C (2002) The ABC of Rational Agent Modelling. In: Castelfranchi C, Johnson WL (eds) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002). Bologna, Italy, July 15–19, pp. 849–856

    Google Scholar 

  • Hölscher K, Kreowski H-J, Kuske S (2006) Autonomous Units and their Semantics — the Sequential Case. In: Corradini, A, Ehrig H, Montanari U, Ribeiro L, Rozenberg G (eds) Proc. 3rd International Conference on Graph Transformations (ICGT 2006), Lecture Notes in Computer Science vol 4178, Springer, Berlin Heidelberg New York, pp 245–259

    Google Scholar 

  • Janssens D, Kreowski H-J, Rozenberg G (2005) Main Concepts of Networks of Transformation Units with Interlinking Semantics. In: Kreowski H-J, Montanari U, Orejas F, Rozenberg G, Taentzer G (eds) Formal Methods in Software and System Modeling, Lecture Notes in Computer Science vol 3393. Springer, Berlin Heidelberg New York, pp 325–342

    Google Scholar 

  • Knirsch P, Timm IJ (1999) Adaptive Multiagent Systems Applied on Temporal Logsitics Networks. In: Muffato M, Pawar KS (eds) Logistics in the Information Age. SGE Ditoriali: Padova Italy, pp. 213–218

    Google Scholar 

  • Kuske S (2000) Transformation Units-A Structuring Principle for Graph Transformation Systems. Ph.D. thesis, Bremen

    Google Scholar 

  • Maes P (1994) Agent that Reduce Work and Information Overload. In: Communications of the ACM 37, Nr.7, pp. 31–40

    Google Scholar 

  • Meyer J-JC, van der Hoek W, Vreeswijk GAW (1991) Epistemic Logic for Computer Science: A Tutorial (Part One). In: Bulletin of the EATCS 44. European Association for Theoretical Computer Science, pp. 242–270

    Google Scholar 

  • Müller JP (1996) The Design of Intelligent Agents: A Layered Approach. Lecture Notes in Artificial Intelligence 1177. Springer: Berlin

    Google Scholar 

  • Müller H-J (1997) Towards agent systems engineering. Data and Knowledge Engineering, 23(3):217–245

    Article  MATH  Google Scholar 

  • Nide N, Takata S (2002) Deduction Systems for BDI Logics Using Sequent Calculus. In: Castelfranchi C, Johnson WL (eds) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002). Bologna, Italy, July 15–19, pp 928–935

    Google Scholar 

  • Patel-Schneider PF, Hayes P, Horrocks I (2007) OWL Web Ontology Language Semantics and Abstract Syntax. W3C-Recommendation. http://www.w3.org/TR/owl-semantics/ (last visited Jan. 2007)

    Google Scholar 

  • Petsch M (2006) Integrative Betrachtung der Offenheit von Multiagentensystemen unter technischen, systemischen, sozialen, und organisatorischen Aspekten. Dissertation. Technische Universität Ilmenau, Fachbereich Wirtschaftswissenschaften, Institut für Wirtschaftsinformatik, September

    Google Scholar 

  • Rao A, Georgeff M (1998) Decision procedures for BDI logics. Journal of Logic and Computation 8(3): 293–342

    Article  MATH  MathSciNet  Google Scholar 

  • Rovatsos M, Weiss G (2005) Autonomous Software. In: Chang SK (ed): Handbook of Software Engineering and Knowledge Engineering, volume 3: Recent Advances. World Scientific Publishing: River Edge, New Jersey

    Google Scholar 

  • Russel SJ, Norvig P (1994) Artificial Intelligence: A Modern Approach. Prentice Hall: Englewood Cliffs

    Google Scholar 

  • Russel SJ, Norvig, P (2003) Artificial Intelligence: A Modern Approach. 2nd Edition. Prentice Hall: Englewood Cliffs, New Jersey

    Google Scholar 

  • Singh, MP, Rao AS, Georgeff M P (1999) Formal Methods in DAI: Logic-Based Representation and Reasoning. In: Weiss G (ed) Multiagent Systems-A Modern Approach to Distributed Artificial Intelligence. The MIT Press: Cambridge, Massachusetts

    Google Scholar 

  • Smith RG (1988) The contract net protocol: High-level communication and control in a distributed problem solver. In Bond A H, Gasser L (eds) Readings in Distributed Artificial Intelligence. Morgan Kaufmann, San Mateo

    Google Scholar 

  • Smith RG, Davis R (1980) Frameworks or cooperation in distributed problem solving. IEEE Transactions on Systems, Man and Cybernetics, 11(1)

    Google Scholar 

  • Timm IJ (2001): Enterprise Agents Solving Problems: The cobac-Approach. In: Bauknecht K, Brauer W, Mueck Th (eds): Informatik 2001-Tagungsband der GI/OCG Jahrestagung, 25.–28. September 20011, Universität Wien, pp 952–958

    Google Scholar 

  • Timm IJ (2004) Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten. DISKI 283, infix, Köln

    MATH  Google Scholar 

  • Timm IJ (2006) Strategic Management of Autonomous Software Systems. Technical Report. TZI Bericht Nr. 35, Universität Bremen, Bremen

    Google Scholar 

  • Timm IJ, Hillebrandt F (2006) Reflexion als sozialer Mechanismus zum strategischen Management autonomer Softwaresysteme. In: Schmitt M., Michael F, Hillebrandt F (eds) Reflexive soziale Mechanismen. Von soziologischen Erklärungen zu sozionischen Modellen, VS Verlag: Wiesbaden, pp 255–288

    Google Scholar 

  • Timm IJ, Scholz T, Herzog O (2006) Capability-Based Emerging Organization of Autonomous Agents for Flexible Production Control. Advanced Engineering Informatics Journal 20: 247–259

    Article  Google Scholar 

  • van der Hoek W, Wooldridge M (2003) Towards a Logic of Rational Agency. International Logic Journal of the IGPL, 11(2): 133–157

    Article  Google Scholar 

  • Wooldridge MJ (2000) Reasoning about Rational Agents. The MIT Press: Cambridge, Massachusetts

    MATH  Google Scholar 

  • Wooldridge M, Jennings N (1995) Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 10(2): 115–152

    Article  Google Scholar 

  • Wooldridge M, Lomuscio, A (2000) A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results. In: Proceedings of the Third International Conference on Pure and Applied Practical Reasoning (FAPR-2000). London, UK

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science and Mathematics, Johann Wolfgang Goe-the-Universität Frankfurt, Frankfurt am Main, Germany

    Ingo J. Timm

  2. Faculty for Mathematics and Computer Science, University of Bremen, Germany

    Peter Knirsch & Hans-Jörg Kreowski

  3. Faculty for Physics and Electrical Engineering/Information Technology, University of Bremen, Germany

    Andreas Timm-Giel

Authors
  1. Ingo J. Timm
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Knirsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andreas Timm-Giel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty 07: Business Studies and Economics, University of Bremen, Wilhelm-Herbst-Str. 12, 28359, Bremen, Germany

    Michael Hülsmann

  2. Bremen Institute of Industrial Technology and Applied Work Science, University of Bremen, Hochschulring 20, 28359, Bremen, Germany

    Katja Windt

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Timm, I.J., Knirsch, P., Kreowski, HJ., Timm-Giel, A. (2007). Autonomy in Software Systems. In: Hülsmann, M., Windt, K. (eds) Understanding Autonomous Cooperation and Control in Logistics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-47450-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-47450-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-47449-4

  • Online ISBN: 978-3-540-47450-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation