Bøger i Artificial Intelligence serien

Artificial Intelligence (AI) has attracted the attention of many researchers and users alike, and it has become increasingly crucial in our modern society. From cars, smartphones, airplanes, medical equipment, consumer applications, and industrial machines, among others, the impact of AI is notoriously changing the world we live in and making it better in many areas. However, it is equally important to remember that every progress comes with certain challenges that we as a society must address.

Artificial intelligence (AI) has attracted the attention of many and is taking an increasingly crucial role in our modern society. AI machines demonstrate advanced cognitive skills in making decisions, learning, perceiving the environment, predicting certain behavior, and processing written or spoken languages, among other skills. In tandem with AI, "swarm intelligence" is being used to solve complex problems that are beyond the reasoning and problem-solving abilities of humans. This book discusses both AI and swarm intelligence, including their theoretical backgrounds and applications.

This book presents an overview of Industry 4.0 (IR4.0) technologies including the Internet of Things (IoT), big data, data mining, deep learning, machine learning, Artificial Intelligence (AI), and cloud/edge computing. It also provides detailed insight into the impact of cutting-edge technologies such as the Internet of Services (IoS), innovative sensing strategies, and cyber-physical systems on IR4.0 as well as data-driven, real-time detection, and condition monitoring applications.

This book discusses multi-agent technologies (MATs) and machine learning (ML). These tools can be integrated and applied in industry, commerce, energy, medicine, psychology, and other areas. This volume consists of six chapters in three sections that discuss the integration, applications, and advanced results of MATs and ML.

Although the chess program was not complete even after ten years, the program PIONEER-2 for computing the monthly repair schedule for the Interconnected Power System of Russian Central was completed in a few months.

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.

This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change.

It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.

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.

flexibel und tragfähig erwiesen; seiner ausführlichen Dar­ stellung ist folglich auch der größte Teil dieses Buches gewidmet.

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.

The ideas and processes presented in this volume further our understanding of computational models of design, particularly those that are capable of assisting in the production of non-routine designs, and affirm that we are indeed moving toward a science of design.

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.

With contributions by numerous experts

Originally presented as the author's thesis (doctoral--Technical University, Munich, 1990).

In this paper, a comparison is made of several proof calculi in terms of the lengths of shortest proofs for some given formula of first order predicate logic with function symbols. In particular, we address the question whether, given two calculi, any derivation in one of them can be simulated in the other in polynomial time. The analogous question for propositional logic has been intensively studied by various authors because of its implications for complexity theory. And it seems there has not been as much endeavour in this field in first order logic as there has been in propositional logic. On the other hand, fOr most of the practical applications of logic, a powerful tool such as the language of first order logic is needed. The main interest of this investigation lies in the calculi most frequently used in automated theorem proving, the resolution calculus, and analytic calculi such as the tableau calculus and the connection method. In automated theorem proving there are two important aspects of complexity. In order to have a good theorem proving system, we must first have some calculus in which we can express our derivations in concise form. And second, there must be an efficient search strategy. This book deals mainly with the first aspect which is a necessary condition for the second since the length of a shortest proof always also gives a lower bound to the complexity of any strategy.

Beyond this theoretical basis the scope of the book includes also implementational aspects and a valuation of existing models and systems.

A monograph for specialists interested in building maintainable knowledge based systems, giving a unified methodology for the design of such systems

Indeed, the basic description of a plan generation algorithm has remained constant for nearly three decades: given a desciption of an initial state I, a goal state G, and a set of action types, find a sequence S of instantiated actions such that when S is executed instate I, G is guaranteed as a result.

Since the start of the DENDRAL project at Stanford University over 15 years ago, with its objective of problem-solving via the automation of actual human expert knowledge, significant expert systems projects have been completed in countries rang ing from Japan to France, Spain to China.

They include explicit picture query languages that augment alphanumeric data query langua ges as well as languages and command sets which are implicitly embedded in a pictorial information system but perform similar functions.