Formalism in AI and Computer Science

Formalism in AI and Computer Science
Author: Philip Leith
Publisher:
Total Pages: 236
Release: 1990
Genre: Computers
ISBN:

A work on the philosophy and sociology of computer science. Limited technical discussion. Although intended for students of computer science, it will likely appeal more to philosophers with a scientific bent. Annotation copyrighted by Book News, Inc., Portland, OR

Logic-Based Artificial Intelligence

Logic-Based Artificial Intelligence
Author: Jack Minker
Publisher: Springer Science & Business Media
Total Pages: 640
Release: 2000-12-31
Genre: Computers
ISBN: 9780792372240

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.

Artificial Intelligence

Artificial Intelligence
Author: Thomas L. Dean
Publisher: Addison-Wesley Professional
Total Pages: 604
Release: 1995
Genre: Computers
ISBN:

This book provides a detailed understanding of the broad issues in artificial intelligence and a survey of current AI technology. The author delivers broad coverage of innovative representational techniques, including neural networks, image processing and probabilistic reasoning, alongside the traditional methods of symbolic reasoning. The work is intended for students in artificial intelligence, researchers and LISP programmers.

Theory and Application of Multi-Formalism Modeling

Theory and Application of Multi-Formalism Modeling
Author: Gribaudo, Marco
Publisher: IGI Global
Total Pages: 314
Release: 2013-10-31
Genre: Computers
ISBN: 1466646608

With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.

The Second Age of Computer Science

The Second Age of Computer Science
Author: Subrata Dasgupta
Publisher: Oxford University Press
Total Pages: 361
Release: 2018
Genre: Computers
ISBN: 0190843861

Between the genesis of computer science in the 1960s and the advent of the World Wide Web around 1990, computer science evolved in significant ways. The author has termed this period the "second age of computer science." This book describes its evolution in the form of several interconnected parallel histories.

Towards a Theory of Cognition and Computing

Towards a Theory of Cognition and Computing
Author: James Gerard Wolff
Publisher: Prentice Hall
Total Pages: 204
Release: 1991
Genre: Computers
ISBN:

Comprising a selection of previously published articles together with new material, this book describes a theory of knowledge developed by the author which promises new insights in cognition and computing.

Logic-Based Artificial Intelligence

Logic-Based Artificial Intelligence
Author: Jack Minker
Publisher: Springer Science & Business Media
Total Pages: 600
Release: 2012-12-06
Genre: Computers
ISBN: 146151567X

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.

Artificial Intelligence, Evolutionary Computing and Metaheuristics

Artificial Intelligence, Evolutionary Computing and Metaheuristics
Author: Xin-She Yang
Publisher: Springer
Total Pages: 797
Release: 2012-07-27
Genre: Technology & Engineering
ISBN: 3642296947

Alan Turing pioneered many research areas such as artificial intelligence, computability, heuristics and pattern formation. Nowadays at the information age, it is hard to imagine how the world would be without computers and the Internet. Without Turing's work, especially the core concept of Turing Machine at the heart of every computer, mobile phone and microchip today, so many things on which we are so dependent would be impossible. 2012 is the Alan Turing year -- a centenary celebration of the life and work of Alan Turing. To celebrate Turing's legacy and follow the footsteps of this brilliant mind, we take this golden opportunity to review the latest developments in areas of artificial intelligence, evolutionary computation and metaheuristics, and all these areas can be traced back to Turing's pioneer work. Topics include Turing test, Turing machine, artificial intelligence, cryptography, software testing, image processing, neural networks, nature-inspired algorithms such as bat algorithm and cuckoo search, and multiobjective optimization and many applications. These reviews and chapters not only provide a timely snapshot of the state-of-art developments, but also provide inspiration for young researchers to carry out potentially ground-breaking research in the active, diverse research areas in artificial intelligence, cryptography, machine learning, evolutionary computation, and nature-inspired metaheuristics. This edited book can serve as a timely reference for graduates, researchers and engineers in artificial intelligence, computer sciences, computational intelligence, soft computing, optimization, and applied sciences.