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

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 -