No label defined (Q4041071)

The articles of this volume will not be indexed individually. This volume represents the Proceedings of the Fifth International Conference on Artificial Intelligence and Information-Control Systems of Robots (Štrbské Pleso, Czechoslovakia, 6-10 November, 1989). It contains 76 contributions divided in the following sections: Section 1: Theoretical problems of artificial intelligence; Section 2: Knowledge-based and expert systems; Section 3: Programming languages and software for AI; Section 4: Man-machine interaction; Section 5: Application of artificial intelligence; Section 6: Robotics, perception and intelligent sensor systems; Section 7: Vision and image processing; Section 8: Parallel computer architectures for AI and robotics. At the beginning of the book there are eleven invited papers spread over the following topics: exploratory robotics (R. Bajcsy), provable correct systems (D. Bjørner), stratified logic programs (M. Bolla, B. Demo, and M. Sapino), image processing (L. Budach), text representation (D. Fum, G. Guida, A. Montanari, and C. Tasso), probabilistic analysis of MYCIN-like expert systems (P. Hájek), active data model for parallelism (Ch. Jesshope), sematic data models (R. Meersman), parallel computer architectures for knowledge processing (I. Plander), epistemology (T. Vamos), and mixed algorithm - and knowledge - based CAD systems (Z. Lin and Y. Guo). A brief description of the contents of the eight sections of the book is as follows: Section 1 involves twelve papers most of which present a new approach, method, algorithm or system. The topics covered include non-standard, probabilistic and fuzzy logic, automated theorem proving, problem solving, grammar systems, program synthesis and simulation methods. Section 2 contains nine papers within the field of knowledge based expert systems and learning. Particular topics treated are: hierarchical and adaptive planning, multiple heuristic evaluations to represent control knowledge, optimal splitting of knowledge into separate knowledge sources and nonmonotonic reasoning in the framework of blackboard control, unification in knowledge-based program construction, and development of domain-oriented expert system shells. Section 3 involves nine papers dealing with several issues of functional, logic or object oriented programming. Some contributions are based on the use of LISP, modifications of Common LISP, extended PROLOG, and the design of a second-generation logic programming language. Other contributions are devoted to the study of object-oriented knowledge based systems, hybrid knowledge representation and parallel programming languages. Section 4 consists of seven papers that are devoted to several aspects of discourse production and analysis, natural language processors, representation and interpretation of determiners, and learning from informal examples. Section 5 involves seven papers devoted to the expert systems and their applications. A common characteristic of the contributions in this section is that an attempt is made in all applications to integrate new tools, new rules and knowledge base into modular systems which are appropriate for the extension without any requirement to know what has been implemented before. Section 6 consists of nine papers devoted on the application of AI techniques to robotic intelligent control. It contains papers dealing with robot navigation in a crowded environment, quaternions for inverse robot kinematics, and neural networks for determining the increment of joint coordinates. Section 7 consists of seven papers dealing with 3D object recognition and 3D scene reconstruction through the matching of a 2D graph, constructed from an edge image, to a 3D object model or via the method of scene reconstruction from their X-ray projections. Section 8 contains seven papers in the fields of database system architectures (of the INGRES type), processors for LISP and C languages, systolic algorithms for parallel implementation, and metaneural network knowledge processing machines. In overall this book is a very useful tool at the hands of the computer and system professional, since the majority of the contributions contain novel ideas and techniques, accompanied by useful results. Artificial Intelligence applications find increasing popularity and attention in modern life, and this book provides, in a well balanced way, a representative set of such applications. It is thus recommended as an important addition to the libraries of Universities, research institutes, and relevant enterprises.