Artificial Intelligence V. Methodology, Systems, Applications

✍ Scribed by B. du Boulay, V. Sgurev

• Publisher: North-holland, North Holland
• Year: 1992
• Tongue: English
• Leaves: 260
• Series: International Conference on Artificial Intelligence: Methodology, Systems, Applications//Artificial Intelligence
• Category: Library

✦ Synopsis

Recent results and ongoing research in Artificial Intelligence are described in this book, with emphasis on fundamental questions in several key areas: machine learning, neural networks, automated reasoning, natural language processing, and logic methods in AI. There are also more applied papers in the fields of vision, architectures for KBS, expert systems and intelligent tutoring systems. One of the changes since AIMSA'90 has been the increased numbers of papers submitted in the fields of machine learning, neural networks and hybrid systems.

One of the special features of the AIMSA series of conferences is their coverage of work across both Eastern and Western Europe and the former Soviet Union as well as papers from North America. AIMSA'92 is no exception and this volume provides a unique multi-cultural view of AI

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
FOREWORD, Page v, Benedict du Boulay, Vassil Sgurev
ACKNOWLEDGEMENTS, Page vii
CHAIRMAN OF THE CONFERENCE, Page ix
SIMILARITY IN ANALOGICAL REASONING, Pages 3-12, Boicho Kokinov
Using Bayesian Networks for Technical Diagnosis, Pages 13-24, Gennady Agre
Applications of Assertions as Elementary Tactics in Proof Planning, Pages 25-34, Xiaorong Huang
Plans as Planning Objects, Pages 35-44, Stefano Marcugini, Alfredo Milani, Maurizio Terragnolo
Logical Approaches to Structured Knowledge Bases, Pages 47-56, Grigoris Antoniou
LOGIC PROGRAMMING WITH WORLDS, Pages 57-66, Christo Dichev
Inconsistent information processing in knowledge based systems, Pages 67-75, Vassil S. Sgurev, Vladimir S. Jotsov
Non-Monotonic Logics: A Valuations-Based Approach, Pages 77-84, Philippe Besnard, Robert E. Mercer
Combining decisions of multiple rules, Pages 87-96, Igor Kononenko
Space Fragmenting - A Method For Disjunctive Concept Acquisition, Pages 97-104, Evgeniy N. Smirnov
Some Experiments with a Stochastic Production System for Supervised Inductive Learning, Pages 105-114, Cezary Z. Janikow
The Range Scale as Result of Inductive Learning, Pages 115-124, Ludmila Dolmatova
Analysis of Classification With Two Classifiers, Pages 125-130, Matija Drobnič, Matjaž Gams
Applying Fast Optimization Methods for Supervised Learning in Feedforward Neural Networks, Pages 133-139, Vesselin M. Zaimov
Prognostic Expert Systems on a Hybrid Connectionist Environment, Pages 141-148, N.K. Kasabov, D.N. Nikovski
Grammar Representation and Parsing in a Data-Driven Logic Programming Environment, Pages 151-159, Lydia Sinapova, Zdravko Markov
Extending Definite Clause Grammar to handle flexible word order, Pages 161-170, Vladimir PERICLIEV, Alexander GRIGOROV
MODALYS: A System for the Semantic-Pragmatic Analysis of Modal Verbs, Pages 171-180, Bernhard Kipper
A System For Text Temporal Information Retrieval, Pages 181-190, Irene Pimenta Rodrigues, José Gabriel Lopes
META THEORY AS A TOOL FOR INTEGRATION AND CONTROL, Pages 193-202, Harry Vassilev
Systems-Based Knowledge Representation: Relations and Methods, Pages 203-212, Ilia Ivanov Dimitrov
COPE - a Flexible Constraint-Based Programming System for Knowledge Processing, Pages 213-222, Stefan Trausan-Matu, Mihai Barbuceanu, Gheorghe Ghiculete
A two-headed architecture for intelligent multimedia man-machine interaction, Pages 223-232, Paulo Quaresma, José Gabriel Lopes
Discovery Environments for the Domain of Computer Programming: A Methodology, Pages 235-245, Haider Ramadhan
AN EXPERT SYSTEM FOR RESOURCE ESTIMATION AND COST ANALYSIS, Pages 247-253, Alexander Roussekov
A Knowledge Based System for Automatic 3D Scene Generation, Pages 255-264, Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
Towards an Application of Intelligent Image Analysis System to Robotic Fettling of Castings, Pages 265-273, Boiko Balev, Dimitar P. Dimitrov
AUTHOR INDEX, Page 275