This entertaining book is designed for the reader who enjoys thinking about new technologies and how to use them in solving practical problems. It provides reusable software modules for specific applications, as well as the methodology and spirit required to master problems for which there is no obvious solution. This book is for AI novices who want to learn new technologies and increase their capabilities and for AI professionals who want reusable application-oriented software modules to use in building their own systems. Each chapter contains background information and theory, a discussion of sample programs, program listings and output, additional information on the sample programs, and suggested exercises. Chapters use engaging real-world examples such as speech and handwriting recognition using neural networks, natural language processing with an example database interface, expert system shells, computer chess game, chaos theory, and fractal generation programs. The text assumes a reading knowledge of LISP and the implementation ability of a set of graphics primitives used for simple graphics operations. While all examples are implemented in Common LISP, the examples are also portable to other LISP dialects. The neural network and fractal examples are also portable to other languages such as C and Pascal.
Author: Guy L. Steele
Publisher: Digital Press
Release Date: 1990
The defacto standard - a must-have for all LISP programmers. In this greatly expanded edition of the defacto standard, you'll learn about the nearly 200 changes already made since original publication - and find out about gray areas likely to be revised later. Written by the Vice- Chairman of X3J13 (the ANSI committee responsible for the standardization of Common Lisp) and co-developer of the language itself, the new edition contains the entire text of the first edition plus six completely new chapters. They cover: - CLOS, the Common Lisp Object System, with new features to support function overloading and object-oriented programming, plus complete technical specifications * Loops, a powerful control structure for multiple variables * Conditions, a generalization of the error signaling mechanism * Series and generators * Plus other subjects not part of the ANSI standards but of interest to professional programmers. Throughout, you'll find fresh examples, additional clarifications, warnings, and tips - all presented with the author's customary vigor and wit.
Find solutions to problems and answers to questions you are likely to encounter when writing real-world applications in Common Lisp. This book covers areas as diverse as web programming, databases, graphical user interfaces, integration with other programming languages, multi-threading, and mobile devices as well as debugging techniques and optimization, to name just a few. Written by an author who has used Common Lisp in many successful commercial projects over more than a decade, Common Lisp Recipes is also the first Common Lisp book to tackle such advanced topics as environment access, logical pathnames, Gray streams, delivery of executables, pretty printing, setf expansions, or changing the syntax of Common Lisp. The book is organized around specific problems or questions each followed by ready-to-use example solutions and clear explanations of the concepts involved, plus pointers to alternatives and more information. Each recipe can be read independently of the others and thus the book will earn a special place on your bookshelf as a reference work you always want to have within reach. Common Lisp Recipes is aimed at programmers who are already familiar with Common Lisp to a certain extent but do not yet have the experience you typically only get from years of hacking in a specific computer language. It is written in a style that mixes hands-on no-frills pragmatism with precise information and prudent mentorship. If you feel attracted to Common Lisp's mix of breathtaking features and down-to-earth utilitarianism, you'll also like this book.
This is the first complete and definitive reference to Common LISP, a popular computer language often used by artificial intelligence programmers. This is an alphabetical reference, which includes essays, and is for serious LISP programmers.
Author: Andy Gill
Publisher: Springer Science & Business Media
Release Date: 2009-02-13
This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, colocated with POPL 2009, the Symposium on Principles of Programming Languages. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 48 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on user interfaces and environments, networks and data, multi-threading and parallelism, databases and large data sets, tabling and optimization, as well as language extensions and implementation.
Author: Fillia Makedon
Publisher: Springer Science & Business Media
Release Date: 1998-02-28
Electronic Multimedia Publishing brings together in one place important contributions and up-to-date research results in this fast moving area. Electronic Mulitmedia Publishing serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
Author: Christian Queinnec
Publisher: Cambridge University Press
Release Date: 2003-12-04
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.
Author: LLC Books
Publisher: Books LLC, Wiki Series
Release Date: 2010-05
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 44. Chapters: Cyc, Maxima, Kyoto Common Lisp, ACL2, Genera, ACT-R, Qi, Macsyma, Axiom, SHINE Expert System, SK8, ICAD, SNePS, Soar, Nqthm, SymbolicWeb, Dynamic Analysis and Replanning Tool, CMU Common Lisp, *Lisp, LispWorks, Steel Bank Common Lisp, Allegro Common Lisp, CL-HTTP, Copycat, Apple Dylan, ITA Software, Game Oriented Assembly Lisp, 4CAPS, AARON, OpenMusic, Scieneer Common Lisp, Clozure CL, CLISP, Macintosh Common Lisp, SLIME, KEE, SNARK, OPS5, Another System Definition Facility, CommonLoops, LOOM, GNU Common Lisp, Common Lisp Interface Manager, Actor-Based Concurrent Language, Weblocks, Hemlock, Prototype Verification System, Corman Common Lisp, Climacs, CLiki, Embeddable Common Lisp, Clfswm, CLPython, Common Music Notation, Mirai, CLforJava, NESL, Common Lisp Music, KM programming language, Movitz, OBJ3, LKB, UnCommon Web, CLX, Simple Grid Protocol, SubL, Theorem Proving System, AllegroCache, Ironclad. Excerpt: ACT-R (pronounced act-ARE: Adaptive Control of Thought-Rational) is a cognitive architecture mainly developed by John Robert Anderson at Carnegie Mellon University. Like any cognitive architecture, ACT-R aims to define the basic and irreducible cognitive and perceptual operations that enable the human mind. In theory, each task that humans can perform should consist of a series of these discrete operations. Most of the ACT-R basic assumptions are also inspired by the progresses of cognitive neuroscience, and ACT-R can be seen and described as a way of specifying how the brain itself is organized in a way that enables individual processing modules to produce cognition. ACT-R has been inspired by the work of Allen Newell, and especially by his life-long championing the idea of unified theories as the only way to truly uncover the underpinnings of cognition. In fact, John Anderson usually credits Allen Newell as th...
Author: Rachid Guerraoui
Publisher: Springer Science & Business Media
Release Date: 1999-06-02
\My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO can be viewed as a \must-have" feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming languages, OO operating s- tems, OO databases, OO speci cations, OO methodologies, etc. So what does a conference on Object-Oriented Programming really mean? I honestly don’t know. What I do know is that, since its creation in 1987, ECOOP has been attracting a large number of contributions, and ECOOP conferences have ended up with high-quality technical programs, featuring interesting mixtures of theory and practice. Among the 183 initial submissions to ECOOP’99, 20 papers were selected for inclusion in the technical program of the conference. Every paper was reviewed by three to ve referees. The selection of papers was carried out during a t- day program committee meeting at the Swiss Federal Institute of Technology in Lausanne. Papers were judged according to their originality, presentation qu- ity, and relevance to the conference topics.
Author: Michael Lee Scott
Publisher: Morgan Kaufmann
Release Date: 2000
Programming Language Pragmatics addresses the fundamental principles at work in the most important contemporary languages, highlights the critical relationship between language design and language implementation, and devotes special attention to issues of importance to the expert programmer. Thanks to its rigorous but accessible teaching style, you'll emerge better prepared to choose the best language for particular projects, to make more effective use of languages you already know, and to learn new languages quickly and completely. * Addresses the most recent developments in programming language design, spanning more than forty different languages, including Ada 95, C, C++, Fortran 95, Java, Lisp, Scheme, ML, Modula-3, Pascal, and Prolog. * Places a special emphasis on implementation issues how the techniques used by compilers and related tools influence language design, and vice versa. * Covers advanced topics in language design and implemenation, such as iterators, coroutines, templates (generics), separate compilation, I/O, type inference, and exception handling. * Reviews language-related topics in assembly-level architecture critical for understanding what a compiler does to a program. * Offers in-depth coverage of object-oriented programming, including multiple inheritance and dynamic method binding. * Devotes a special section to static and dynamic linking. * Includes a comprehensive chapter on concurrency, with detailed coverage of both shared-memory and message-passing languages and libraries. * Provides an accessible introduction to the formal foundations of compilation (automata theory), functional programming (lambda calculus), and logic programming (predicate calculus).
The book has an introductory chapter that gets the reader started quickly with programming in Perl. The initial part of the book discusses Perl expressions, statements, control flow, built-in data types such as arrays and hashes, and complex data structures built using references. On Perl has several chapters covering specialized topics. The chapter on socket-based network programming deals with forking and using fork to write complex interactive client-server programs. There is a chapter with in-depth discussion of CGI programming including error-handling and security issues that arise. The chapter on web-client programming deals with writing programs that access Web pages, fill up GET and POST forms, handle cookies and redirected Web pages. The book has several unique chapters not found in any other book on Perl in the market. The chapter on security discusses hashes such as MD5, message authentication codes (MACs), digital signature schemes, and encryption techniques such as DES, Rijndael, and RSA. Other chapters deal with writing recursive programs that work with files and directories; this chapter also discusses predefined modules that deal with portability in file names and paths across operating systems, recursive traversal of file hierarchies and tarring and untarring of filles. The chapter on functional programming illustrates that Perl functions are first-class, can be used to write closures and can be composed to form more complex functions. In particular, this can be useful for programming in artificial intelligence.
Author: Alfonso Miola
Publisher: Springer Science & Business Media
Release Date: 1990-03-26
DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments, and Automatic Programming.