SSP Group Meeting
Wednesday, July 7th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Using Cyc on HPKB

Stuart Aitken

Cyc is one of the KBSs being developed under the HPKB program (High Performance Knowledge Bases) and, as a participant, AIAI has a copy. I'll descibe two pieces of Cyc-related work: a translator from structured English to the CycL representation language (a first-order logic) and the implementation of problem-solving methods in Cyc. The PSM work is based on a '98 MSc thesis by Dimitrios Sklavakis.