FRDCSA:

CYC Planning

Brief: Efforts to invoke OpenCYC's SHOP2 planner
Jump To: Parent Description

Contains a small collection of notes on how to utilize CYC's planning mechanism. The idea is similar to our reactive-kb project, Source Code in Database (scid : https://www.mindprod.com/project/scid.html ), the Grindwork's GTS system, the unison language (https://www.unisonweb.org/), and other systems that represent programs in data, and behavior falls out of the interaction of rules automatically. The idea is to represent everything using PrologCYC discipline and automatically synthesis programs this way.