Formal Models for Ambient Intelligence

This paper is devoted to a recently running project description with a purpose to get some necessary feedback from the AmI community as to the project ambitions. The project intends to study possibilities of several formal approaches towards modeling intelligent environments based on principles of ambient intelligence. The main goal is in contributing towards theoretical foundations of ambient intelligence via modelling of intelligent environments functionality using three basic approaches: multi-agent systems of various kind, algebraic methods, and grammar systems and colonies.