PDF4PRO ⚡AMP

Modern search engine that looking for books and documents around the web

Example: biology

Introduction to LISP - University of Pittsburgh

1CS 2740 Knowledge RepresentationM. HauskrechtCS 2740 Knowledge RepresentationLecture 2 Milos Sennott SquareIntroduction to LISP CS 2740 Knowledge RepresentationM. HauskrechtLISP languageLISP: LISt Processing language An AI language developed in 1958 (J. McCarthy at MIT) Special focus on symbolic processing and symbol manipulation Linked list structures Also programs, functions are represented as lists At one point special LISP computers with basic LISP functions implemented directly on hardware were available (Symbolics Inc., 80s)LISP today: Many AI programs now are written in C,C++, Java List manipulation libraries are available2CS 2740 Knowledge RepresentationM. HauskrechtLISP languageLISP Competitors: Prolog, Python but LISP keeps its dominance among high level (AI) programming languagesCurrent LISP: Common Lisp Scheme are the most widely-known general-purpose Lisp dialectsCommon LISP: Interpreter and compiler CLOS: object oriented programmingCS 2740 Knowledge RepresentationM.

LISP tutorial Evaluation rules: • A symbol value is sought and substituted • A quoted value is kept untouched > (setq a 12) 12 > (setq b (+ a 4)) 16 > (setq b ‘(+ a 4)) (+ a 4) > (eval b) ;; explicit evaluation call 16 CS 2740 Knowledge Representation M. Hauskrecht LISP tutorial: functions and predicates Some useful functions and predicates:

Fullscreen Download

Tags:

  Introduction, Tutorials, Slip, Introduction to lisp

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Spam in document Broken preview Other abuse

Transcription of Introduction to LISP - University of Pittsburgh

Documents from same domain

CS 1652: Data Communication and Computer Networks …

people.cs.pitt.edu

from the application layer to the data-link layer. Concurrent with the lectures, you (in groups of two) will be building a functional TCP/IP stack and a small web server that will run on it.

  Network, Computer, Communication, Data, Data communication and computer networks

Informal proofs - University of Pittsburgh

people.cs.pitt.edu

Informal proofs Proving theorems in practice: • The steps of the proofs are not expressed in any formal language as e.g. propositional logic

  Language, Informal, Proof, Formal, Formal language, Informal proofs

MIPS Floating Point Instructions

people.cs.pitt.edu

11/9/2011 1 MIPS Floating Point Instructions CS/COE 447 Why Floating Point? • Sometimes need very small, or very large numbers? Non-integers?

  Instructions, Points, Floating, Imps, Floating point, Mips floating point instructions

Foundations of Artificial Intelligence

people.cs.pitt.edu

“The branch of computer science that is concerned with the automation of in-telligent behavior” (Luger+Stubblefield, 1993) Views of AI fall into four categories: Thinking humanly Thinking rationally Acting humanly Acting rationally Examining these, we will plump for acting rationally (sort of) AIMA Chapter 1 (after Russell and Norvig) 3

  Intelligence, Foundations, Sciences, Artificial, Foundations of artificial intelligence

Propositional logic: Horn clauses

people.cs.pitt.edu

• Horn form (Horn normal form) • Two inference rules that are sound and complete with respect to propositional symbols for KBs in the Horn normal form: – Resolution (positive unit resolution) – Modus ponens (A∨¬B) ∧(¬A∨¬C ∨D) Can be written also as: (B ⇒ A) ∧(( A ∧C) ⇒ D) CS 2740 Knowledge Representation M. Hauskrecht ...

  Horn

Sequences and summations

people.cs.pitt.edu

Sequences and summations CS 441 Discrete mathematics for CS M ... Arithmetic progression Definition: An arithmetic progression is a sequence of the ... -1, 3, 7, 11, … 3 CS 441 Discrete mathematics for CS M. Hauskrecht Geometric progression Definition A geometric progression is a sequence of the form: a, ar, ar2, ..., ark, where a is the ...

  Sequence, Geometric, Arithmetic

Time Series: Autoregressive models AR, MA, ARMA, ARIMA

people.cs.pitt.edu

Gaussian White Noise {A particular useful white noise is Gaussian white noise, wherein the w ... -20 0 20 40 60 80 12/77. Time Series Analysis The procedure of using known data values to t a time series ... Measures of Dependence A complete description of a time series, observed as a

  Measure, Gaussian

Introduction to Kernel Methods

people.cs.pitt.edu

1 Introduction to Kernel Methods Dave Krebs CS 3750 Fall 2007 ... Paradigm for Pattern Analysis. Kernel Methods in Bioengineering, Signal and Image Processing. 2007. ... 9 Mercer’s Condition (continued) if and only if, for any g(x) such that is finite, then It can be ...

  Analysis, Introduction, 1 introduction, Patterns, Pattern analysis

Probabilities: Expected value

people.cs.pitt.edu

Expected value Investment problem: • You have 100 dollars and can invest into a stock. The returns are volatile and you may get either $120 with probability of 0.4, or $90 with probability 0.6. • What is the expected value of your investment? • M. Hauskrecht Expected value Investment problem: • You have 100 dollars and can invest into a ...

  Expected, The expected

Sets and set operations - University of Pittsburgh

people.cs.pitt.edu

• Ordered-n tuples are used to represent an ordered collection. Definition: An ordered n-tuple (x1, x2, ..., xN) is the ordered collection that has x1 as its first element, x2 as its second element, ..., and xN as its N-th element, N 2. Example: • Coordinates of a point in the 2-D plane (12, 16) x y

  Ordered

Related documents

About the Tutorial

www.tutorialspoint.com

Once you download your Java implementation, follow the given instructions to install and configure the setup. Finally set the PATH and JAVA_HOME environment variables to refer to the directory that contains java and javac, typically java_install_dir/bin and java_install_dir respectively. If you are running Windows and install the SDK in C:\jdk1.5.0

  Tutorials, Java

Flutter Tutorial - Learn Flutter with Examples

www.tutorialkart.com

Flutter is happy to work with your existing code in Java, Swift, ObjC etc. Flutter makes single code base possible for both IOS and Android applications. ... Flutter Tutorial. Flutter Development Language – Dart Flutter uses Dart programming language for developing applications. To learn Dart follow Dart Tutorial.

  With, Example, Learn, Tutorials, Java, Flutter, Flutter tutorial learn flutter with examples

Das BlueJ Tutorial

www.bluej.org

Dieses Tutorial ist eine Anleitung zur Benutzung der BlueJ Programmieroberfläche. BlueJ ist eine Java™ Entwicklungsumgebung, die speziell für den Schulunterricht entworfen wurde. Es wurde vom BlueJ Team an der Deakin Universität in Melbourne, Australien, und der Uni-versität von Kent in Canterbury, Großbritannien, entworfen und umgesetzt.

  Tutorials, Java

Java Tutorial

www.tutorialspoint.com

Java i About the Tutorial Java is a high-level programming language originally developed by Sun Microsystems and released in 1995. Java runs on a variety of platforms, such as Windows, Mac OS, and the various versions of UNIX. This tutorial gives a complete understanding of Java.

  Tutorials, Java, Java tutorial

Java Tutorial - Colorado State University

www.cs.colostate.edu

Java Tutorial Java is a high-level programming language originally developed by Sun Microsystems and released in 1995. Java runs on a variety of platforms, such as Windows, Mac OS, and the various versions of UNIX. This tutorial gives a complete understanding ofJava.

  Tutorials, Java, Java tutorial, Java tutorial java

JavaCC Tutorial - Faculty of Engineering and Applied Science

www.engr.mun.ca

Chapter 1 Introduction to JavaCC 1.1 JavaCC and Parser Generation JavaCCisaparsergeneratorandalexicalanalyzergenerator. Parsersandlexicalanalysers

  Tutorials

Unit Testing in BlueJ

www.bluej.org

This tutorial discusses BlueJ’s tools for systematic unit testing. If you are familiar with BlueJ’s interaction features, then you know that it is easy in BlueJ to test individual methods interactively. We refer to this as ad-hoc testing. Ad-hoc testing is useful, but not good enough for systematic testing. The unit testing

  Testing, Unit, Tutorials, Bluej, Unit testing in bluej

Related search queries

Tutorial, Java, Flutter Tutorial - Learn Flutter with Examples, Java Tutorial, Tutorial Java, Java Tutorial Java, Unit Testing in BlueJ