Programme Overview
Detailed Programme

Adaptive Technology in AI (invited session) (ATA)

CHAIR: JOSÉ NETO

Time: Tuesday, March 22nd, 16h30-18h10

Paper ID   Title
   
ATA-1 A Meta-Level Architecture for Adaptive Applications
ATA-2 Adaptive Finite State Automata and Genetic Algorithms: Merging Individual Adaptation and Population Evolution
ATA-3 Modeling a tool for the generation of programming environments for adaptive formalisms
ATA-4 Adaptive Decision Tables: A Case Study of their Application to Decision-Taking Problems
ATA-5 Robotic mapping and navigation in unknown environments using adaptive automata.
ATA-6   An Adaptive Framework for the Design of Software Specification Languages


ATA-1
 
Title: A Meta-Level Architecture for Adaptive Applications
Author(s): F. Barth,
E. Gomi
Abstract: The goal of this work is to investigate meta-level architectures for adaptive systems development. The main application area is user modeling for mobile and digital TV systems. To analyze the behavior of the meta-level architecture, experiments with interface adaptive systems were made. The experiments showed that it is possible to reuse the components responsible for the user modeling by creating them as stable meta-level components.


ATA-2
 
Title: Adaptive Finite State Automata and Genetic Algorithms: Merging Individual Adaptation and Population Evolution
Author(s): Hemerson Pistori,
Priscila S. Martins,
Amaury A. de Castro Jr.
Abstract: This paper presents adaptive finite state automata as an alternative formalism to model individuals in a genetic algorithm environment. Adaptive finite state automata, which are basically finite state automata that can change their internal structures during operation, have proven to be an attractive way to represent simple learning strategies. We argue that the merging of adaptive finite state automata and GA results in an elegant and appropriate environment to explore the impact of individual adaptation, during lifetime, on population evolution.


ATA-3
 
Title: Modeling a tool for the generation of programming environments for adaptive formalisms
Author(s): A.R. Camolesi
Abstract: This paper aims to present the logical model that makes up the structure of a tool for the definition of environments for rule-driven adaptive formalisms.


ATA-4
 
Title: Adaptive Decision Tables: A Case Study of their Application to Decision-Taking Problems
Author(s): T.C.Pedrazzi,
A.H.Tchemra,
R.L.A.Rocha
Abstract:
Decision tables have been used traditionally in the solution of problems involving decision-taking tasks. In this paper, adaptive devices based on decision tables are used for the solution of decision-taking problems. The resulting adaptive decision tables have shown to be effective for their generality and flexibility, so they are appropriate for helping in the task of automatically choosing among several applicable alternatives at each stage in the process of decision taking. An illustrating example is shown in the business management field, and an overall comparative evaluation is shown.


ATA-5
 
Title: Robotic mapping and navigation in unknown environments using adaptive automata.
Author(s): Miguel Angelo de Abreu de Sousa,
André Riyuiti Hirakawa
Abstract: Real mobile robots should be able to build an abstract representation of the physical environment, in order to navigate and work in such environment. This paper presents an adaptive way to make such representation without any a priori information of the place. The proposed system allows the robot to explore the entire environment and acquire the information incoming from the sensors while it travels and, due to the adaptability inherent to the mapping method, the system is capable to increase the memory usage according to the already mapped area. The map, built using the adaptive technique, is useful to provide navigation information for the robot, allowing it to move on the environment.


ATA-6
 
Title: An Adaptive Framework for the Design of Software Specification Languages
Author(s): João José Neto,
Paulo Sérgio Muniz Silva
Abstract:
Software specifications may be viewed as theories elaborated for application domains. A useful strategy for building specifications is the incremental extension of an initial theory, in which increments add new terms and notions not considered in previous extensions. Given an increment, the corresponding theory is stated in a corresponding specification language. The next increment – or extension of the theory – typically requires a related language extension. Adaptive devices naturally support such scheme, whose instances should reflect the impact of extension variations on the specification language. This paper describes an adaptive framework for the design of a class of software specification languages supporting the incremental process of elaborating software specifications.