EPIA'89
Author: Joao P. Martins
Publisher: Springer Science & Business Media
Published: 1989-09-06
Total Pages: 424
ISBN-13: 9783540516651
DOWNLOAD EBOOKPosts
Modelling the Innovation
Author: M. Carnevale
Publisher: North Holland
Published: 1990
Total Pages: 620
ISBN-13:
DOWNLOAD EBOOKModelling the Innovation is an interdisciplinary book concerned with updated modelling techniques in the following areas: system architectures, new telecom services, FMS/robotics systems, natural language and qualitative modelling. The book should appeal to researchers and professionals in various manufacturing industries, as well as academics involved with electronic engineering and computer science.
Philosophy of Computer Science
Author: William J. Rapaport
Publisher: John Wiley & Sons
Published: 2023-01-16
Total Pages: 534
ISBN-13: 1119891922
DOWNLOAD EBOOKA unique resource exploring the nature of computers and computing, and their relationships to the world. Philosophy of Computer Science is a university-level textbook designed to guide readers through an array of topics at the intersection of philosophy and computer science. Accessible to students from either discipline, or complete beginners to both, the text brings readers up to speed on a conversation about these issues, so that they can read the literature for themselves, form their own reasoned opinions, and become part of the conversation by contributing their own views. Written by a highly qualified author in the field, the book looks at some of the central questions in the philosophy of computer science, including: What is philosophy? (for readers who might be unfamiliar with it) What is computer science and its relationship to science and to engineering? What are computers, computing, algorithms, and programs?(Includes a line-by-line reading of portions of Turing’s classic 1936 paper that introduced Turing Machines, as well as discussion of the Church-Turing Computability Thesis and hypercomputation challenges to it) How do computers and computation relate to the physical world? What is artificial intelligence, and should we build AIs? Should we trust decisions made by computers? A companion website contains annotated suggestions for further reading and an instructor’s manual. Philosophy of Computer Science is a must-have for philosophy students, computer scientists, and general readers who want to think philosophically about computer science.
Instantiation Theory
Author: James G. Williams
Publisher: Springer Science & Business Media
Published: 1991-08-07
Total Pages: 148
ISBN-13: 9783540543336
DOWNLOAD EBOOKInstantiation 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.
Logic Programming '88
Author: Koichi Furukawa
Publisher: Springer Science & Business Media
Published: 1989-09-06
Total Pages: 268
ISBN-13: 9783540515647
DOWNLOAD EBOOKThis volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.
Philosophy And The Computer
Author: Leslie Burkholder
Publisher: Routledge
Published: 2019-09-05
Total Pages: 281
ISBN-13: 1000231038
DOWNLOAD EBOOKThe contributors set out to demonstrate the influence of the computer - not just in the philosophy of mind, where the influence has been enormous, but also in epistemology, metaphysics, logic and the philosophy of mathematics. Even ethics and ethical reasoning have been explored through the use of the computer. Indeed, the lead contribution by Nobel Laureate Herbert Simon argues that it is no exaggeration to speak of a "computational turn" in philosophy to match the much-celebrated (and maligned) "linguistic turn" of a previous generation. Of particular interest are the examinations of the wide range of applications of computational methods, the innovative instructional computer programs, and the discussions of the ethical implications of computer use.
The Psychology of Expertise
Author: Robert R. Hoffman
Publisher: Psychology Press
Published: 2014-02-25
Total Pages: 410
ISBN-13: 1317779541
DOWNLOAD EBOOKThis volume investigates our ability to capture, and then apply, expertise. In recent years, expertise has come to be regarded as an increasingly valuable and surprisingly elusive resource. Experts, who were the sole active dispensers of certain kinds of knowledge in the days before AI, have themselves become the objects of empirical inquiry, in which their knowledge is elicited and studied -- by knowledge engineers, experimental psychologists, applied psychologists, or other experts -- involved in the development of expert systems. This book achieves a marriage between experimentalists, applied scientists, and theoreticians who deal with expertise. It envisions the benefits to society of an advanced technology for capturing and disseminating the knowledge and skills of the best corporate managers, the most seasoned pilots, and the most renowned medical diagnosticians. This book should be of interest to psychologists as well as to knowledge engineers who are "out in the trenches" developing expert systems, and anyone pondering the nature of expertise and the question of how it can be elicited and studied scientifically. The book's scope and the pivotal concepts that it elucidates and appraises, as well as the extensive categorized bibliographies it includes, make this volume a landmark in the field of expert systems and AI as well as the field of applied experimental psychology.
EPIA'91
Author: Pedro Barahona
Publisher: Springer Science & Business Media
Published: 1991-09-23
Total Pages: 308
ISBN-13: 9783540545354
DOWNLOAD EBOOKThe 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.
Processing Declarative Knowledge
Author: Harold Boley
Publisher: Springer Science & Business Media
Published: 1991-12-04
Total Pages: 452
ISBN-13: 9783540550334
DOWNLOAD EBOOKThis 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.
