人工智能

人工智能编程
 
AI Programming Resources
  http://www.cs.berkeley.edu/~russell/prog.html 
PC AI - Logic Programming
  http://www.pcai.com/pcai/New_Home_Page/ai_info/logic_programming.html 
Computational Logic
  http://archive.museophile.sbu.ac.uk/compulog/ 
Genetic-Programming.org
  http://www.genetic-programming.org/ 
ILOG, Inc.
  http://www.ilog.com/ 
University of Washington: Constraint-Based Systems
  http://www.cs.washington.edu/research/constraints/ 
Declarative Systems & Software Engineering (DSSE) Group
  http://www.dsse.ecs.soton.ac.uk/ 
Extreme Software
  http://www.plogic.com/extreme.html 
Topics in Information Processing 2CS24: Declarative Languages
  http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html 
Constraint Logic Programming
  http://www.ai.univie.ac.at/oefai/clp/ 
  http://www.idiom.com/free-compilers/TOOL/CLP-1.html 
  http://citeseer.nj.nec.com/24834.html 
  http://www.cs.unh.edu/ccc/archive/ 
comp.lang.functional FAQ
  http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html 
Mondrian
  http://www.mondrian-script.org/ 
John McCarthy
  http://www-formal.stanford.edu/jmc/ 
Screamer Tool Repository
  http://www.cis.upenn.edu/~screamer-tools/home.html 
Lisp Resources
  http://eksl-www.cs.umass.edu/lisp-resources/ 
  http://psg.com/~dlamkins/sl/cover.html 
Mercury Project
  http://www.cs.mu.oz.au/research/mercury/ 
The Miranda Programming Language
  http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html 
Mozart Programming System
  http://www.mozart-oz.org/ 
Oz Programming System
  http://www.ps.uni-sb.de/oz2/ 
Logic Programming Associates
  http://www.lpa.co.uk/ 
Cetus Links: Prolog
  http://www.cetus-links.org/oo_prolog.html 
The Scheme Programming Language
  http://www.swiss.ai.mit.edu/projects/scheme/index.html 
Schemers.org
  http://www.schemers.org/ 
CMU Scheme Repository
  http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0. 

html
  
  
自然语言处理
 
HNC自然语言理解处理网站
  http://www.hncnlp.com 
comp.speech WWW Site [UK] - Information on speech technology products and soft

ware.
  http://svr-www.eng.cam.ac.uk/comp.speech/ 
Computational Semiotics and Fuzzy Linguistics
  http://www.ldv.uni-trier.de:8080/ldvpage/rieger/pub/aufsaetze/ssa96/ssa96-ab 

stract.html
Computational Semiotics
  http://www.dca.fee.unicamp.br/~gudwin/compsemio/ 
Grammar Formalisms
  http://cslu.cse.ogi.edu/HLTsurvey/ch3node5.html 
Grammatical Inference
  http://www.cs.iastate.edu/~honavar/gi/gi.html 
LINGUIST List virtual library
  http://www.emich.edu/~linguist/www-vl.html 
"String Searching Algorithms" Book
  http://homepages.tesco.net/~gas/ssa/ 
AGFL Grammar Work Lab
  http://www.cs.kun.nl/agfl/ 
Natural Language Software Registry
  http://registry.dfki.de/ 
  
神经网络
 
Neural Networks Tutorial Review
  http://hem.hj.se/~de96klda/NeuralNetworks.htm 
  ftp://ftp.sas.com/pub/neural/FAQ.html 
Image Compression with Neural Networks
  http://www.comp.glam.ac.uk/digimaging/neural.htm 
Backpropagator's Review
  http://www.dontveter.com/bpr/bpr.html 
Bibliographies on Neural Networks
  http://liinwww.ira.uka.de/bibliography/Neural/ 
Intelligent Motion Control with an Artificial Cerebellum
  http://www.q12.org/phd.html 
Kernel Machines
  http://www.kernel-machines.org/ 
Some Neural Networks Research Organizations
  http://www.ieee.org/nnc/ 
  http://www.inns.org/ 
Neural Network Modeling in Vision Research
  http://www.rybak-et-al.net/nisms.html 
Neural Networks and Machine Learning
  http://learning.cs.toronto.edu/ 
Neural Application Software
  http://attrasoft.com 
Neural Network Toolbox for MATLAB
  http://www.mathworks.com/products/neuralnet/ 
Netlab Software
  http://www.ncrg.aston.ac.uk/netlab/ 
Kunama Systems Limited
  http://www.kunama.co.uk/ 

人工智能综述
 
AI Tutorial Review
  http://www-2.cs.cmu.edu/Groups/AI/html/faqs/top.html 
  http://www-formal.stanford.edu/jmc/whatisai/whatisai.html 
  http://psych.utoronto.ca/%7Ereingold/courses/ai/ 
  http://spinoza.tau.ac.il/hci/dep/philos/ai/links.html 
  http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/ai.html 
Journal of Artificial Intelligence Research
  http://www.jair.org/ 
The Turing Test and Intelligence
  http://www.abelard.org/turing/tur-hi.htm 
AI Resources
  http://www.aaai.org/Pathfinder/pathfinder.html 
  http://www.cs.berkeley.edu/~russell/ai.html 
  http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/rep 

ositories.html
  http://ai.iit.nrc.ca/ai_point.html 
  http://www.compinfo-center.com/tpai-t.htm 
AI Programming Resources
  http://www.cs.berkeley.edu/~russell/prog.html 
Some AI Research Organizations
  http://www.ai.univie.ac.at/oefai/oefai.html 
  http://www.ai.mit.edu/ 
  http://sound.media.mit.edu 
  http://ai.iit.nrc.ca 
  http://www.aic.nrl.navy.mil 
  http://ic-www.arc.nasa.gov/ic 
  http://www.holotopology.com 
  http://www.iiia.csic.es 
  http://www.fingerpass.net 
  http://www.aaai.org/ 
专家系统
 
Introduction to Expert Systems
  http://members.aol.com/jacksonpe/music1/introduc.htm 
  http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/expertSys.html 
Berkeley Expert System Technology lab
  http://best.me.berkeley.edu/ 
Jess, the Expert System Shell for the Java Platform
  http://herzberg.ca.sandia.gov/jess 
CLIPS: A Tool for Building Expert Systems
  http://www.ghg.net/clips/CLIPS.html 
FuzzyCLIPS - Fuzzy Work(Expert System)
  http://www.iit.nrc.ca/IR_public/fuzzy/fuzzyClips/fuzzyCLIPSIndex.html 
Knowledge Acquisition for Expert Systems at Acquired Intelligence
  http://www.aiinc.ca/ 
HUGIN EXPERT
  http://www.hugin.com/cases/ 
Computer program designed to solve standard American crosswords
  http://www.cs.duke.edu/~keim/proverb/ 
GEOMET Technologies, Inc.
  http://www.geomet.com/ai.htm 
ExpLore Reasoning Systems: Business rule and expert system
  http://www.ers.com/ 镯
  
知识表示
 
Knowledge Representation
  http://pages.cpsc.ucalgary.ca/~kremer/courses/CG/CGlecture_notes.html 
Knowledge Discovery In Databases: Tools and techniques
  http://www.acm.org/crossroads/xrds5-2/kdd.html 
Resource Description Framework (RDF) Schema Specification 1.0 ,W3C Candidate R

ecommendation 27 March 2000
  http://www.w3.org/TR/2000/CR-rdf-schema-20000327/ 
W3C Resource Description Framework Resource Description Framework (RDF), the W

3C Standard for knowledge representation on the Web
  http://www.w3.org/RDF/ 
Knowledge Interchange Format (KIF)- Knowledge Interchange Format (KIF), a DARP

A project based format for exchanging pieces of knowledge bases
  http://logic.stanford.edu/kif/kif.html 
Data Mining And Knowledge Discovery
  http://www.ingber.com/path98_datamining.pdf 
AI Knowledge-Based Systems
  http://www.ai.univie.ac.at/oefai/kbs/index.html 
Knowledge Representation Resources
  http://www.cs.cofc.edu/~manaris/ai-education-repository/ 

机器学习
 
Machine Learning Tutorial
  http://robotics.stanford.edu/people/nilsson/mlbook.html 
Reinforcement Learning:An Introduction
  http://www-anw.cs.umass.edu/~rich/book/the-book.html 
The Journal of Machine Learning Research
  http://www.jmlr.org/ 
Online Machine Learning Resources
  http://www.ai.univie.ac.at/oefai/ml/ml-resources.html 
  http://www.mlnet.org 
Machine Learning at AAAI
  http://www.aaai.org/Pathfinder/html/machine.html 
Active Logic - inference engine that incorporates a history of their reasoning

 as they run
  http://www.cs.umd.edu/projects/active/ 
Machine Learning in Games
  http://satirist.org/learn-game/ 
Machine Learning Group
  http://www.cs.bris.ac.uk/Research/MachineLearning/ 
Knowledge Acquisition for Expert Systems at Acquired Intelligence
  http://www.aiinc.ca/ 
机器人
 
China Robotics Web Sites
  http://www.robotschina.com/ 
Robot Science & Technology - magazine
  http://www.robotmag.com/ 
Mobile Robotics Research Group, Edinburgh University
  http://www.dai.ed.ac.uk/groups/mrg/MRG.html 
robort topics and links
  http://www.cbc.umn.edu/~mwd/robot.html 
Arnold goal to design a system of multiple robots, that are individually auton

omous and can team up to cooperatively perform tasks.
  http://www.cim.mcgill.ca/~mabous/RESEARCH/ 
Modular Reconfigurable Robotics - research project from Xerox PARC to design s

mall, autonomous robots that can be reconfigured and linked together to achiev

e different goals.
  http://www.parc.xerox.com/spl/projects/modrobots/ 
Polypod - modular, reconfigurable robot that walks, rolls, and crawls
  http://robotics.stanford.edu/users/mark/polypod.html 
Australia's Telerobot on the Web
  http://telerobot.mech.uwa.edu.au/ 
RoboCup: The Robot World Cup
  http://www.robocup.org/02.html 
智能代理
 
Intelligent Agent Tutorial Review
  http://www.magma.ca/~mrw/agents/ 
  http://agents.umbc.edu/introduction/ 
  http://www.davidreilly.com/topics/software_agents/ 
A Perspective on Software Agents Research
  http://agents.umbc.edu/introduction/hn-dn-ker99.html 
Intelligent Agents: Theory and Practice
  http://www.ecs.soton.ac.uk/~nrj/download-files/KE-REVIEW-95.ps 
Software Agents: An Overview
  http://www.sce.carleton.ca/netmanage/docs/AgentsOverview/ao.html 
Mobile Agents and the Future of the Internet
  http://www.cs.dartmouth.edu/~dfk/papers/kotz:future2/ 
Intelligent Agent Resource
  http://www.agentlink.org/ 
  http://www.insead.fr/CALT/Encyclopedia/ComputerSciences/Agents/ 
  http://www.compinfo-center.com/tpagnt-t.htm 
定理证明和高阶逻辑
 
Proof Theory as an Alternative to Model Theory
  http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html 
FTP'2000
  http://www.uni-koblenz.de/ftp00/ 
Mathematical Reasoning Group
  http://dream.dai.ed.ac.uk/ 
Description of the HOL Theorem Proving System
  http://lal.cs.byu.edu/lal/hol-desc.html 
Isabelle
  http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ 
Software, Theorem Provers
  http://www.tcs.informatik.uni-muenchen.de/~matthes/logikserver/software.html 


Inductive Theorem Prover INKA 4.0
  http://www.dfki.de/vse/systems/inka/ 
TABLEAUX
  http://i12www.ira.uka.de/TABLEAUX/ 
演绎与推理
 
Mechanized Reasoning Systems
  http://www-formal.stanford.edu/clt/ARS/systems.html 
International Journal of Approximate Reasoning
  http://seraphim.csee.usf.edu/Nafips/ijar.html 
Case-Based Reasoning
  http://www.nupedia.com/article/short/Case-Based+Reasoning/ 
  http://www.aiai.ed.ac.uk/links/cbr.html 
David J.C. MacKay: Information Theory, Inference and Learning Algorithms
  http://www.inference.phy.cam.ac.uk/mackay/itprnn/ps/ 
Exploring the Labyrinth of the Mind
  http://www.nytimes.com/books/97/07/20/reviews/hofstadter-magazine.html 
TMYCIN: Medical Reasoning System
  http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/medical 

/tmycin/0.html
Reasoning about Computational Resource Allocation
  http://www.acm.org/crossroads/xrds3-1/racra.html 
Qualitative Reasoning Research at UT Austin
  http://www.cs.utexas.edu/users/qr/ 
Qualitative Reasoning Group, Northwestern University
  http://www.qrg.ils.nwu.edu/ 
Formal Reasoning Group
  http://www-formal.stanford.edu/ 
Case-Based Reasoning
  http://www.ai-cbr.org/ 
Integrated Reasoning Group Overview
  http://www.iit.nrc.ca/IR_public/english.html 
模式识别
 
Pattern Recognition Tutorial
  http://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html 
Pattern Recognition for HCI
  http://www-engr.sjsu.edu/~knapp/HCIRODPR/PR_home.htm 
RailwayBridge: Medical Applications for Pattern Classifiers
  http://www.railwaybridge.co.uk/medimage1.html 
Bayesian motion estimation and segmentation
  http://www.cs.berkeley.edu/~yweiss/thesis.html 
Facial Expression Home Page
  http://www.mic.atr.co.jp/~mlyons/facial_expression.html 
Keith Price Bibliography Annotated Computer Vision Bibliography:
  http://iris.usc.edu/Vision-Notes/bibliography/contents.html 
IEEE Transactions on Pattern Analysis and Machine Intelligence
  http://www.computer.org/tpami/ 
Pattern Recognition Information
  http://www.ph.tn.tudelft.nl/PRInfo/index.html 
  http://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html 
Department of Cognitive and Neural Systems at Boston University
  http://cns-web.bu.edu/ 
Attrasoft Neural Network Application Software
  http://attrasoft.com/ 
optical recognition objectives
  http://www.gabitus.com/ 
 博弈论
 
Computers, Games and the Real World
  http://www.sciam.com/1998/1198intelligence/1198ginsberg.html 
Machine Learning in Games
  http://satirist.org/learn-game/ 
How Machines have Learned to Play Othello
  http://www.neci.nj.nec.com/ homepages/mic/ps/IEEE.pdf
Amit's Thoughts on Path-Finding
  http://theory.stanford.edu/~amitp/GameProgramming/ 
Game AI
  http://www.gameai.com/ai.html 
Journal & Book Publications on Othello Programs
  http://www.neci.nj.nec.com/homepages/mic/publications.html 
Chinook
  http://www.cs.ualberta.ca/~chinook/ 
Project: Von Neumann
  http://www.krl.caltech.edu/~charles/alife-game/ 
自适应
 
READY: User-Oriented Resource-Adaptivity
  http://w5.cs.uni-sb.de/~ready/ready-pubs.html 
Algorithms for Adaptive Sampling Designs
  http://www.eecs.umich.edu/~qstout/abs/Seattle97 
Complex Adaptive Systems
  http://www.aic.nrl.navy.mil/~spears/ 
Intelligent Motion Control with an Artificial Cerebellum
  http://www.q12.org/phd.html 
Piranha and Adaptive Parallelism
  http://www.cs.yale.edu/HTML/YALE/CS/Linda/piranha.html 
The Adaptive Technology Resource Centre
  http://www.utoronto.ca/atrc/ 
Adaptive Environments Center, Inc.
  http:// www.adaptenv.org/
Institute for Adaptive and Neural Computation
  http://anc.ed.ac.uk/ 
Complex Adaptive Systems Research
  http://www.casresearch.com/ 
基于规则系统
 
Rule-Based Systems
  http://www.cee.hw.ac.uk/~alison/ai3notes/section2_4_4.html 
Rule-Based Systems Overview
  http://www.managingchange.com/rules/overview.htm 
Constraints and Rule-based Systems
  http://www.cs.unh.edu/ccc/archive/constraints/links/rule.html 
Rule-Based Systems: Mechanisms and Efficiency
  http://www.classes.cs.uchicago.edu/archive/2002/winter/cs25000/slides/class3 

.ppt
Principles and Practice in Verifying Rule-Based Systems
  http://www.csd.abdn.ac.uk/~apreece/Pubs/KER92.html 
Improving O & M Problem Diagnosis with Rule-Based Computer Systems
  http://www.fluidknowledge.com/fksite/papers/rule_based/ 
V, V&T of New Technology: Rule-Based Systems
  http://www.cs.bris.ac.uk/Research/Safety/projects/pdf/VVT.pdf 
The Myth of Modularity In Rule-Based Sys'I'tems for Reasoning With Uncertainty


  http://www2.sis.pitt.edu/~dsl/UAI/UAI86/Heckerman2.UAI86.html 
Rule-Based Diagnostic Systems
  http://users.aber.ac.uk/cjp/diagnosticbook/rulebased.html 
A Software Engineering Methodology for Rule-based Systems
  http://www.computer.org/tkde/tk1990/k0173abs.htm 
Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions (Boo

k) 2001
  http://vig.pearsoned.com/store/product/0 ,store-562_banner-0_isbn-0130409693

,00.html
Building Rule-Based Systems (Course)
  http://www.ers.com/Services/Training/Building_Rule-Based_Systems/body_buildi 

ng_rule-based_systems.html
Machine Learning: Rule-Based Systems
  http://citeseer.nj.nec.com/MachineLearning/RuleBasedSystems/ 
Neural Fuzzy Systems with Fuzzy Rule-Based Systems
  http://www.abo.fi/~rfuller/nfs.html 
Production Systems for Rule-Based Programming
  http://www.haley.com/0409381557844170/ProductionSystems.html 
On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty
  http://www-ksl.stanford.edu/KSL_Abstracts/KSL-87-53.html 
Decision Trees and Rule-Based Systems
  http://www.cs.wisc.edu/~schenney/courses/cs638-f2001/lectures/cs638-17.ppt 


Mycin - Rule-Based Systems
  http://www.chip.org/chip/courses/1999.6.872/Presentations/IntroDSS/sld007.ht 

m
Parallel Rule-Based Systems
  http://www.cs.columbia.edu/~sal/par-rule.html 
Rule-Based Systems - A Core Technology of Expert Systems
  http://web.njit.edu/~scherl/Classes/DistanceL/Ram/rbs.html 
Using Fuzzy Rule-Based Systems To Evaluatem Overall Financial Performance of G

overnments
  http://www-cpr.maxwell.syr.edu/faculty/duncombe/papers/Using%20fuzzy%20rule. 

pdf
Automatic Design of Fuzzy Rule-Based Systems
  http://ais.gmd.de/~surmann/fuzzy/ 
Rule-Based Data Mining (RBDM)
  http://www.ifcomputer.com/forum/inap/msg00104.html 
Experiments in Knowledge Refinement for a Large Rule-Based System
  http://www.maps.cs.cmu.edu/papers/HarvT93.html 
Validation of Intelligence in Large Rule-Based Systems with Common Sense
  http://ase.arc.nasa.gov/mvi/abstracts/WJarrold.ppt 
Uncertain Rule-Based Fuzzy Logic Systems for Wireless Communications
  http://www.conferences.unimelb.edu.au/fuzzy/MendelAbstract.pdf 
CLIPS Rule-Based Language
  http://www.siliconvalleyone.com/clips.htm 
Fuzzy Rule-Based Systems
  http://www.ie.osakafu-u.ac.jp/~hisaoi/ci_lab_e/research/frbs.html 
Rule-based Expert Systems for Information Retrieval
  http://www.birkhauser.com/hypermedia/cyb10.html 
Implementing Rule-Based Online Expert Systems
  http://www.thenewalchemist.com/Personal/presentations/ExpertSystemsII/ 
Feasibility of General Purpose Rule-Based MT Systems
  http://clwww.essex.ac.uk/MTbook/HTML/node90.html 
Optimization Of Real-Time Rule-Based Expert Systems
  http://www.cs.ucla.edu/csd/IDM99/Proceedings/Summaries/Cheng.htm 
Rule-Based Intrusion Detection
  http://www.sei.cmu.edu/str/descriptions/rbid_body.html 
Set-Oriented Constructs for Rule-Based Systems
  http://www.pasik.net/ajpcv/AJPCV_files/caia.pdf 
 人工智能应用
 
Neural Application Software
  http://attrasoft.com 
License Plate and Container Recognition
  http://www.htsol.com 
Prime Time Freeware for AI
  http://www.ptf.com/ptf/products/AI/ 
The MatterHorn Materials Discovery Database
  http://www.imagination-engines.com/af98-190/FINAL1.htm 
Dendral and Congen
  http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/chem/co 

ngen/0.html
Applications of AI in Education
  http://www.acm.org/crossroads/xrds3-1/aied.html 
Artificial Intelligence Systems in Routine Clinical Use.
  http://www.coiera.com/ailist/list.html 
TMYCIN: Medical Reasoning System
  http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/medical 

/tmycin/0.html
GEOMET Technologies, Inc.
  http://www.geomet.com/ai.htm 
Tactical guidance system for military aircraft
  http://techreports.larc.nasa.gov/ltrs/PDF/aiaa-89-3525.pdf