The Department of Computer Science & Engineering
STUART C. SHAPIRO: CSE 663
TTh 12:30 - 1:50, 260 Capen Hall
Registration No. 095116
Expect to spend at least 3/4 of the semester working on the paper/project. You must turn in:
The term project, if satisfactorily completed, may be used to satisfy the CSE Department's MS Project requirement. In some cases another semester of supervised research may be needed to complete the MS project. The term project may also form the basis of an MS thesis, but in this case an additional semester will generally be needed. If you intend to use the term project as (part of) your MS project or thesis, you must so inform the professor in your term project proposal.
Attendance at at least 80% of the class meetings is required for a passing
In other words, if you miss more than 5 class meetings, you will get an F in the course.
This course will also abide by the University's principles and procedures regarding students with disabilities. See the Office of Disability Services' statement on UB's Commitment to Disability Access. Notify the professor if you need any accommodations under these policies.
Review of SNePS: Lecture notes slides on SNePS p. 430-450
A SNePSLOG Guide to SNePS 2
SNePS Acting System: slides on SNeRE p. 491-495, 500-513
|Fri||1/21||Last day to drop without financial penalty|
|2||Tue||1/25||SNePS Acting System:
SNeRE p. 514-515
NRAC-05 Wumpus World papers; Shapiro & Kandefer, 2005; Shapiro & Kandefer NRAC-05 Talk
|Thur||1/27|| Shapiro & Kandefer NRAC-05 Talk
S. C. Shapiro & J. P. Bona, The
GLAIR Cognitive Architecture, International Journal of Machine
Consciousness 2,, 2 (2010), 307-332.
S. C. Shapiro, The GLAIR Cognitive Architecture and Prospects for Consciousness
|Thur||2/3||S. C. Shapiro, The GLAIR Cognitive Architecture and Prospects for Consciousness (continued)|
|4||Tue||2/8||Term project proposal due
SNePS 3: S. C. Shapiro, A Logic of Arbitrary and Indefinite Objects, KR 2004: talk; paper;
|Thur||2/10||Shapiro, Semantics of a Propositional Network, invited talk presented at the Institute for Discrete Sciences Workshop on Associating Semantics with Graphs, The DyDAn Center at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS), Rutgers University, April 16-17, 2007.|
Example runs of SNePS 3
|Thur||2/17||Term project proposal second draft due (See
Dr. Rapaport's How to
Production Systems: B&L, Chap. 7; Jess
|6||Tue||2/22||Examples of Jess:
Frames: B&L, Chap. 8
|7||Tue||3/1||Description Logics: B&L, Chap. 9|
|Thur||3/3||Description Logics: Chap 13 slides,
|8||Tue||3/8||Term paper first draft due
|Thur||3/10||Inheritance Networks: B&L, Chap. 10|
|9||Tue||3/22||Ari Fogel on Belief Revision|
|Thur||3/24||Inheritance Networks: B&L, Chap. 10|
Defaults: B&L, Chap. 11
|Thur||3/31||Project 3 assigned.
Default and Autoepistemic Logics: B&L, Chap. 11.4-11.6
|11||Tue||4/5||Vagueness, Uncertainty, and Degrees of Belief: B&L, Chap. 12|
|Thur||4/7||Term paper second draft due
Explanation and Diagnosis, B&L, Chap. 13;
Generic and Hypothetical Answers Slides, Chap 4, pp 343-349
See Debra T. Burhans and Stuart C. Shapiro, Defining Answer Classes Using Resolution Refutation, Journal of Applied Logic 5, 1 (March 2007), 70-91.
|Thur||4/14||Stuart C. Shapiro, Knowledge Representation for Natural Language Competence, presented as part of the Panel on Knowledge and Language: Building Large-Scale Knowledge Bases for Intelligent Applications, School of Information Sciences, University of Pittsburgh, September 19, 2001.|
|13||Tue||4/19||Michael Kandefer and Stuart Shapiro, Knowledge Acquisition by an Intelligent Acting Agent, presented at Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium Series, Stanford University, CA, March 26-28, 2007.|
|Thur||4/21||Term paper third draft due
Stuart C. Shapiro, The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning, the Tenth International Symposium on Logical Formalizations of Commonsense Reasoning, March,21-23, 2011.
|14||Tue||4/26||Student Presentations: Yang, Fang|
Project 3 due.
Student Presentations: Jian, Lu
||First Day of Final Exams|
|Thur||5/12||Last Day of Final Exams.
Term paper due.