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.
Author(s): Nils Lenke (auth.), Marco Gori, Giovanni Soda (eds.)
Series: Lecture Notes in Computer Science 992 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 450
Tags: Artificial Intelligence (incl. Robotics)
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
