Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录)

出版时间：2004-12-1  出版社：Springer  作者：L.,Bazzan,Ana,C.  页数：545  

内容概要

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Artificial Intelligence, SBIA 2004, held in Sao Luis, Maranhao, Brazil in September/October 2004.   The 54 revised full papers presented were carefully reviewed and selected from 208 submissions from 21 countries. The papers are organized in topical sections on logics, planning, and theoretical methods; search, reasoning, and uncertainty; knowledge representation and ontologies; natural language processing; machine learning, knowledge discovery and data mining; evolutionary computing, artificial life, and hybrid systems; robotics and compiler vision; and autonomous agents and multi-agent systems.

书籍目录

Logics, Planning, and Theoretical Methods  On Modalities for Vague Notions  Towards Polynomial Approximations of Full Propositional Logic  Using Relevance to Speed Up Inference. Some Empirical Results  A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic  Reasoning About Requirements Evolution Using Clustered Belief Revision  Analysing AI Planning Problems in Linear Logic-A Partial Deduction Approach  Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning  High-Level Robot Programming: An Abductive Approach Using Event CalculusSearch, Reasoning, and Uncertainty  Word Equation Systems: The Heuristic Approach  A Cooperative Framework  Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation  Machine Learned Heuristics to Improve Constraint Satisfaction  Towards a Natural Way of Reasoning  Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?  Paraconsistent Sensitivity Analysis for Bayesian Significance TestsKnowledge Representation and Ontologies  An Ontology for Quantities in Ecology  Using Color to Help in the Interactive Concept Formation  Propositional Reasoning for an Embodied Cognitive Model  A Unified Architecture to Develop Interactive Knowledge Based SystemsNatural Language Processing  Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts   Applying a Lexical Similarity Measure to Compare Portuguese Term Collections  Dialog with a Personal Assistant  Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing  DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese ……Machine Learning,Knowledge Discovery,and Data MiningEvoutionary Computation,Artificial Life,and Hybrid SystemsRobotics and Computer VisionAutonomous Agents and Multi-agent SystemsAuthor Index