Advances in Artificial Intelligence -- SBIA 2010 : 20th Brazilian Symposium on Artificial Intelligence, São Bernardo Do Campo, Brazil, October 23-28, 2010, Proceedings

This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in São Bernardo do Campo, Brazil, in October 2010. The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; and logics for AI. Front Matter....Pages - Ontological Primitives for Visual Knowledge....Pages 1-10 A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia’s Categories....Pages 11-20 Ontology Reasoning in Agent-Oriented Programming....Pages 21-30 System Design Modification with Actions....Pages 31-40 Learning Terminologies in Probabilistic Description Logics....Pages 41-50 Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams....Pages 51-61 Semantic Mapping with a Probabilistic Description Logic....Pages 62-71 Markov Decision Processes from Colored Petri Nets....Pages 72-81 Incremental Learning of Multivariate Gaussian Mixture Models....Pages 82-91 Bayesian Network Structure Inference with an Hierarchical Bayesian Model....Pages 92-101 On the Construction of Synthetic Characters with Personality and Emotion....Pages 102-111 Towards Automated Trading Based on Fundamentalist and Technical Data....Pages 112-121 Developing a Consciousness-Based Mind for an Artificial Creature....Pages 122-132 Simulating the Emergence of Social Relationship Networks in Groups of Believable Agents: The X-BARIM Model....Pages 133-142 Using Jason to Develop Normative Agents....Pages 143-152 Improving Space Representation in Multiagent Learning via Tile Coding....Pages 153-162 Factored Translation between Brazilian Portuguese and English....Pages 163-172 Question Answering for Portuguese: How Much Is Needed?....Pages 173-182 Planning for Multi-robot Localization....Pages 183-192 Symbolic Bounded Real-Time Dynamic Programming....Pages 193-202 An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties....Pages 203-212 A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Based on Terrain Elevation....Pages 213-222 Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves....Pages 223-232 High-Level Modeling of Component-Based CSPs....Pages 233-242 Improving the Distributed Constraint Optimization Using Social Network Analysis....Pages 243-252 A Survey and Classification of A* Based Best-First Heuristic Search Algorithms....Pages 253-262 A Sequent Calculus for 3-Dimensional Space....Pages 263-272 Intuitionistic Fuzzy Probability....Pages 273-282 A Proof System for Temporal Reasoning with Sequential Information....Pages 283-292 A Refuted Conjecture on Probabilistic Satisfiability....Pages 293-302 A Logic for Conceptual Hierarchies....Pages 303-312 Back Matter....Pages - Annotation This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in Ŝo Bernardo do Campo, Brazil, in October 2010. The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; and logics for AI This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in Sao Bernardo do Campo, Brazil, in October 2010.The 31 papers presented were carefully reviewed and selected from 91 submissions.