Formal Models for Ambient Intelligence

Author

Mikulecky, Peter

Author_Institution

Fac. of Inf. & Manage., Univ. of Hradec Kralove, Hradec Kralove, Czech Republic

fYear

2010

fDate

19-21 July 2010

Firstpage

370

Lastpage

371

Abstract

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.

Keywords

formal specification; multi-agent systems; process algebra; software architecture; AmI community; algebraic methods; ambient intelligence; formal model; grammar systems; intelligent environment functionality; multiagent system; Algebra; Ambient intelligence; Artificial intelligence; Biological system modeling; Calculus; Grammar; Multiagent systems; algebraic methods; formal models; grammar systems; intelligent environments; multi-agent systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Environments (IE), 2010 Sixth International Conference on

Conference_Location

Kuala Lumpur

Print_ISBN

978-1-4244-7836-1

Electronic_ISBN

978-0-7695-4149-5

Type

conf

DOI

10.1109/IE.2010.76

Filename

5673699