The Department of Computer Science & Engineering
UB CSE 718
Fridays, 2:30-5:00, 242 Bell Hall
Registration No. 466762
1 - 3 Credits
This seminar will be a group project. We will discuss techniques of implementing KRR systems, review the partial implementation of the Common Lisp version of SNePS 3, and attempt to complete it. Instruction in Common Lisp will be provided as needed. No previous knowledge of Common Lisp will be assumed, so this will also be a course in Common Lisp. However, that part will move quickly, and advanced topics will be included.
SNePS is a logic-, frame-, and network-based knowledge representation, reasoning, and acting system. It is also useful as an ontology reasoning tool. SNePS supports inference by path-following in the network, and also by a general natural-deduction-style combined forward and backward chaining system that uses a parallel, eager-beaver control system with memoization. An assumption-based belief revision system is an integral part of SNePS inference, and an acting component is integrated with the reasoning component. Basic SNePS operations include unification, subsumption, and operations on sets.
All participants will be expected to participate actively in seminar meetings, to contribute to the implementation of SNePS 3.0, and to lead discussions on their part of the system.
If you intend to register for this seminar, you must discuss that intention with Prof. Shapiro before the start of the Fall semester, and obtain his permission to register.