Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings

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. Theoretical And Logical Methods -- On Special Functions And Theorem Proving In Logics For ‘generally’ -- First-order Contextual Reasoning -- Logics For Approximate Reasoning: Approximating Classical Logic “from Above” -- Attacking The Complexity Of Prioritized Inference Preliminary Report -- A New Approach To The Identification Problem -- Towards Default Reasoning Through Max-sat -- Autonomous Agents And Multi-agent Systems -- Multiple Society Organisations And Social Opacity: When Agents Play The Role Of Observers -- Altruistic Agents In Dynamic Games -- Towards A Methodology For Experiments With Autonomous Agents -- How Planning Becomes Improvisation? — A Constraint Based Approach For Director Agents In Improvisational Systems -- Extending The Computational Study Of Social Norms With A Systematic Model Of Emotions -- A Model For The Structural, Functional, And Deontic Specification Of Organizations In Multiagent Systems --^ The Queen Robots: Behaviour-based Situated Robots Solving The N-queens Puzzle -- The Conception Of Agents As Part Of A Social Model Of Distance Learning -- Emotional Valence-based Mechanisms And Agent Personality -- Simplifying Mobile Agent Development Through Reactive Mobility By Failure -- Dynamic Social Knowledge: The Timing Evidence -- Machine Learning -- Empirical Studies Of Neighborhood Shapes In The Massively Parallel Diffusion Model -- Ant-vibra: A Swarm Intelligence Approach To Learn Task Coordination -- Automatic Text Summarization Using A Machine Learning Approach -- Towards A Theory Revision Approach For The Vertical Fragmentation Of Object Oriented Databases -- Speeding Up Recommender Systems With Meta-prototypes -- Activecp: A Method For Speeding Up User Preferences Acquisition In Collaborative Filtering Systems -- Making Recommendations For Groups Using Collaborative Filtering And Fuzzy Majority -- Knowledge Discovery And Data Mining --^ Mining Comprehensible Rules From Data With An Ant Colony Algorithm -- Learning In Fuzzy Boolean Networks — Rule Distinguishing Power -- Attribute Selection With A Multi-objective Genetic Algorithm -- Applying The Process Of Knowledge Discovery In Databases To Identify Analysis Patterns For Reuse In Geographic Database Design -- Lithology Recognition By Neural Network Ensembles -- Evolutionary Computation And Artificial Life -- 2-opt Population Training For Minimization Of Open Stack Problem -- Grammar-guided Genetic Programming And Automatically Defined Functions -- An Evolutionary Behavior Tool For Reactive Multi-agent Systems -- Controlling The Population Size In Genetic Programming -- Uncertainty -- The Correspondence Problem Under An Uncertainty Reasoning Approach -- Random Generation Of Bayesian Networks -- Evidence Propagation In Credal Networks: An Exact Algorithm Based On Separately Specified Sets Of Probability --^ Restoring Consistency In Systems Of Fuzzy Gradual Rules Using Similarity Relations -- Natural Language Processing -- Syntactic Analysis For Ellipsis Handling In Coordinated Clauses -- Assessment Of Selection Restrictions Acquisition. Guilherme Bittencourt, Geber L. Ramalho (eds.). Includes Index. Includes Bibliographical References And Index. On Special Functions and Theorem Proving in Logics for ‘Generally’....Pages 1-10 First-Order Contextual Reasoning....Pages 11-21 Logics for Approximate Reasoning: Approximating Classical Logic “From Above”....Pages 21-30 Attacking the Complexity of Prioritized Inference Preliminary Report....Pages 31-40 A New Approach to the Identification Problem....Pages 41-51 Towards Default Reasoning through MAX-SAT....Pages 52-62 Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers....Pages 63-73 Altruistic Agents in Dynamic Games....Pages 74-84 Towards a Methodology for Experiments with Autonomous Agents....Pages 85-96 How Planning Becomes Improvisation? — A Constraint Based Approach for Director Agents in Improvisational Systems....Pages 97-107 Extending the Computational Study of Social Norms with a Systematic Model of Emotions....Pages 108-117 A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems....Pages 118-128 The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle....Pages 129-139 The Conception of Agents as Part of a Social Model of Distance Learning....Pages 140-151 Emotional Valence-Based Mechanisms and Agent Personality....Pages 152-162 Simplifying Mobile Agent Development through Reactive Mobility by Failure....Pages 163-174 Dynamic Social Knowledge: The Timing Evidence....Pages 175-185 Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model....Pages 185-194 Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination....Pages 195-205 Automatic Text Summarization Using a Machine Learning Approach....Pages 205-215 Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases....Pages 216-226 Speeding up Recommender Systems with Meta-prototypes....Pages 227-236 ActiveCP: A Method for Speeding up User Preferences Acquisition in Collaborative Filtering Systems....Pages 237-247 Making Recommendations for Groups Using Collaborative Filtering and Fuzzy Majority....Pages 248-258 Mining Comprehensible Rules from Data with an Ant Colony Algorithm....Pages 259-269 Learning in Fuzzy Boolean Networks — Rule Distinguishing Power....Pages 270-279 Attribute Selection with a Multi-objective Genetic Algorithm....Pages 280-290 Applying the Process of Knowledge Discovery in Databases to Identify Analysis Patterns for Reuse in Geographic Database Design....Pages 291-301 Lithology Recognition by Neural Network Ensembles....Pages 302-312 2-Opt Population Training for Minimization of Open Stack Problem....Pages 313-323 Grammar-Guided Genetic Programming and Automatically Defined Functions....Pages 324-333 An Evolutionary Behavior Tool for Reactive Multi-agent Systems....Pages 334-344 Controlling the Population Size in Genetic Programming....Pages 345-354 The Correspondence Problem under an Uncertainty Reasoning Approach....Pages 355-365 Random Generation of Bayesian Networks....Pages 366-376 Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability....Pages 376-385 Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations....Pages 386-396 Syntactic Analysis for Ellipsis Handling in Coordinated Clauses....Pages 397-406 Assessment of Selection Restrictions Acquisition....Pages 407-416 This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, held in Porto de Galinhas/Recife, Brazil in November 2002. The 39 revised full papers presented were carefully reviewed and selected from 146 submissions from 18 countries. the papers are organized in topical sections on theoretical and logical methods, autonomous agents and multi-agent systems, machine learning, knowledge discovery and data mining, evolutionary computation and artificial life, uncertainty, and natural language processing In this paper we provide a framework for theorem proving in logics for 'generally' based on special functions, which permit using proof procedures and theorem provers for classical first-order logic to reason about assertions involving 'generally'. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions.