Advances in Artificial Intelligence

1. Front Matter

   Pages I-XIII

   PDF

2. Theoretical and Logical Methods

   1. On Special Functions and Theorem Proving in Logics for ‘Generally’

      • Sheila R. M. Veloso, Paulo A. S. Veloso

      Pages 1-10

   2. First-Order Contextual Reasoning

      • Laurent Perrussel

      Pages 11-21

   3. Logics for Approximate Reasoning: Approximating Classical Logic “From Above”

      • Marcelo Finger, Renata Wassermann

      Pages 21-30

   4. Attacking the Complexity of Prioritized Inference Preliminary Report

      • Renata Wassermann, Samir Chopra

      Pages 31-40

   5. A New Approach to the Identification Problem

      • Carlos Brito

      Pages 41-51

   6. Towards Default Reasoning through MAX-SAT

      • Berilhes Borges Garcia, Samuel M. Brasil Jr.

      Pages 52-62

3. Autonomous Agents and Multi-agent Systems

   1. Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers

      • Nuno David, Jaime Simão Sichman, Helder Coelho

      Pages 63-73

   2. Altruistic Agents in Dynamic Games

      • Eduardo Camponogara

      Pages 74-84

   3. Towards a Methodology for Experiments with Autonomous Agents

      • Luis Antunes, Helder Coelho

      Pages 85-96

   4. How Planning Becomes Improvisation? — A Constraint Based Approach for Director Agents in Improvisational Systems

      • Márcia Cristina Moraes, Antônio Carlos da Rocha Costa

      Pages 97-107

   5. Extending the Computational Study of Social Norms with a Systematic Model of Emotions

      • Ana L. C. Bazzan, Diana F. Adamatti, Rafael H. Bordini

      Pages 108-117

   6. A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems

      • Jomi Fred Hübner, Jaime Simão Sichman, Olivier Boissier

      Pages 118-128

   7. The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle

      • Paulo Urbano, Luís Moniz, Helder Coelho

      Pages 129-139

   8. The Conception of Agents as Part of a Social Model of Distance Learning

      • João Luiz Jung, Patrícia Augustin Jaques, Adja Ferreira de Andrade, Rosa Maria Vicari

      Pages 140-151

   9. Emotional Valence-Based Mechanisms and Agent Personality

      • Eugénio Oliveira, Luís Sarmento

      Pages 152-162

   10. Simplifying Mobile Agent Development through Reactive Mobility by Failure

       • Alejandro Zunino, Marcelo Campo, Cristian Mateos

       Pages 163-174

   11. Dynamic Social Knowledge: The Timing Evidence

       • Augusto Loureiro da Costa, Guilherme Bittencourt

       Pages 175-185

4. Machine Learning

   1. Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model

      • Sven E. Eklund

      Pages 185-194

   2. Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination

      • Reinaldo A. C. Bianchi, Anna H. R. Costa

      Pages 195-205

The biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) – of which this is the 16th event – is a meeting and discussion forum for arti?cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti?cial intelligence. The ?rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11–14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di?cult task of reviewing and commenting on the submitted papers.

• agents
• artificial intelligence
• artificial life
• autonomous agents
• data mining
• evolution
• evolutionary computation
• intelligence
• knowledge
• knowledge discovery
• learning
• machine learning
• multi-agent system
• uncertainty

• Departamento de Automação e Sistemas, Universidade Federal de Santa Catarina, Florianópolis, Brazil

  Guilherme Bittencourt

• Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil

  Geber L. Ramalho

Policies and ethics