Epstein Secrets

ns of the ACM 37, No. 7, 107-116 (1994). Accepted for publication May 17, 2002. J. McCarthy Stanford University Stanford, California M. Minsky Massachusetts Institute of Technology Cambridge, Massachusetts A. Sloman University of Birmingham Birmingham, UK L. Gong IBM Research Division Hawthorne, New York T. Lau IBM Research Divisi

ns trivial. We plan to leverage the extensive work that has been done in these areas. Such work includes: ThoughtTreasure, (16) NETL2, (19) Cyc, (7) Shanahan's formalization of time, (20) the RCC formalization of space, (21) and Kuipers's Spatial Semantic Hierarchy. (22) We will also employ rapid knowled

ns of the ACM 37, No. 7, 107-116 (1994). Accepted for publication May 17, 2002. J. McCarthy Stanford University Stanford, California M. Minsky Massachusetts Institute of Technology Cambridge, Massachusetts A. Sloman University of Birmingham Birmingham, UK L. Gong IBM Research Division Hawthorne, New York T. Lau IBM Research Divisi

ns trivial. We plan to leverage the extensive work that has been done in these areas. Such work includes: ThoughtTreasure, (16) NETL2, (19) Cyc, (7) Shanahan's formalization of time, (20) the RCC formalization of space, (21) and Kuipers's Spatial Semantic Hierarchy. (22) We will also employ rapid knowled

ns of the ACM 37, No. 7, 107.116 (1994). Accepted for publication May 17, 2002. J. McCarthy Stanford University Stanford, California M. Minsky Massachusetts Institute of Technology Cambridge, Massachusetts A. Sloman University of Birmingham Birmingham, UK L. Gong IBM Research Division Hawthorne, New York T. Lau IBM Research Divisi

ns trivial. We plan to leverage the extensive work that has been done in these areas. Such work includes: ThoughtTrcasure, (16) NETL2, (19) Cyc, (7) Shanahan's formalization of time, (20) the RCC formalization of space, (21) and Kuipers's Spatial Semantic Hierarchy. (22) We will also employ rapid knowled