Topics in Artificial Intelligence: 4th Congress of the Italian Association for Artificial Intelligence, Aiia '95, Florence, Italy, October 11-13, 1995: Proceedings (Lecture Notes in Computer Science)

This book presents the refereed proceedings of the 4th Congress of the Italian Association for Artificial Intelligence, AI\*IA '95, held in Florence, Italy, in October 1995. The 31 revised full papers and the 12 short presentations contained in the volume were selected from a total of 101 submissions on the basis of a careful reviewing process. The papers are organized in sections on natural language processing, fuzzy systems, machine learning, knowledge representation, automated reasoning, cognitive models, robotics and planning, connectionist models, model-based reasoning, and distributed artificial intelligence. Natural Language Generation as constraint-based configuration....Pages 1-12 Issues of multilinguality in the automatic generation of administrative instructional texts....Pages 13-24 Extending Q-learning to Fuzzy Classifier Systems....Pages 25-36 Fuzzy cognitive maps in multi-agent environments....Pages 37-43 Multiple predicate learning with RTL....Pages 44-55 Learning while -Solving problems in single agent search: Preliminary results....Pages 56-66 Automatic construction of navigable concept networks characterizing text databases....Pages 67-78 Temporal prediction: Dealing with change and interactions within a causal framework....Pages 79-90 Non-first-order features in concept languages....Pages 91-102 PDL-based framework for reasoning about actions....Pages 103-114 Dependency graphs in natural language processing....Pages 115-126 Integrating shallow and linguistic techniques for Information extraction from text....Pages 127-138 Recognizing preliminary sentences in dialogue interpretation....Pages 139-144 Contextuality and non-extensional identity: the inescapable symbiosis in NLP....Pages 145-151 Priorities in Default Logic revisited....Pages 152-162 Boolean approach for representing and solving constraint-satisfaction problems....Pages 163-174 Composing decision procedures: the approach and a case study....Pages 175-186 Knowledge representation, exemplification, and the Gupta-Belnap theory of circular definitions....Pages 187-198 $$\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}$$ : A language for conceptual modelling in Information Systems Engineering....Pages 199-210 The different roles of abstraction in abductive reasoning....Pages 211-216 A cognitive model of causal reasoning about the physical world....Pages 217-230 A generalized approach to consistency based belief revision....Pages 231-236 A framework for dealing with belief-goal dynamics....Pages 237-242 Evolving non-trivial behaviors on real robots: An autonomous robot that picks up objects....Pages 243-254 A formal domain description language for a temporal planner....Pages 255-260 A method for solving multiple autonomous robots collisions problem using space and time representation....Pages 261-266 Mapping symbolic knowledge into locally receptive field networks....Pages 267-278 Knowledge representation for robotic vision based on conceptual spaces and attentive mechanisms....Pages 279-290 A weakest precondition semantics for conditional planning....Pages 291-302 A cognitive hybrid model for autonomous navigation....Pages 303-314 Using a chemical metaphor to implement autonomous systems....Pages 315-322 Modeling process diagnostic knowledge through causal networks....Pages 323-334 Formalizing reasoning about change: A temporal diagnosis approach....Pages 335-346 Preventive diagnosis: Definition and logical model....Pages 347-352 Learning programs in different paradigms using Genetic Programming....Pages 353-364 Revision of logical theories....Pages 365-376 Reformulation of examples in concept learning of structural descriptions....Pages 377-388 Integrated Model — A Proposal to handle noise....Pages 389-394 Exceptions-based synthesis of Boolean functions as a core mechanism to perform concept learning....Pages 395-401 Seeing is believing....Pages 402-413 Agents as reasoners, observers or believers....Pages 414-425 Modelling interactions in agent system....Pages 426-438 Agent coordination and control through logic theories....Pages 439-450

This book presents the refereed proceedings of the 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, held in Florence, Italy, in October 1995.
The 31 revised full papers and the 12 short presentations contained in the volume were selected from a total of 101 submissions on the basis of a careful reviewing process. The papers are organized in sections on natural language processing, fuzzy systems, machine learning, knowledge representation, automated reasoning, cognitive models, robotics and planning, connectionist models, model-based reasoning, and distributed artificial intelligence.