Computability, Complexity, and Languages: Fundamentals of Theoretical
Computer Science, 2nd Edition
Martin Davis
Ron Sigal
Elaine Weyuker
ISBN: 978-0-12-206382-4
This introductory text covers
the key areas of computer science, including recursive function
theory, formal languages, and automata. It assumes a minimal background
in formal mathematics. The book is divided into five parts: Computability,
Grammars and Automata, Logic, Complexity, and Unsolvability... [more]
Fundamentals of the Theory of Computation:
Principles and Practice
Raymond Greenlaw
James H Hoover
ISBN: 978-1-558-60547-3
his innovative textbook presents the key foundational concepts
for a one-semester undergraduate course in the theory of computation.
It offers the most accessible and motivational course material
available for undergraduate computer theory classes. Directed at
undergraduates who may have difficulty understanding the relevance
of the course to their future careers, the text helps make them
more comfortable with the techniques required for the deeper study
of computer science. The text motivates students by clarifying
complex theory with many examples, exercises and detailed proofs.... [more]
Artificial Intelligence: A New Synthesis
Nils Nilsson
ISBN: 978-1-55860-467-4
Intelligent agents are employed as the central
characters in this new introductory text. Beginning with elementary
reactive agents, Nilsson gradually increases their cognitive
horsepower to illustrate the most important and lasting ideas
in AI. Neural networks, genetic programming, computer vision,
heuristic search, knowledge representation and reasoning, Bayes
networks, planning, and language understanding are each revealed
through the growing capabilities of these agents. The book provides
a refreshing and motivating new synthesis of the field by one
of AI's master expositors and leading researchers. Artificial
Intelligence: A New Synthesis takes the reader on a complete
tour of this intriguing new world of AI... [more]
Constraint Processing
Rina Dechter
ISBN: 978-1-55860-890-0
Constraint satisfaction is
a simple but powerful tool. Constraints identify the impossible
and reduce the realm of possibilities to effectively focus on the
possible, allowing for a natural declarative formulation of what
must be satisfied, without expressing how. The field of constraint
reasoning has matured over the last three decades with contributions
from a diverse community of researchers in artificial intelligence,
databases and programming languages, operations research, management
science, and applied mathematics. Today, constraint problems are
used to model cognitive tasks in vision, language comprehension,
default reasoning, diagnosis, scheduling, temporal and spatial
reasoning... [more]
Handbook of Constraint Programming
Francesca Rossi
Peter van Beek
Toby Walsh
ISBN: 978-0-444-52726-4
Constraint programming is
a powerful paradigm for solving combinatorial search problems that
draws on a wide range of techniques from artificial intelligence,
computer science, databases, programming languages, and operations
research. Constraint programming is currently applied with success
to many domains, such as scheduling, planning, vehicle routing,
configuration, networks, and bioinformatics.
The aim of this handbook is to capture the full breadth and depth
of the constraint programming field and to be encyclopedic in its
scope and coverage. While there are several excellent books on
constraint programming, such books necessarily focus on the main
notions and techniques and cannot cover also extensions, applications,
and languages... [more]
Automated
Planning: Theory & Practice
Malik Ghallab
Dana Nau
Paolo Traverso
ISBN: 978-1-55860-856-6
Automated planning technology
now plays a significant role in a variety of demanding applications,
ranging from controlling space vehicles and robots to playing the
game of bridge. These real-world applications create new opportunities
for synergy between theory and practice: observing what works well
in practice leads to better theories of planning, and better theories
lead to better performance of practical applications.
Automated Planning mirrors this dialogue by offering a comprehensive,
up-to-date resource on both the theory and practice of automated
planning. The book goes well beyond classical planning, to include
temporal planning, resource scheduling, planning under uncertainty,
and modern techniques for plan generation, such as task decomposition,
propositional satisfiability, constraint satisfaction, and model
checking... [more]
Commonsense Reasoning
Erik T. Mueller
ISBN: 978-0-12-369388-4
To endow computers with common
sense is one of the major long-term goals of Artificial Intelligence
research. One approach to this problem is to formalize commonsense
reasoning using mathematical logic. Commonsense Reasoning is a
detailed, high-level reference on logic-based commonsense reasoning.
It uses the event calculus, a highly powerful and usable tool for
commonsense reasoning, which Erik T. Mueller demonstrates as the
most effective tool for the broadest range of applications. He
provides an up-to-date work promoting the use of the event calculus
for commonsense reasoning, and bringing into one place information
scattered across many books and papers. Mueller shares the knowledge
gained in using the event calculus and extends the literature with
detailed event calculus solutions to problems that span many areas
of the commonsense world... [more]
Handbook of Knowledge
Representation
Frank van Harmelen
Vladimir Lifschitz
Bruce Porter
ISBN: 978-0-444-52211-5
Contents... [more]
Handbook
of Temporal Reasoning
Michael Fisher
Dov M. Gabbay
Lluis Vila
ISBN: 978-0-444-51493-6
This collection represents the primary reference work for researchers
and students in the area of Temporal Reasoning in Artificial Intelligence.
Temporal reasoning has a vital role to play in many areas, particularly
Artificial Intelligence. Yet, until now, there has been no single
volume collecting together the breadth of work in this area. This
collection brings together the leading researchers in a range of
relevant areas and provides an coherent description of the breadth
of activity concerning temporal reasoning in the filed of Artificial
Intelligence... [more]
Knowledge Representation and Reasoning
Ronald Brachman
Hector Levesque
ISBN: 978-1-55860-932-7
Knowledge representation is
at the very core of a radical idea for understanding intelligence.
Instead of trying to understand or build brains from the bottom
up, its goal is to understand and build intelligent behavior from
the top down, putting the focus on what an agent needs to know
in order to behave intelligently, how this knowledge can be represented
symbolically, and how automated reasoning procedures can make this
knowledge available as needed.
This landmark text takes the central concepts of knowledge representation
developed over the last 50 years and illustrates them in a lucid
and compelling way. Each of the various styles of representation
is presented in a simple and intuitive form, and the basics of
reasoning with that representation are explained in detail. This
approach gives readers a solid foundation for understanding the
more advanced work found in the research literature... [more]
Probabilistic Reasoning in Intelligent Systems:
Networks of Plausible Inference
Judea Pearl
ISBN: 978-1-55860-479-7
Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations
and computational methods that underlie plausible reasoning under
uncertainty. The author provides a coherent explication of probability
as a language for reasoning with partial belief and offers a
unifying perspective on other AI approaches to uncertainty, such
as the Dempster-Shafer formalism, truth maintenance systems,
and nonmonotonic logic.
The author distinguishes syntactic and semantic approaches to
uncertainty--and offers techniques, based on belief networks, that
provide a mechanism for making semantics-based systems operational.
Specifically, network-propagation techniques serve as a mechanism
for combining the theoretical coherence of probability theory with
modern demands of reasoning-systems technology: modular declarative
inputs, conceptually meaningful inferences, and parallel distributed
computation... [more]
Machine Vision: Theory, Algorithms, Practicalities, 3rd Edition
E.
R. Davies
ISBN: 978-0-12-206093-9
In the last 40 years, machine
vision has evolved into a mature field embracing a wide range of
applications including surveillance, automated inspection, robot
assembly, vehicle guidance, traffic monitoring and control, signature
verification, biometric measurement, and analysis of remotely sensed
images. While researchers and industry specialists continue to
document their work in this area, it has become increasingly difficult
for professionals and graduate students to understand the essential
theory and practicalities well enough to design their own algorithms
and systems. This book directly addresses this need.
As in earlier editions, E.R. Davies clearly and systematically
presents the basic concepts of the field in highly accessible prose
and images, covering essential elements of the theory while emphasizing
algorithmic and practical design constraints... [more]
Stochastic
Local Search: Foundations & Applications
Holger H. Hoos
Thomas Stützle
ISBN: 978-1-55860-872-6
Stochastic local search (SLS)
algorithms are among the most prominent and successful techniques
for solving computationally difficult problems in many areas of
computer science and operations research, including propositional
satisfiability, constraint satisfaction, routing, and scheduling.
SLS algorithms have also become increasingly popular for solving
challenging combinatorial problems in many application areas, such
as e-commerce and bioinformatics.
Hoos and Stützle offer the first systematic and unified treatment
of SLS algorithms. In this groundbreaking new book, they examine
the general concepts and specific instances of SLS algorithms and
carefully consider their development, analysis and application.... [more]
Introduction to Knowledge Systems
Mark Stefik
ISBN: 978-1-55860-166-6
Focusing on fundamental scientific and engineering
issues, this book communicates the principles of building and using
knowledge systems from the conceptual standpoint as well as the
practical.
Previous treatments of knowledge systems have focused on applications
within a particular field, or on symbol-level representations,
such as the use of frame and rule representations. Introduction
to Knowledge Systems presents fundamentals of symbol-level representations
including
representations for time, space, uncertainty, and vagueness. It
also compares the knowledge-level organizations for three common
knowledge-intensive tasks: classification, configuration, and diagnosis... [more]
Paradigms of Artificial Intelligence Programming: Case Studies
in Common Lisp
Peter Norvig
ISBN: 978-1-55860-191-8
Paradigms of AI Programming is the first
text to teach advanced Common Lisp techniques in the context of
building major AI systems. By reconstructing authentic, complex
AI programs using state-of-the-art Common Lisp, the book teaches
students and professionals how to build and debug robust practical
programs, while demonstrating superior programming style and important
AI concepts. The author strongly emphasizes the practical performance
issues involved in writing real working programs of significant
size. Chapters on troubleshooting and efficiency are included,
along with a discussion of the fundamentals of object-oriented
programming and a description of the main CLOS functions. This
volume is an excellent text for a course on AI programming, a useful
supplement for general AI courses and an indispensable reference
for the professional programmer... [more]
Genetic Programming: An Introduction
Wolfgang Banzhaf
Peter Nordin
Robert Keller
Frank Francone
ISBN: 978-1-55860-510-7
Since the early 1990s, genetic
programming (GP)—a discipline
whose goal is to enable the automatic generation of computer programs—has
emerged as one of the most promising paradigms for fast, productive
software development. GP combines biological metaphors gleaned
from Darwin's theory of evolution with computer-science approaches
drawn from the field of machine learning to create programs that
are capable of adapting or recreating themselves for open-ended
tasks.
This unique introduction to GP provides a detailed overview of
the subject and its antecedents, with extensive references to the
published and online literature. In addition to explaining the
fundamental theory and important algorithms, the text includes
practical discussions covering a wealth of potential applications
and real-world implementation techniques. Software professionals
needing to understand and apply GP concepts will find this book
an invaluable practical and theoretical guide... [more]
Swarm Intelligence
Russell Eberhart
Yuhui Shi
James Kennedy
ISBN: 978-1-55860-595-4
Traditional methods for creating intelligent
computational systems have
privileged private "internal" cognitive and computational
processes. In
contrast, Swarm Intelligence argues that human
intelligence derives from the interactions of individuals in a
social world
and further, that this model of intelligence can be effectively
applied to
artificially intelligent systems. The authors first present the
foundations of
this new approach through an extensive review of the critical literature
in
social psychology, cognitive science, and evolutionary computation.
They
then show in detail how these theories and models apply to a new
computational intelligence methodology—particle swarms—which
focuses
on adaptation as the key behavior of intelligent systems. Drilling
down
still further, the authors describe the practical benefits of applying
particle
swarm optimization to a range of engineering problems. Developed
by
the authors, this algorithm is an extension of cellular automata
and
provides a powerful optimization, learning, and problem solving
method... [more]
 C4.5:
Programs for Machine Learning
J. Quinlan
ISBN: 978-1-55860-238-0
Classifier systems play a major role in
machine learning and knowledge-based systems, and Ross Quinlan's
work on ID3 and C4.5 is widely acknowledged to have made some of
the most significant contributions to their development. This book
is a complete guide to the C4.5 system as implemented in C for
the UNIX environment. It contains a comprehensive guide to the
system's use , the source code (about 8,800 lines), and implementation
notes. The source code and sample datasets are also available for
download.
C4.5 starts with large sets of cases belonging
to known classes. The cases, described by any mixture of nominal
and numeric properties, are scrutinized for patterns that allow
the classes to be reliably discriminated. These patterns are then
expressed as models, in the form of decision trees or sets of if-then
rules, that can be used to classify new cases, with emphasis on
making the models understandable as well as accurate... [more]
Computational Intelligence:
Concepts to Implementations
Russell Eberhart
Yuhui Shi
ISBN: 978-1-55860-759-0
Russ Eberhart and Yuhui Shi
have succeeded in integrating various natural and engineering disciplines
to establish Computational Intelligence. This is the first comprehensive
textbook, including lots of practical examples. —Shun-ichi Amari,
RIKEN Brain Science Institute, Japan
This book is an excellent choice on its own, but, as in my case,
will form the foundation for our advanced graduate courses in the
CI disciplines. —James M. Keller, University of Missouri-Columbia... [more]
Engineering a Compiler
Keith Cooper
Linda Torczon
ISBN: 978-1-55860-698-2
The proliferation of processors,
environments, and constraints on systems has cast compiler technology
into a wider variety of settings, changing the compiler and compiler
writer's role. No longer is execution speed the sole criterion
for judging compiled code. Today, code might be judged on how small
it is, how much power it consumes, how well it compresses, or how
many page faults it generates. In this evolving environment, the
task of building a successful compiler relies upon the compiler
writer's ability to balance and blend algorithms, engineering insights,
and careful planning. Today's compiler writer must choose a path
through a design space that is filled with diverse alternatives,
each with distinct costs, advantages, and complexities... [more]
|
