Abstract
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.
Chapter PDF
References
Peter Pepper, Michael Cebulla, Klaus Didrich, and Wolfgang Grieskamp. From program languages to software languages. The Journal of Systems and Software, 60, 2002.
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.
H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on: http://www.grappa.univ-lille3.fr/tata, 1997. release October, 1rst 2002.
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 et.al, 2003.
Lofti A. Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965.
Umberto Straccia. Reasoning with fuzzy description logic. Journal of Artificial Intelligence Research, 14:137–166, 2001.
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.
Dusko Pavlovic, Peter Pepper, and Douglas Smith. Specification engineering, to appear, 2006.
David Culler, Deborah Estrin, and Mani Srivastava. Overview of sensor networks. IEEE Computer, 37:41–49, August 2000.
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.
George J. Klir and Bo Yuan. Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River, N.J., 1995.
Michael Cebulla. Reasoning about knowledge and context awareness. In Proc. of FLAIRS’06, 2006.
Jan Rutten. Automata and coinduction (an exercise in coalgebra). Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, 1998.
Gheorghe Păun. Membrane Computing. An Introduction. Springer, Berlin, 2002.
Donald E. Knuth. Semantics of context-free languages. Theory of Computing Systems, 2(2): 127–145, June 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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 . https://doi.org/10.1007/978-0-387-34733-2_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-34733-2_7
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)