Autonomy in Software Systems

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).

[1]  Ingo J. Timm,et al.  Reflexion als sozialer Mechanismus zum strategischen Management autonomer Softwaresysteme , 2006 .

[2]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[3]  Frank Hillebrandt,et al.  Reflexive soziale Mechanismen , 2006 .

[4]  Pattie Maes,et al.  Agents that reduce work and information overload , 1994, CACM.

[5]  Jörg P. Müller,et al.  The Design of Intelligent Agents , 1996, Lecture Notes in Computer Science.

[6]  Ingo J. Timm,et al.  Dynamisches Konfliktmanagement als Verhaltenssteuerung intelligenter Agenten , 2004 .

[7]  Michael Wooldridge,et al.  The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System , 2004, Autonomous Agents and Multi-Agent Systems.

[8]  Cristiano Castelfranchi,et al.  Emergent functionality among intelligent systems: Cooperation within and without minds , 2006, AI & SOCIETY.

[9]  Michael Wooldridge,et al.  Complexity Results for Agent Design Problems , 2003 .

[10]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[11]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[12]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[13]  Hans-Jörg Kreowski,et al.  Autonomous Units and Their Semantics - The Sequential Case , 2006, ICGT.

[14]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[15]  Shiro Takata,et al.  Deduction systems for BDI logics using sequent calculus , 2002, AAMAS '02.

[16]  Heinz Jürgen Müller,et al.  Towards Agent Systems Engineering , 1997, Data Knowl. Eng..

[17]  Michael Rovatsos,et al.  Handbook of Software Engineering and Knowledge Engineering , 2005 .

[18]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[19]  Ingo J. Timm,et al.  Capability-based emerging organization of autonomous agents for flexible production control , 2006, Adv. Eng. Informatics.

[20]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

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

[22]  Michael Rovatsos,et al.  Autonomous Software , 2022 .

[23]  Michael Wooldridge,et al.  A Logic of Visibility , Perception , and Knowledge : Completeness and Correspondence Results , 2000 .

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

[25]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[26]  Michael Fisher,et al.  The abc of rational agent modelling , 2002, AAMAS '02.

[27]  Munindar P. Singh,et al.  Formal methods in DAI: logic-based representation and reasoning , 1999 .

[28]  Ingo J. Timm,et al.  ADAPTIVE MULTIAGENT SYSTEMS APPLIED ON TEMPORAL LOGISTICS NETWORKS , 1999 .

[29]  Sabine Kuske,et al.  Transformation units: a structuring principle for graph transformation systems , 2000 .

[30]  Hartmut Ehrig,et al.  Concurrency, parallelism, and distribution , 1999 .

[31]  Michael Wooldridge,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 1999 .

[32]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

[33]  Hans-Jörg Kreowski,et al.  Main Concepts of Networks of Transformation Units with Interlinking Semantics , 2005, Formal Methods in Software and Systems Modeling.

[34]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[35]  Michael Wooldridge,et al.  Reasoning about Visibility, Perception and Knowledge , 1999, ATAL.

[36]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .