📄 http:^^www.cis.ksu.edu^~dimitris^material730.html
字号:
Date: Tue, 14 Jan 1997 23:00:06 GMT
Server: NCSA/1.5.2
Last-modified: Tue, 07 May 1996 19:22:17 GMT
Content-type: text/html
Content-length: 2367
<BODY> <H1>CIS 730 </H1> <P> Principles of Artificial Intelligence<P> <p><!WA0><img align=middle src="http://www.cis.ksu.edu/~dimitris/gifs/bar.gif"> <H2>Lecture Notes</H2> <UL> <LI> Lecture 1: <!WA1><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l1.ps"> Introduction and Overview </A> <LI> Lecture 2: <!WA2><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l2.ps"> Symbolic Programming -- Lisp </A> <LI> Lecture 3: <!WA3><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l3.ps"> Lisp (cont'd) </A> <LI> Lecture 4: <!WA4><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l4.ps"> Lisp (cont'd) </A> <LI> Lecture 5: <!WA5><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l5.ps"> Lisp (cont'd) </A> <LI> Lecture 6: <!WA6><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l6.ps"> Propositional Logic </A> <LI> Lecture 7: <!WA7><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l7.ps"> Formal Systems for Propositional Logic </A> <LI> Lecture 8: <!WA8><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l8.ps"> Automated Theorem Proving in Propositional Logic, Predicate Calculus </A> <LI> Lecture 9: <!WA9><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l9.ps"> Automated Theorem Proving in Predicate Calculus </A> <LI> Lecture 10: <!WA10><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l10.ps"> Unification, Concept Description Languages, Semantic Nets</A> <LI> Lecture 11: <!WA11><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l11.ps"> Nonmonotonic Logic </A> <LI> Lecture 12: <!WA12><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l12.ps"> Deductive Retrieval Systems </A> <LI> Lecture 13: <!WA13><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l13.ps"> Search </A> <LI> Lecture 14: Midterm Exam </A> <LI> Lecture 15: <!WA14><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l15.ps"> Heuristic Search </A> <LI> Lecture 16: <!WA15><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l16.ps"> Genetic Algorithms, Minimax Search </A> <LI> Lecture 17: <!WA16><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l17.ps"> Alpha-Beta Pruning, Satisfiability as Search </A> <LI> Lecture 18: <!WA17><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l18.ps"> Learning </A> <LI> Lecture 19: <!WA18><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l19.ps"> Version Spaces, Decision Trees </A> <LI> Lecture 20: <!WA19><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l20.ps"> Learning in Neural Networks</A> <LI> Lecture 21: <!WA20><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l21.ps"> Perceptrons </A> <LI> Lecture 22: <!WA21><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l22.ps"> Reasoning about Change </A> <LI> Lecture 23: <!WA22><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l23.ps"> Interval Temporal Logic </A> <LI> Lecture 24: <!WA23><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l24.ps"> Reasoning about Belief, Spatial Reasoning</A> <LI> Lecture 25: <!WA24><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l25.ps"> Planning</A> <LI> Lecture 26: <!WA25><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l26.ps"> Hierarchical and Adaptive Planning</A> <LI> Lecture 27: <!WA26><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l27.ps"> Planning under Uncertainty</A> <LI> Lecture 28: <!WA27><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l28.ps"> Image Understanding</A> <LI> Lecture 29: <!WA28><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l29.ps"> Natural Language Processing </A> <p><!WA29><img align=middle src="http://www.cis.ksu.edu/~dimitris/gifs/bar.gif"></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -