CAKE: An Implemented Hybrid Knowledge Representation and Limited Reasoning System C h a r l e s Rich* Artificial I n t e l l i g e n c e L a b o r a t o r y M a s s a c h u s e t t s I n s t i t u t e of T e c h n o l o g y C a m b r i d g e , M A 02139 rich~ai.mit.edu Abstract The particular combination of facilities implemented in CAKE is motivated by the need to support research in automatic programing, rather than any specific set of research questions in knowledge representation and reasoning. Nevertheless, we believe CAKE epitomizes two central challenges in the current state of the art in knowledge representation and reasoning: How do we develop a principled approach to hybrid systems, and how do we learn to live with limited reasoning capabilities? as frames and algebraic reasoning. These six layers together are sometimes called FRAPPE (for "FRAmes in a ProPositional Environment"). BPd~AD and FRAPPE are separately configurable subsystems of CAKE. Finally, we have recently completed building the top
/lp/association-for-computing-machinery/cake-an-implemented-hybrid-knowledge-representation-and-limited-hcKG380tVO