Advances in Artificial Intelligence - SBIA 2004

1. Front Matter

   PDF

2. Logics, Planning, and Theoretical Methods

   1. On Modalities for Vague Notions

      • Mario Benevides, Carla Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso

      Pages 1-10

   2. Towards Polynomial Approximations of Full Propositional Logic

      • Marcelo Finger

      Pages 11-20

   3. Using Relevance to Speed Up Inference

      • Joselyto Riani, Renata Wassermann

      Pages 21-30

   4. A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

      • Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán

      Pages 31-40

   5. Reasoning About Requirements Evolution Using Clustered Belief Revision

      • Odinaldo Rodrigues, Artur d’Avila Garcez, Alessandra Russo

      Pages 41-51

   6. Analysing AI Planning Problems in Linear Logic – A Partial Deduction Approach

      • Peep Küngas

      Pages 52-61

   7. Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning

      • Silvio do Lago Pereira, Leliane Nunes de Barros

      Pages 62-72

   8. High-Level Robot Programming: An Abductive Approach Using Event Calculus

      • Silvio do Lago Pereira, Leliane Nunes de Barros

      Pages 73-82

3. Search, Reasoning, and Uncertainty

   1. Word Equation Systems: The Heuristic Approach

      • César Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña

      Pages 83-92

   2. A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation

      • Carlos Castro, Michael Moossen, María Cristina Riff

      Pages 93-102

   3. Machine Learned Heuristics to Improve Constraint Satisfaction

      • Marco Correia, Pedro Barahona

      Pages 103-113

   4. Towards a Natural Way of Reasoning

      • José Carlos Loureiro Ralha, Célia Ghedini Ralha

      Pages 114-123

   5. Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?

      • Ricardo S. Silvestre, Tarcísio H. C. Pequeno

      Pages 124-133

   6. Paraconsistent Sensitivity Analysis for Bayesian Significance Tests

      • Julio Michael Stern

      Pages 134-143

4. Knowledge Representation and Ontologies

   1. An Ontology for Quantities in Ecology

      • Virgínia Brilhante

      Pages 144-153

   2. Using Color to Help in the Interactive Concept Formation

      • Vasco Furtado, Alexandre Cavalcante

      Pages 154-163

   3. Propositional Reasoning for an Embodied Cognitive Model

      • Jerusa Marchi, Guilherme Bittencourt

      Pages 164-173

   4. A Unified Architecture to Develop Interactive Knowledge Based Systems

      • Vládia Pinheiro, Elizabeth Furtado, Vasco Furtado

      Pages 174-183

5. Natural Language Processing

   1. Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts

      • Helena de Medeiros Caseli, Aline Maria da Paz Silva, Maria das Graças Volpe Nunes

      Pages 184-193

SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 2004 was the 17th issue of the series initiated in 1984. Since 1995 SBIA has been accepting papers written and presented only in English, attracting researchers from all over the world. At that time it also started to have an international program committee, keynote invited speakers, and proceedings published in the Lecture Notes in Arti?cial Intelligence (LNAI) series of Springer (SBIA 1995, Vol. 991, SBIA 1996, Vol. 1159, SBIA 1998, Vol. 1515, SBIA 2000, Vol. 1952, SBIA 2002, Vol. 2507). SBIA 2004 was sponsored by the Brazilian Computer Society (SBC). It was held from September 29 to October 1 in the city of S˜ ao Luis, in the northeast of Brazil, together with the Brazilian Symposium on Neural Networks (SBRN). This followed a trend of joining the AI and ANN communities to make the joint event a very exciting one. In particular, in 2004 these two events were also held togetherwiththeIEEEInternationalWorkshoponMachineLearningandSignal Processing (MMLP), formerly NNLP. The organizationalstructure of SBIA 2004was similar to other international scienti?cconferences.Thebackboneofthe conferencewasthe technicalprogram whichwascomplementedbyinvitedtalks,workshops,etc.onthemainAItopics.

• Multi-agent system
• artificial intelligence
• artificial life
• autonomous agent
• data mining
• evolution
• evolutionary computation
• knowledge
• knowledge discovery
• knowledge representation
• machine learning
• ontology
• robot
• robotics
• uncertainty

• Instituto de Informática, UFRGS, Porto Alegre, Brasil

  Ana L. C. Bazzan

• Intelligent Systems Laboratory LSI, Center of Technology, Federal University of Maranao UFMA, Sao Luis, Brazil

  Sofiane Labidi

Policies and ethics