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

书籍目录

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 Calculus

Search, 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 Tests

Knowledge 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 Systems

Natural 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 Mining

Evoutionary Computation,Artificial Life,and Hybrid Systems

Robotics and Computer Vision

Autonomous Agents and Multi-agent Systems

Author Index

作者简介

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.

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