|   | 
                
               Programme 
                Overview  
                Detailed 
                Programme 
              
                 
                  | Adaptive 
                    Technology in AI (invited session) (ATA) | 
                 
               
              CHAIR: JOSÉ NETO 
                 
                Time: Tuesday, March 22nd, 16h30-18h10 
               
              
               
               
              
                 
                  | 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. | 
                 
               
               
              
              
             |