Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings

Mario Benevides, Carla Delgado, Renata P. de Freitas, Paulo A. S. Veloso (auth.), Ana L. C. Bazzan, Sofiane Labidi (eds.)9783540232377, 9783540286455, 3540232370

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.

---

Table of contents :
Front Matter….Pages –
On Modalities for Vague Notions….Pages 1-10
Towards Polynomial Approximations of Full Propositional Logic….Pages 11-20
Using Relevance to Speed Up Inference….Pages 21-30
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic….Pages 31-40
Reasoning About Requirements Evolution Using Clustered Belief Revision….Pages 41-51
Analysing AI Planning Problems in Linear Logic – A Partial Deduction Approach….Pages 52-61
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning….Pages 62-72
High-Level Robot Programming: An Abductive Approach Using Event Calculus….Pages 73-82
Word Equation Systems: The Heuristic Approach….Pages 83-92
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation….Pages 93-102
Machine Learned Heuristics to Improve Constraint Satisfaction….Pages 103-113
Towards a Natural Way of Reasoning….Pages 114-123
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?….Pages 124-133
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests….Pages 134-143
An Ontology for Quantities in Ecology….Pages 144-153
Using Color to Help in the Interactive Concept Formation….Pages 154-163
Propositional Reasoning for an Embodied Cognitive Model….Pages 164-173
A Unified Architecture to Develop Interactive Knowledge Based Systems….Pages 174-183
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts….Pages 184-193
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections….Pages 194-203
Dialog with a Personal Assistant….Pages 204-213
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing….Pages 214-223
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese….Pages 224-234
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese….Pages 235-244
Heuristically Accelerated Q–Learning: A New Approach to Speed Up Reinforcement Learning….Pages 245-254
Using Concept Hierarchies in Knowledge Discovery….Pages 255-265
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances….Pages 266-275
An Efficient Clustering Method for High-Dimensional Data Mining….Pages 276-285
Learning with Drift Detection….Pages 286-295
Learning with Class Skews and Small Disjuncts….Pages 296-306
Making Collaborative Group Recommendations Based on Modal Symbolic Data….Pages 307-316
Search-Based Class Discretization for Hidden Markov Model for Regression….Pages 317-325
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries….Pages 326-335
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life….Pages 336-345
What Makes a Successful Society?….Pages 346-355
Splinter: A Generic Framework for Evolving Modular Finite State Machines….Pages 356-365
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs….Pages 366-375
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms….Pages 376-384
Detecting Promising Areas by Evolutionary Clustering Search….Pages 385-394
A Fractal Fuzzy Approach to Clustering Tendency Analysis….Pages 395-404
On Stopping Criteria for Genetic Algorithms….Pages 405-413
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules….Pages 414-423
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β -TSK Fuzzy Revision Method for CBR Systems….Pages 424-433
Forgetting and Fatigue in Mobile Robot Navigation….Pages 434-443
Texture Classification Using the Lempel-Ziv-Welch Algorithm….Pages 444-453
A Clustering-Based Possibilistic Method for Image Classification….Pages 454-463
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results….Pages 464-473
Recent Advances on Multi-agent Patrolling….Pages 474-483
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games….Pages 484-493
Norm Consistency in Electronic Institutions….Pages 494-505
Using the $mathcal{M}$ oise  +  for a Cooperative Framework of MAS Reorganisation….Pages 506-515
A Paraconsistent Approach for Offer Evaluation in Negotiations….Pages 516-525
Sequential Bilateral Negotiation….Pages 526-535
Towards to Similarity Identification to Help in the Agents’ Negotiation….Pages 536-545
Back Matter….Pages –