Skip to main content

Towards Distributed Reasoning for Behavioral Optimization

  • Conference paper
  • 295 Accesses

Part of the IFIP International Federation for Information Processing book series (IFIPAICT,volume 216)


We propose an architecture which supports the behavioral self-optimization of complex systems. In this architecture we bring together specification-based reasoning and the framework of ant colony optimization (ACO). By this we provide a foundation for distributed reasoning about different properties of the solution space represented by different viewpoint specifications. As a side-effect of reasoning we propagate the information about promising areas in the solution space to the current state. Consequently the system’s decisions can be improved by considering the long term values of certain behavioral trajectories (given a certain situational horizon). We consider this feature to be a contribution to autonomic computing.


  • Solution Space
  • Description Logic
  • Fuzzy Concept
  • Tree Automaton
  • Membrane Computing

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Peter Pepper, Michael Cebulla, Klaus Didrich, and Wolfgang Grieskamp. From program languages to software languages. The Journal of Systems and Software, 60, 2002.

    Google Scholar 

  2. Franz Baader and Werner Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook. Cambridge University Press, Cambridge, U.K., 2003.

    Google Scholar 

  3. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on:, 1997. release October, 1rst 2002.

    Google Scholar 

  4. Marco Dorigo and Thomas Stützle. The ant colony optimization metaheuristic: Algorithms, applications, and advances. In Fred Glover and Gary A. Kochenberger, editors, Handbook of Metaheuristics. Kluwer Acad. Publ.: Boston, 2003.

    Google Scholar 

  5. Lofti A. Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965.

    MATH  MathSciNet  CrossRef  Google Scholar 

  6. Umberto Straccia. Reasoning with fuzzy description logic. Journal of Artificial Intelligence Research, 14:137–166, 2001.

    MATH  MathSciNet  Google Scholar 

  7. Steffen Hölldobler, Hans-Peter Störr, and Tran Dinh Khang. The fuzzy description logic ALCfh with hedge algebras as concept modifiers. International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294–305, 2003.

    Google Scholar 

  8. Dusko Pavlovic, Peter Pepper, and Douglas Smith. Specification engineering, to appear, 2006.

    Google Scholar 

  9. David Culler, Deborah Estrin, and Mani Srivastava. Overview of sensor networks. IEEE Computer, 37:41–49, August 2000.

    Google Scholar 

  10. S. Madden, R. Szewczyk, M. Franklin, and D. Culler. Supporting aggregate queries over ad-hoc wireless sensor networks. In IEEE Workshop on Mobile Computing Systems and Applications, 2002.

    Google Scholar 

  11. George J. Klir and Bo Yuan. Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River, N.J., 1995.

    MATH  Google Scholar 

  12. Michael Cebulla. Reasoning about knowledge and context awareness. In Proc. of FLAIRS’06, 2006.

    Google Scholar 

  13. Jan Rutten. Automata and coinduction (an exercise in coalgebra). Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, 1998.

    Google Scholar 

  14. Gheorghe Păun. Membrane Computing. An Introduction. Springer, Berlin, 2002.

    Google Scholar 

  15. Donald E. Knuth. Semantics of context-free languages. Theory of Computing Systems, 2(2): 127–145, June 1968.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2006 International Federation for Information Processing

About this paper

Cite this paper

Cebulla, M. (2006). Towards Distributed Reasoning for Behavioral Optimization. In: Pan, Y., Rammig, F.J., Schmeck, H., Solar, M. (eds) Biologically Inspired Cooperative Computing. BICC 2006. IFIP International Federation for Information Processing, vol 216. Springer, Boston, MA .

Download citation

  • DOI:

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-387-34632-8

  • Online ISBN: 978-0-387-34733-2

  • eBook Packages: Computer ScienceComputer Science (R0)