Download or read book Temporally Distributed Symptoms in Technical Diagnosis written by Klaus Nökel and published by Springer Science & Business Media. This book was released on 1991-07-24 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Temporally Distributed Symptoms in Technical Diagnosis written by Klaus Nokel and published by . This book was released on 2014-01-15 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Temporally Distributed Symptoms in the MOLTKE System for Technical Diagnosis written by Klaus Nökel and published by . This book was released on 1989 with total page 9 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Spatial and Temporal Reasoning written by O. Stock and published by Springer Science & Business Media. This book was released on 2007-07-27 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book AI 2010 Advances in Artificial Intelligence written by Jiuyong Li and published by Springer. This book was released on 2010-11-23 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Australia, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on knowledge representation and reasoning; data mining and knowledge discovery; machine learning; statistical learning; evolutionary computation; particle swarm optimization; intelligent agent; search and planning; natural language processing; and AI applications.

Download or read book Mathematical Aspects of Artificial Intelligence written by Frederick Hoffman and published by American Mathematical Soc.. This book was released on 1998 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Contemporary Knowledge Engineering and Cognition written by Franz Schmalhofer and published by Springer Science & Business Media. This book was released on 1992-08-12 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Current Trends in Knowledge Acquisition written by Bob Wielinga and published by IOS Press. This book was released on 1990 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Fundamentals of Computation Theory written by Lothar Budach and published by Springer Science & Business Media. This book was released on 1991-08-28 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).

Download or read book Logics in AI written by David Pearce and published by Springer Science & Business Media. This book was released on 1992-08-19 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Logic Programming in Action written by Gerard Comyn and published by Springer Science & Business Media. This book was released on 1992-08-25 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book EPIA 91 written by Pedro Barahona and published by Springer Science & Business Media. This book was released on 1991-09-23 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Resolution Methods for the Decision Problem written by C. Fermüller and published by Springer Science & Business Media. This book was released on 1993-07-29 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Processing Declarative Knowledge written by Harold Boley and published by Springer Science & Business Media. This book was released on 1991-12-04 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Machine Learning ECML 93 written by Pavel B. Brazdil and published by Springer Science & Business Media. This book was released on 1993-03-23 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Instantiation Theory written by James G. Williams and published by Springer Science & Business Media. This book was released on 1991-08-07 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book European Workshop on Planning written by Joachim Hertzberg and published by Springer Science & Business Media. This book was released on 1991-08-28 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been a communications problem among European planners, with many of them unaware of good work done in neighboring countries. This volume contains ten papers presented at the European Workshop on Planning held in Sankt Augustin, Germany, March 1991. The purpose of the workshop was to provide a forum for presenting work in planning and related areas done by European researchers. The papers provide a snapshot of planning research at present being done in Europe. They describe work in the areas of plan generation, logical approaches to planning, planning under uncertainty, planning with time, and semantics of plans.