Author : John R. Anderson
Publisher : Macmillan
Page : 542 pages
File Size : 32,26 MB
Release : 2005
Category : Psychology
ISBN : 9780716701101
This text offers a systematic and accessible presentation of the theoretical foundations of higher mental processes. It addresses both the information processing and the cognitive neuroscience approaches to the field.
Author : Christopher K. Riesbeck
Publisher : Psychology Press
Page : 449 pages
File Size : 44,28 MB
Release : 2013-05-13
Category : Psychology
ISBN : 113493002X
Introducing issues in dynamic memory and case-based reasoning, this comprehensive volume presents extended descriptions of four major programming efforts conducted at Yale during the past several years. Each descriptive chapter is followed by a companion chapter containing the micro program version of the information. The authors emphasize that the only true way to learn and understand any AI program is to program it yourself. To this end, the book develops a deeper and richer understanding of the content through LISP programming instructions that allow the running, modification, and extension of the micro programs developed by the authors.
Author : S.M. Deen
Publisher : Springer Science & Business Media
Page : 331 pages
File Size : 12,66 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447118316
This is the first international conference aimed at bringing the distributed database and distributed AI (DAD experts together, from both academia and industry, in order to discuss the issues of the next generation of knowledge based systems, namely Cooperating Knowledge Based Systems or CKBS for short. As the area of CKBS is new, we intended it to be an ideas conference - a conference where interesting new ideas, rather than results from completed projects, are explored, discussed, and debated. The conference was organised by the DAKE Centre. This is an interdisciplinary centre at the University of Keele for research and development in Data and Knowledge Engineering (DAKE). The Centre draws most of its strength from the Department of Computer Science which also provides administrative support for the activities of the Centre, although its membership is spread over several departments. The Centre has three main streams of research activities, namely: Large Knowledge Bases Software Engineering Neural Networks The Large Knowledge Base group, which provided the focus for this conference, is active in a number of research areas relating to data and knowledge bases, spanning from distributed databases to cooperations among data and knowledge bases. The current research topics include integration of data and knowledge bases and coopera ting knowledge based systems, with several major projects in the latter (see the entries under the Poster Session given below).
Author : Lorenza Saitta
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 29,1 MB
Release : 2013-06-05
Category : Computers
ISBN : 1461470528
Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences. After discussing the characterizing properties of abstraction, a formal model, the KRA model, is presented to capture them. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications. It is the impact of abstraction in Artificial Intelligence, Complex Systems and Machine Learning which creates the core of the book. A general framework, based on the KRA model, is presented, and its pragmatic power is illustrated with three case studies: Model-based diagnosis, Cartographic Generalization, and learning Hierarchical Hidden Markov Models.
Author : Patrick Cousot
Publisher : MIT Press
Page : 833 pages
File Size : 42,81 MB
Release : 2021-09-21
Category : Computers
ISBN : 0262361523
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, based on their semantics. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers. This book provides an introduction to the theory and practice of abstract interpretation, offering examples of applications to semantics, specification, verification, and static analysis of programming languages with emphasis on calculational design. The book covers all necessary computer science and mathematical concepts--including most of the logic, order, linear, fixpoint, and discrete mathematics frequently used in computer science--in separate chapters before they are used in the text. Each chapter offers exercises and selected solutions. Chapter topics include syntax, parsing, trace semantics, properties and their abstraction, fixpoints and their abstractions, reachability semantics, abstract domain and abstract interpreter, specification and verification, effective fixpoint approximation, relational static analysis, and symbolic static analysis. The main applications covered include program semantics, program specification and verification, program dynamic and static analysis of numerical properties and of such symbolic properties as dataflow analysis, software model checking, pointer analysis, dependency, and typing (both for forward and backward analysis), and their combinations. Principles of Abstract Interpretation is suitable for classroom use at the graduate level and as a reference for researchers and practitioners.
Author : Jean-Daniel Zucker
Publisher : Springer
Page : 387 pages
File Size : 44,62 MB
Release : 2005-08-25
Category : Computers
ISBN : 3540318828
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh.
Author :
Publisher : IOS Press
Page : 4576 pages
File Size : 46,44 MB
Release :
Category :
ISBN :
Author : Tom M. Mitchell
Publisher : Springer Science & Business Media
Page : 413 pages
File Size : 24,85 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461322790
One of the currently most active research areas within Artificial Intelligence is the field of Machine Learning. which involves the study and development of computational models of learning processes. A major goal of research in this field is to build computers capable of improving their performance with practice and of acquiring knowledge on their own. The intent of this book is to provide a snapshot of this field through a broad. representative set of easily assimilated short papers. As such. this book is intended to complement the two volumes of Machine Learning: An Artificial Intelligence Approach (Morgan-Kaufman Publishers). which provide a smaller number of in-depth research papers. Each of the 77 papers in the present book summarizes a current research effort. and provides references to longer expositions appearing elsewhere. These papers cover a broad range of topics. including research on analogy. conceptual clustering. explanation-based generalization. incremental learning. inductive inference. learning apprentice systems. machine discovery. theoretical models of learning. and applications of machine learning methods. A subject index IS provided to assist in locating research related to specific topics. The majority of these papers were collected from the participants at the Third International Machine Learning Workshop. held June 24-26. 1985 at Skytop Lodge. Skytop. Pennsylvania. While the list of research projects covered is not exhaustive. we believe that it provides a representative sampling of the best ongoing work in the field. and a unique perspective on where the field is and where it is headed.
Author : Marie Duží
Publisher : IOS Press
Page : 342 pages
File Size : 35,41 MB
Release : 2007
Category : Business & Economics
ISBN : 1586037102
In the last decades, information modelling and knowledge bases have become hot topics not only in academic communities related to information systems and computer science, but also in business areas where information technology is applied. This book aims to exchange scientific results and experiences achieved in computer science and other related disciplines using innovative methods and progressive approaches. A platform has been established drawing together researchers as well as practitioners dealing with information modelling and knowledge bases. The main topics of this publication target the variety of themes in the domain of information modelling, conceptual analysis, design and specification of information systems, ontologies, software engineering, knowledge and process management, data and knowledge bases. The editors also aim at applying new progressive theories.
Author : Mathias Weske
Publisher : Springer
Page : 426 pages
File Size : 19,12 MB
Release : 2019-06-22
Category : Computers
ISBN : 3662594323
Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect in business process management for experts to handle, by contrast computer science professionals often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction. Matthias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. To this end, he details the complete business process lifecycle from the modeling phase to process enactment and improvement, taking into account all different stakeholders involved. After starting with a presentation of general foundations and abstraction models, he explains concepts like process orchestrations and choreographies, as well as process properties and data dependencies. Finally, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. In addition, he shows how standards like WfMC, SOAP, WSDL, and BPEL fit into the picture. This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. This 3rd edition contains a new chapter on business decision modelling, covering the Decision Model and Notation (DMN) standard; the chapter on process choreographies has been streamlined, and numerous clarifications have been fetched throughout the book. The accompanying website www.bpm-book.com contains further information and additional teaching material.
