Antonio Carlos Da Rocha Costa

Advances in Artificial Intelligence -- SBIA 2010: 20th Brazilian Symposium on Artificial Intelligence, Sao Bernardo do Campo, Brazil, October 23-28, 2010, Proceedings - Lecture Notes in Computer Science Antonio Carlos Da Rocha Costa

Marc Notes: Includes bibliographical references and index. Table of Contents: Chapter 1. Ontologies, Knowledge Representation and Reasoning -- Ontological Primitives for Visual Knowledge / Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane Kravczyk Bernardes, Claiton Marion dos Santos Scherer -- A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia's Categories / Clarissa CastellA Xavier, Vera Lucia Strube de Lima -- Ontology Reasoning in Agent-Oriented Programming / Claudio Fuzitaki, Alvaro Moreira, Renata Vieira -- System Design Modification with Actions / Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros -- Learning Terminologies in Probabilistic Description Logics / Kate Revoredo, JosE Eduardo Ochoa-Luna, Fabio Gagliardi Cozman -- Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams / Cleverton Ferreira Borba, Ana Estela Antunes da Silva -- Semantic Mapping with a Probabilistic Description Logic / Rodrigo Polastro, Fabiano CorrEa, Fabio Cozman, Jun Okamoto -- Markov Decision Processes from Colored Petri Nets / Monica GOes Eboli, Fabio Gagliardi Cozman -- Chapter 2. Machine Learning -- Incremental Learning of Multivariate Gaussian Mixture Models / Paulo Martins Engel, Milton Roberto Heinen -- Bayesian Network Structure Inference with an Hierarchical Bayesian Model / Adriano Velasque Werhli -- Chapter 3. Autonomous Agents and Multiagent Systems -- On the Construction of Synthetic Characters with Personality and Emotion / Ary Fagundes Bressane Neto, FlAvio Soares CorrEa da Silva -- Towards Automated Trading Based on Fundamentalist and Technical Data / Carlos Henrique Dejavite AraUjo, Paulo AndrE Lima de Castro -- Developing a Consciousness-Based Mind for an Artificial Creature / Ricardo-Capitanio Martins da Silva, Ricardo Ribeiro Gudwin -- Simulating the Emergence of Social Relationship Networks in Groups of Believable Agents: The X-BARIM Model / Pablo Barbosa, Danielle Silva, Geber Ramalho, Patricia Tedesco -- Using Jason to Develop Normative Agents / Baldoino Fonseca dos Santos Neto, Viviane Torres da Silva, Carlos JosE Pereira de Lucena -- Improving Space Representation in Multiagent Learning via Tile Coding / Samuel Justo Waskow, Ana LUcia Cetertich Bazzan -- Chapter 4. Natural Language Processing -- Factored Translation between Brazilian Portuguese and English / Helena de Medeiros Caseli, Israel Aono Nunes -- Question Answering for Portuguese: How Much Is Needed? / Rodrigo Wilkens, Aline Villavicencio -- Chapter 5. Planning and Scheduling -- Planning for Multi-robot Localization / Paulo Pinheiro, Jacques Wainer -- Symbolic Bounded Real-Time Dynamic Programming / Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros -- An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties / FAbio Fernandes Ribeiro, Marcone Jamilson Freitas Souza, SErgio Ricardo de Souza -- A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Terrain Elevation / Felipe Leonardo LObo Medeiros, JosE Demisio SimOes da Silva -- Feasible UAV Path Planning Using Genetic Algorithms and BEzier Curves / Douglas GuimarAes Macharet, Armando Alves Neto, Mario Fernando Montenegro Campos -- Chapter 6. Constraints and Search -- High-Level Modeling of Component-Based CSPs / RaphaEl Chenouard, Laurent Granvilliers, Ricardo Soto -- Improving the Distributed Constraint Optimization Using Social Network Analysis / Allan Rodrigo Leite, AndrE Pinz Borges, LaErcio Martins Carpes, FabrIcio Enembreck -- A Survey and Classification of A* Based Best-First Heuristic Search Algorithms / Luis Henrique Oliveira Rios, Luiz Chaimowicz -- Chapter 7. Logics for AI -- A Sequent Calculus for 3-Dimensional Space / Norihiro Kamide -- Intuitionistic Fuzzy Probability / Claudilene Gomes Da Costa, Benjamin Callejas Bedregal, AdriAo Duarte Doria Neto -- A Proof System for Temporal Reasoning with Sequential Information / Norihiro Kamide -- A Refuted Conjecture on Probabilistic Satisfiability / Marcelo Finger, Glauber De Bona -- A Logic for Conceptual Hierarchies / Norihiro Kamide -- Author Index. Publisher Marketing: The SBIA conference series started in 1984 at the Federal University of Rio Grande do Sul (UFRGS) and through the years has bene?ted the Arti?cial Intelligence and Computer Science communities in Brazil. After 26 years and 20 conferences SBIA is now a mature event, constituting a discussion forum for new ideas in all sub-areas of AI. In this book you will ?nd the full papers selected for publication in the SBIA 2010 proceedings. The papers cover the AI sub-areas in the following way: Ontologies, Knowledge Representation, and Reasoning: 8 Machine Learning: 2 Autonomous Agents and Multiagent Systems: 6 Natural Language Processing: 2 Planning and Scheduling: 5 Logics for AI: 3 Constraints and Search: 5 We would like to thank all the authors that contributed to SBIA 2010. We also thank all the members of the international Program Committee and the additional reviewers, who did an excellent job in reviewing the papers. We are very grateful to Flavio Tonidandel, General Chair of SBIA 2010 and of the Joint SBIA/SBRN/JRI 2010 Conference, for all the support that he and his team at FEI provided. Yoav Shoham, Jaime Sichman, and David Hogg were the keynote speakers of the event. We thank them very much for their acceptance of the invitation. A special acknowledgement is due to Tiago Thompsen Primo, for his de- cated e?ort in the editing of these proceedings. Finally, we thank the SBIA 2010 sponsors (CAPES, CNPq, FAPESP, and SBC) for their support."