next up previous contents
Next: Access Paths Up: Introduction to Frame Based Previous: Frames and Their Names

Frames and Predicate Calculus


A frame can be considered just a convenient way to represent a set of predicates applied to constant symbols (e.g. ground instances of predicates.). For example, the frame above could be written:


More generally, the ground predicate  r(f,g) is represented, in a frame based system, by placing the value g in the r slot of the frame f [Hayes, 1979]: r(f,g) tex2html_wrap_inline1243 tex2html_wrap1251

Throughout this document  we use the teletype font for Algernon statements and the italic font for predicate calculus. We use standard predicate calculus notation except that we find it convenient to use tex2html_wrap_inline1247 in addition to the usual tex2html_wrap_inline1249 .

Micheal S. Hewett
Tue Oct 29 10:54:13 CST 1996