Bücher der Reihe Symbolic Computation

This would seem to indicate that many of the essential aspects of diagnostic reasoning are a type of intuiti- based, common sense reasoning. More precisely, diagnostic reasoning can be classified as a type of inf- ence known as abductive reasoning or abduction.

Prolog has a declarative style. Its real point is the examples introduced from Chapter 3 onwards, and so a Prolog programmer does not need to read Chapters 1 and 2, which are oriented more to teachers and to students, respec tively.

TO COMPUTER GRAPHICS BASED ONGKS Part I gives an introduction to basic concepts of computer graph ics and to the principles and concepts of GKS.

A solution to this problem is a sequence of moves leading from the initial configuration to the goal configuration, and an optimal solution is a solution having the smallest number of moves.

User models have recently attracted much research interest in the field of artificial intelligence dialog systems.

The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of the AI community. The catalogue is a reference work providing a quick guide to the AI techniques available for different jobs.

The notion of a process is introduced as a fundamental tool to describe activities like design as a whole, computer-aided design, program executions, terminal sessions etc. The problem of modelling the design objects in an abstract schema and the interrelation between the schema and the planning of the individual step in the design are analysed.

Hayes present in their paper "Robust Parsing Using Multiple Construction-Specific Strategies" two small experimental parsers, implemented to illustrate the advantages of a multi-strategy approach to parsers, with strategies selected according to the type of construction being parsed at any given time.

Recent research results in the area of parallel algorithms for problem solving, search, natural language parsing, and computer vision, are brought together in this book.

Secondarily, the book has been targetted at technical managers and advanced students who need some understanding of the graphics standards and how they fit together, along with a good overview of the Computer Graphics Interface (CGI) proposal and Computer Graphics Metafile (CGM) standard in particular.

Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way.

It was less problematic to gather statistics from quality control and to print reports than to react immediately to first hints of irregularities by inter facing with the designers or manufacturing control, or, even better, by auto matically diagnosing the causes from the design and planning data.

Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation.

Knowledge representation is perhaps the most central problem confronting artificial intelligence. The problem of knowledge representation breaks down into several subsidiary problems including what knowledge to represent in a particular application.

Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency.

With contributions by numerous experts

In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition.

Like a finite state automaton, an ATN consists of a collection of la beled states and arcs, a distinguished start state and a set of distin guished final states.

The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.

Finally, we have described in detail the extensions needed to the basic influence resolution algorithm in QP theory to oper ate on these extended descriptions. In the next chapter we extend these techniques further, by developing a qualitative perturbation analysis technique that permits us to answer "what ir' control questions;

The first chapter gives an impression of the book as a whole, and following chapters deal with the history and the components of CAD, the process aspect of CAD, CAD architecture, graphical devices and systems, CAD engineering methods, CAD data transfer, and application examples.

Effective object-oriented systems in combination with a graphics kernel does it mean that the field of computer graphics has now become merely an aspect of the object-oriented world?

Manufacturing contributes to over 60 % of the gross national product of the highly industrialized nations of Europe. It is the purpose ofthis book to discuss new research results in manufacturing with engineers who face the challenge of building tomor row's factories.