IOS Press Ebooks - An Attempt to Express the Semantics of the Adaptive Devices
Search
 
loader loading subjects...
cover
An Attempt to Express the Semantics of the Adaptive Devices
Ricardo Luis de Azevedo da Rocha
13 - 27
10.3233/978-1-58603-936-3-13
Frontiers in Artificial Intelligence and Applications
Volume 186: Advances in Technological Applications of Logical and Intelligent Systems
Abstract

Adaptive devices were introduced formally in [7] as a generalization of the adaptive automaton [6]. The semantics were defined by an entirely traditional operational way, based on automaton transitions. This paper starts another path, to describe the semantics of adaptive devices using structural operational semantics [9, 12], λ-calculus [1, 2] and a typing system based on the algorithm W of Damas and Milner [3, 8]. The results achieved showed that adaptive devices are complex to describe, and that a sound and complete typing system should be used to fully analyze them.

$35.00 / €27.50 / £22.00
Add PDF to cart