lansky@VENICE.AI.SRI.COM (Amy Lansky) (01/29/88)
BREAD, FRAPPE, AND CAKE:
THE GOURMET'S GUIDE TO AUTOMATED DEDUCTION
Yishai A. Feldman (YISHAI@AI.AI.MIT.EDU)
AI Laboratory, MIT
11:00 AM, WEDNESDAY, February 3
SRI International, Building E, Room EJ228
Cake is the knowledge representation and reasoning system developed as
part of the Programmer's Apprentice project. Cake can be thought of
as an active database, which performs quick and shallow deduction
automatically; it supports both forward-chaining and backward-chaining
reasoning. The Cake system has a layered architecture: the kernel of
the system, called Bread (for Basic REAsoning Device), is a
truth-maintenance system with equality and demons. Built on top of
this is Frappe (for FRAmes in a ProPositional Engine), which
implements a typed logic with special-purpose decision procedures for
various algebraic properties of operators (such as commutativity and
associativity), sets, partial functions, and structured objects
(frames). Only the topmost layer of Cake, which implements the Plan
Calculus, is specific to reasoning about programs. This talk will
describe the architecture and features of Bread, Frappe, and Cake,
including a transcript of a demonstration session. This is joint work
with Charles Rich.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!