Author: Katharina Morik
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 416
ISBN-13: 3642730051
DOWNLOAD EBOOK →Author: Wolfgang Hoeppner
Publisher: Springer
Published: 1988-09-14
Total Pages: 352
ISBN-13: 9783540502937
DOWNLOAD EBOOK →Der Band enthält alle Beiträge, die für die 12. Jahrestagung 'Künstliche Intelligenz' (GWAI-88) vom Programmkomitee akzeptiert worden sind. Die 29 Fachbeiträge werden von drei eingeladenen Hauptvorträgen ergänzt: B. Bartsch-Spörl untersucht den augenblicklichen Entwicklungsstand von KI-Systemen, die in der Praxis eingesetzt werden, und zeigt Perspektiven für die zukünftige Entwicklung auf; J. Funke geht auf den methodologischen Unterschied zwischen Kognitionswissenschaften und KI-Forschung ein; P. Levi stellt neue Planungsverfahren für mehrere autonome Agenten als Teilgebiete der Robotik dar. Die Fachbeiträge sind in erster Linie den Teilgebieten Wissensrepräsentation und Natürlichsprachliche Systeme zuzuordnen, zwei Bereiche, auf denen in der Bundesrepublik traditionell intensiv geforscht wird. Vier Beiträge stellen neue Methoden aus dem Feld der niederen Bilddeutung vor. Neben diesen Schwerpunkten enthält der Band auch Arbeiten aus den Gebieten Maschinelles Lernen, Kognition, Deduktion und KI-Programmierung. In einer Zeit, in der die KI-Forschung in der Bundesrepublik einen enormen Aufschwung erlebt, ist gerade auch eine kritische Einschätzung der Forschungssituation wünschenswert. Die letzten vier Beiträge des Bandes sind deshalb Positionspapiere zum Thema 'Grenzen der KI', die während einer Podiumsdiskussion auf der GWAI-88 diskutiert wurden. Die Hälfte der Beiträge dieses Bandes ist deutsch, die andere Hälfte englisch abgefaßt.
Author: Tatsuaki Okamoto
Publisher: Springer Science & Business Media
Published: 2001-10-24
Total Pages: 798
ISBN-13: 9783540428800
DOWNLOAD EBOOK →ICICS 2001, the Third International Conference on Information and Commu- cations Security, was held in Xi’an, China, 13-16 November 2001. Among the preceding conferences, ICICS’97 was held in Beijing, China, 11-14 November 1997 and ICICS’99 in Sydney, Australia, 9-11 November 1999. The ICICS’97 and ICICS’99 proceedings were released as volumes 1334 and 1726 of Springer- Verlag’s Lecture Notes in Computer Science series. ICICS 2001 was sponsored by the Chinese Academy of Sciences (CAS), the - tional Natural Science Foundation of China, and the China Computer Fe- ration. The conference was organized by the Engineering Research Center for Information Security Technology of the Chinese Academy of Sciences (ERCIST, CAS) in co-operation with the International Association for Cryptologic Re- arch (IACR), the International Communications and Information Security - sociation (ICISA), and the Asiacrypt Steering Committee. The format of ICICS 2001 was selected to cover the complete spectrum of - formation and communications security, and to promote participant interaction. The sessions were designed to promote interaction between the major topics of the conference: theoretical foundations of security, secret sharing, network - curity, authentication and identi?cation, boolean functions and stream ciphers, security evaluation, signatures, block ciphers and public-key systems, infor- tion hiding, protocols and their analysis, and cryptanalysis. The 29-member Program Committee considered 134 submissions from 23 di- rent countries and regions, among them 56 papers were accepted for presentation.
Author: Georg Menges
Publisher: Springer Science & Business Media
Published: 2013-03-12
Total Pages: 251
ISBN-13: 3642831265
DOWNLOAD EBOOK →The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.
Author: Jean-Marc David
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 763
ISBN-13: 3642779271
DOWNLOAD EBOOK →Second Generation Expert Systems have been a very active field of research during the last years. Much work has been carried out to overcome drawbacks of first generation expert systems. This book presents an overview and new contributions from people who have played a major role in this evolution. It is divided in several sections that cover the main topics of the subject: - Combining Multiple Reasoning Paradigms - Knowledge Level Modelling - Knowledge Acquisition in Second Generation Expert Systems - Explanation of Reasoning - Architectures for Second Generation Expert Systems. This book can serve as a reference book for researchers and students and will also be an invaluable help for practitioners involved in KBS developments.
Author: Gregory N. Carlson
Publisher: University of Chicago Press
Published: 1995-08
Total Pages: 473
ISBN-13: 0226092925
DOWNLOAD EBOOK →In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the current state of the art in the semantics of generics, and afford insight into various generic phenomena.
Author: Gabriel Ferrate
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 456
ISBN-13: 3642834620
DOWNLOAD EBOOK →Thirty years ago pattern recognition was dominated by the learning machine concept: that one could automate the process of going from the raw data to a classifier. The derivation of numerical features from the input image was not considered an important step. One could present all possible features to a program which in turn could find which ones would be useful for pattern recognition. In spite of significant improvements in statistical inference techniques, progress was slow. It became clear that feature derivation was a very complex process that could not be automated and that features could be symbolic as well as numerical. Furthennore the spatial relationship amongst features might be important. It appeared that pattern recognition might resemble language analysis since features could play the role of symbols strung together to form a word. This led. to the genesis of syntactic pattern recognition, pioneered in the middle and late 1960's by Russel Kirsch, Robert Ledley, Nararimhan, and Allan Shaw. However the thorough investigation of the area was left to King-Sun Fu and his students who, until his untimely death, produced most of the significant papers in this area. One of these papers (syntactic recognition of fingerprints) received the distinction of being selected as the best paper published that year in the IEEE Transaction on Computers. Therefore syntactic pattern recognition has a long history of active research and has been used in industrial applications.
Author: Herbert Stoyan
Publisher: Springer Science & Business Media
Published: 2013-03-07
Total Pages: 161
ISBN-13: 3642733859
DOWNLOAD EBOOK →Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Author: Guus Schreiber
Publisher: Academic Press
Published: 1993-05-05
Total Pages: 484
ISBN-13: 9780126290400
DOWNLOAD EBOOK →KADS is a structured methodology for the development of knowledge based systems which has been adopted throughout the world by academic and industrial professionals alike. KADS approaches development as a modeling activity. Two key characteristics of KADS are the use of multiple models to cope with the complexity of knowledge engineering and the use of knowledge-level descriptions as an immediate model between system design and expertise data. The result is that KADS enables effective KBS construction by building a computational model of desired behavior for a particular problem domain. KADS contains three section: the Theoretical Basis of KADS, Languages and Tools, and Applications. Together they form a comprehensive sourcebook of the how and why of the KADS methodology. KADS will be required reading for all academic and industrial professionals concerned with building knowledge-based systems. It will also be a valuable source for students of knowledge acquisition and KBS. * SPECIAL FEATURES: * KADS is the most widely used commercial structured methodology for KBS development in Europe and is becoming one of the few significant AI exports to the US. * Describes KADS from its Theoretical Basis, through Language and Tool Developments, to real Applications.