Temporally Distributed Symptoms In Technical Diagnosis

Author : Klaus Nökel
Publisher : Springer Science & Business Media
Page : 180 pages
File Size : 42,7 Mb
Release : 1991-07-24
Category : Computers
ISBN : 3540543163

Get Book

Temporally Distributed Symptoms in Technical Diagnosis by Klaus Nökel Pdf

Complex machines can fail in complex ways. Often the nature of the fault can be determined only through the interpretation of machine behavior over time. This book presents a novel approach to the representation and recognition of temporally distributed symptoms. Existing diagnostic expert systems usually operate under a set of simplifying assumptions that limit their applicability. A common assumption is that the device to be diagnosed has a static behavior, with the relation between inputs and outputs constant over time. In most realistic application domains this assumption is violated and both the normal, intended function of the device and the potential malfunctions are complex behaviors over time. This book addresses the problem of systematically treating information about fault symptoms that are spread out over periods of time. These symptoms are characterized by a specific order of events, and in the general case a single snapshot of the device state does not suffice to recognize the symptoms. Instead one has to plan a measurement sequence that consists of several observations at more than one time point. Starting with a classification of various types of dynamic faulty behavior, the author identifies temporally distributed systems (TDSs) and designs a representation language that allows TDSs to be specified in a declarative manner. The definition of a successful match of a measurement sequence against a TDS specification is operationalized as an algorithm which plans such an observation sequence based on the TDS specification. The author demonstrates that his novel solution is a generic, paradigm-independent building block for diagnostic expert systems by embedding it into the frameworks of both an associative and a model-based diagnostic system. The book will be valuable both for researchers working on applications of temporal reasoning and prospective users of technical expert systems.

Author : Klaus Nokel
Publisher : Unknown
Page : 182 pages
File Size : 44,9 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662181363

Get Book

Temporally Distributed Symptoms in Technical Diagnosis by Klaus Nokel Pdf

Author : O. Stock
Publisher : Springer Science & Business Media
Page : 392 pages
File Size : 40,9 Mb
Release : 2007-07-27
Category : Language Arts & Disciplines
ISBN : 9780585283227

Get Book

Spatial and Temporal Reasoning by O. Stock Pdf

Qualitative reasoning about space and time - a reasoning at the human level - promises to become a fundamental aspect of future systems that will accompany us in daily activity. The aim of Spatial and Temporal Reasoning is to give a picture of current research in this area focusing on both representational and computational issues. The picture emphasizes some major lines of development in this multifaceted, constantly growing area. The material in the book also shows some common ground and a novel combination of spatial and temporal aspects of qualitative reasoning. Part I presents the overall scene. The chapter by Laure Vieu is on the state of the art in spatial representation and reasoning, and that by Alfonso Gerevini gives a similar survey on research in temporal reasoning. The specific contributions to these areas are then grouped in the two main parts. In Part II, Roberto Casati and Achille Varzi examine the ontological status of spatial entities; Anthony Cohn, Brandon Bennett, John Gooday, and Nicholas Gotts present a detailed theory of reasoning with qualitative relations about regions; Andrew Frank discusses the spatial needs of geographical information systems; and Annette Herskovits focuses on the linguistic expression of spatial relations. In Part III, James Allen and George Ferguson describe an interval temporal logic for the representation of actions and events; Drew McDermott presents an efficient way of predicting the outcome of plan execution; and Erik Sandewall introduces a semantics based on transitions for assessing theories of action and change. In Part IV, Antony Galton's chapter stands clearly between the two areas of space and time and outlines the main coordinates of an integrated approach.

Author : Ilias S. Kotsireas,Siegfried M. Rump,Chee K. Yap
Publisher : Springer
Page : 628 pages
File Size : 41,6 Mb
Release : 2016-04-16
Category : Computers
ISBN : 9783319328591

Get Book

Mathematical Aspects of Computer and Information Sciences by Ilias S. Kotsireas,Siegfried M. Rump,Chee K. Yap Pdf

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.

Author : Frederick Hoffman,American Mathematical Society
Publisher : American Mathematical Soc.
Page : 290 pages
File Size : 43,6 Mb
Release : 1998
Category : Artificial intelligence
ISBN : 9780821806111

Get Book

Mathematical Aspects of Artificial Intelligence by Frederick Hoffman,American Mathematical Society Pdf

There exists a history of great expectations and large investments involving artificial intelligence (AI). There are also notable shortfalls and memorable disappointments. One major controversy regarding AI is just how mathematical a field it is or should be. This text includes contributions that examine the connections between AI and mathematics, demonstrating the potential for mathematical applications and exposing some of the more mathematical areas within AI. The goal is to stimulate interest in people who can contribute to the field or use its results. Included in the work by M. Newborn on the famous Deep BLue chess match. He discusses highly mathematical techniques involving graph theory, combinatorics and probability and statistics. G. Shafer offers his development of probability through probability trees with some of the results appearing here for the first time. M. Golumbic treats temporal reasoning with ties to the famous Frame Problem. His contribution involves logic, combinatorics and graph theory and leads to two chapters with logical themes. H. Kirchner explains how ordering techniques in automated reasoning systems make deduction more efficient. Constraint logic programming is discussed by C. Lassez, who shows its intimate ties to linear programming with crucial theorems going back to Fourier. V. Nalwa's work provides a brief tour of computer vision, tying it to mathematics - from combinatorics, probability and geometry to partial differential equations. All authors are gifted expositors and are current contributors to the field. The wide scope of the volume includes research problems, research tools and good motivational material for teaching.

Author : Franz Schmalhofer,Gerhard Strube
Publisher : Springer Science & Business Media
Page : 280 pages
File Size : 40,5 Mb
Release : 1992-08-12
Category : Computers
ISBN : 3540557113

Get Book

Contemporary Knowledge Engineering and Cognition by Franz Schmalhofer,Gerhard Strube Pdf

This book has its source in the question of whether any knowledge engineering tools can be applied or analyzed in cognition research and what insights and methods of cognitive science might be relevant for knowledge engineers. It presents the proceedings of a workshop organized by the Special Interest Groups Cognition and Knowledge Engineering of the German Society for Informatics, held in February 1992 in Kaiserslautern. The book is structured into three parts. The first part contrasts work in knowledge engineering with approaches from the side of the "soft sciences". The second part deals with case-based approaches in expert systems. Cognition research and the cognitive adequacy of expert systems are discussed in the third part. Contributions from Canada, England, France, Switzerland, and the USA demonstrate how knowledge engineering and cognitive science are woven together internationally.

Author : Bob Wielinga
Publisher : IOS Press
Page : 390 pages
File Size : 44,5 Mb
Release : 1990
Category : Computers
ISBN : 9051990367

Get Book

Current Trends in Knowledge Acquisition by Bob Wielinga Pdf

Knowledge acquisition has become a major area of artificial intelligence and cognitive science research. The papers in this book show that the area of knowledge acquisition for knowledge-based systems is still a diverse field in which a large number of research topics are being addressed. However, several main themes run through the papers. First, the issues of integrating knowledge from different sources and K.A. tools is a salient topic in many papers. A second major topic in the papers is that of knowledge modelling. Research in knowledge-based systems emphasises the use of generic models of reasoning and its underlying knowledge. An important trend in the area of knowledge modelling aims at the formalisation of knowledge models. Where the field of knowledge acquisition was without tools and techniques years ago, now there is a rapidly growing body of techniques and tools. Apart from the integrated workbenches already mentioned above, several papers in this book present new tools. Although knowledge acquisition and machine learning have been considered as separate subfields of AI, there is a tendency for the two fields to come together. This publication combines machine learning techniques with more conventional knowledge elicitation techniques. A framework is presented in which reasoning, problem solving and learning together form a knowledge intensive system that can acquire knowledge from its own experience.

Author : Lothar Budach
Publisher : Springer Science & Business Media
Page : 444 pages
File Size : 53,8 Mb
Release : 1991-08-28
Category : Computers
ISBN : 3540544585

Get Book

Fundamentals of Computation Theory by Lothar Budach Pdf

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry, cryptography, - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts), - Algorithms (efficient, probabilistic, parallel, sequential, distributed), - Counting and combinatorics in connection with mathematical computer science. The proceedings of previous FCT meetings are available as Lecture Notes in Computer Science (Vols. 380, 278, 199, 158, 117, 56).

Author : David Pearce,Gerd Wagner
Publisher : Springer Science & Business Media
Page : 424 pages
File Size : 51,7 Mb
Release : 1992-08-19
Category : Computers
ISBN : 354055887X

Get Book

Logics in AI by David Pearce,Gerd Wagner Pdf

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.

Author : Gerard Comyn,Norbert E. Fuchs
Publisher : Springer Science & Business Media
Page : 338 pages
File Size : 52,8 Mb
Release : 1992-08-25
Category : Business & Economics
ISBN : 3540559302

Get Book

Logic Programming in Action by Gerard Comyn,Norbert E. Fuchs Pdf

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.

Author : Pedro Barahona,Luis Moniz Pereira,Antonio Porto
Publisher : Springer Science & Business Media
Page : 308 pages
File Size : 55,5 Mb
Release : 1991-09-23
Category : Computers
ISBN : 3540545352

Get Book

EPIA'91 by Pedro Barahona,Luis Moniz Pereira,Antonio Porto Pdf

The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.

Author : C. Fermüller
Publisher : Springer Science & Business Media
Page : 220 pages
File Size : 46,7 Mb
Release : 1993-07-29
Category : Business & Economics
ISBN : 3540567321

Get Book

Resolution Methods for the Decision Problem by C. Fermüller Pdf

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.

Author : Harold Boley
Publisher : Springer Science & Business Media
Page : 452 pages
File Size : 46,7 Mb
Release : 1991-12-04
Category : Computers
ISBN : 354055033X

Get Book

Processing Declarative Knowledge by Harold Boley Pdf

This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.

Author : Pavel B. Brazdil
Publisher : Springer Science & Business Media
Page : 492 pages
File Size : 48,6 Mb
Release : 1993-03-23
Category : Computers
ISBN : 3540566023

Get Book

Machine Learning: ECML-93 by Pavel B. Brazdil Pdf

This volume contains the proceedings of the Eurpoean Conference on Machine Learning (ECML-93), continuing the tradition of the five earlier EWSLs (European Working Sessions on Learning). The aim of these conferences is to provide a platform for presenting the latest results in the area of machine learning. The ECML-93 programme included invited talks, selected papers, and the presentation of ongoing work in poster sessions. The programme was completed by several workshops on specific topics. The volume contains papers related to all these activities. The first chapter of the proceedings contains two invited papers, one by Ross Quinlan and one by Stephen Muggleton on inductive logic programming. The second chapter contains 18 scientific papers accepted for the main sessions of the conference. The third chapter contains 18 shorter position papers. The final chapter includes three overview papers related to the ECML-93 workshops.

Author : James G. Williams
Publisher : Springer Science & Business Media
Page : 148 pages
File Size : 55,5 Mb
Release : 1991-08-07
Category : Computers
ISBN : 3540543333

Get Book

Instantiation Theory by James G. Williams Pdf

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences.