| 1. |
- Driankov, Dimiter, 1952-, et al.
(författare)
-
An Introduction to Fuzzy Control
- 1996. - 2nd revised
-
Bok (refereegranskat)abstract
- Fuzzy controllers are a class of knowledge based controllers using artificial intelligence techniques with origins in fuzzy logic. They can be found either as stand-alone control elements or as integral parts of a wide range of industrial process control systems and consumer products. Applications of fuzzy controllers are an established practice for Japanese manufacturers, and are spreading in Europe and America. The main aim of this book is to show that fuzzy control is not totally ad hoc, that there exist formal techniques for the analysis of a fuzzy controller, and that fuzzy control can be implemented even when no expert knowledge is available. The book is mainly oriented to control engineers and theorists, although parts can be read without any knowledge of control theory and may interest AI people. This 2nd, revised edition incorporates suggestions from numerous reviewers and updates and reorganizes some of the material.
|
|
| 3. |
- Reinfrank, Michael, 1958-
(författare)
-
Fundamentals and logical foundations of truth maintenance
- 1989
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. This theory, then, is used to• draw a connection between TMSs and Autoepistemic Logic, thus closing a gap between theory and implementation in Nonmonotonic Reasoning,• provide a correctness proof for an encoding of nonmonotonic justifications in an essentially monotonic assumption-based TMS,• design a uniform framework for truth maintenance and nonmonotonic inference based on the concept of justification-schemata,• discuss a model theory of TMSs in terms of stable, maximally preferred model sets.At the time of writing, no comprehensive introductory readings on truth maintenance are available. Therefore, the present thesis begins with a set of lecture notes which provide the necessary background information for the subsequent formal treatment of foundational issues.
|
|
