SSP Group Meeting
Tuesday, 5th March, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Process Representation and Planning in Cyc

Stuart Aitken

This talk will present some on-going work on the Rapid Knowledge Formation project on several topics: process repesentation in Cyc; integrating an external planner with Cyc; and, examples of process models and issues arising. Cyc is the KBS proposed by Doug Lenat, and developed for over 15 years. An open-source version of Cyc is due for release, potentially widening interest in the theory of common-sense reasoning it contains.