Possibilities for formal models of smart environments

  • Authors:
  • Peter Mikulecky

  • Affiliations:
  • Faculty of Informatics and Management, University of Hradec Kralove, Hradec Kralove, Czech Republic

  • Venue:
  • DNCOCO'10 Proceedings of the 9th WSEAS international conference on Data networks, communications, computers
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is devoted to a recently running project descript ion 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 modeling of intelligent environments functionality using three basic approaches: multi-agent systems of various kind, algebraic methods, and grammar systems and colonies, namely eco-grammar systems.