This book collects the scientific papers presented at the 2nd Congress of the Italian Association for Artificial Intelligence, held in Palermo in October 1991. It displays the state of the art of both Italian and European scientific research in AI. The book begins with an invited paper by W. Wahlster et al. The bulk of the book is then divided into five parts on: - Knowledge representation (18 papers), - Knowledge acquisition (5 papers), - Natural language (5 papers), - Perception and robotics (5 papers), - Architecture and technologies (5 papers). A section containing short papers completes the book. The high quality of the papers reflects massive research activity mainly devoted to the theoretical aspects of AI, but clearly aimed at consolidating the results already achieved. Several contributions are oriented to the technological aspects of AI.
Author(s): Wolfgang Wahlster, Elisabeth André, Winfried Graf (auth.), Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello (eds.)
Series: Lecture Notes in Computer Science 549
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 486
Tags: Artificial Intelligence (incl. Robotics)
Knowledge-based media coordination in intelligent user interfaces....Pages 1-16
Some notes on cumulative reasoning....Pages 17-27
A family of three-valued autoepistemic logics....Pages 28-37
Viewpoints subsume beliefs, truth and situations....Pages 38-47
Automating meta-theory creation and system extension....Pages 48-57
Implementing exceptions in inheritance by concept transforming actions....Pages 58-67
Approximate entailment....Pages 68-77
Negation as failure and constraints through abduction and defaults....Pages 78-87
A hybrid system with datalog and concept languages....Pages 88-97
Optimal search for conjunctive goals using constraints....Pages 98-107
FSS-WASTL interactive knowledge acquisition for a semantic lexicon....Pages 108-116
Hybrid encoding: Constraints on addressing structure....Pages 117-126
Uncertainty and cyclic dependencies a proposal and a network implementation....Pages 127-136
Abductive reasoning in a multi-theory framework....Pages 138-146
The abstract interpretation of hybrid rule/frame-based systems....Pages 147-156
Taxonomic reasoning in configuration tasks....Pages 157-166
Representation and use of teleological knowledge in the multi-modeling approach....Pages 167-176
Towards the integration of different knowledge sources in model-based diagnosis....Pages 177-186
Integrating statistics, numerical analysis and dependency-recording in model-based diagnosis....Pages 187-196
Version-space induction with multiple concept languages....Pages 197-207
Knowledge compilation to speed up numerical optimization....Pages 208-217
New perspectives about default hierarchies formation in learning classifier systems....Pages 218-227
Use of a causal model to learn diagnostic knowledge in a real domain....Pages 228-237
Extending inverse resolution to build up abstractions....Pages 238-247
Using word association for syntactic disambiguation....Pages 249-260
A computational model of tense selection and its experimentation within an intelligent tutor....Pages 261-270
An efficient context-free parsing algorithm with semantic actions....Pages 271-280
From scopings to interpretation: The semantic interpretation within the AlFresco system....Pages 281-290
Parsing dependency grammars....Pages 291-300
A system based on neural architectures for the reconstruction of 3-D shapes from images....Pages 301-311
Retrieval of high-level data structures from stereo vision data....Pages 312-321
High-level and low-level computer Vision: Towards an integrated approach....Pages 322-331
An associative link from geometric to symbolic representations in artificial vision....Pages 332-341
A theory of sensor-based robot navigation using local information....Pages 342-351
Insights into cooperative group design: Experience with the LAN designer system....Pages 353-364
Direct interaction among active data structures: A tool for building AI systems....Pages 365-374
Introducing knowledge representation techniques in database models....Pages 375-384
Self-organizing maps: A new digital architecture....Pages 385-398
Electrical equipment maintenance training: An its application in industrial environment....Pages 399-408
Temporal and spatial data and default assumptions in DIPSY-E system....Pages 409-414
Visual indexing with an attentive system....Pages 415-419
On neural network programming....Pages 420-424
A logic for the representation of spatial knowledge....Pages 425-429
Truth maintenance in approximate reasoning....Pages 430-434
A strategy for design and development of complex knowledge-systems....Pages 435-439
Efficient compilation of first order predicates....Pages 440-444
A flexible tool for assumption-based user modeling....Pages 445-449
KL: A neural model for capturing structure in speech....Pages 450-454
Lexical discrimination within a multilevel semantics approach....Pages 455-459
Metalevel representation of analogical inference....Pages 460-464
Semantic interpretation of copulative sentences....Pages 465-469
Typicality for plausible reasoning....Pages 470-474
A distributed image-understanding system....Pages 475-479
