What can the OpenCyc Planner be used for?
OpenCyc Planner + programming language = generated code.Cycorp has the ambition of showing how OpenCyc can apply commonsense planning with programming language primitives to create programs meeting a user’s high level requirements (goal state). Much of the Planner is scheduled to be ready by release 1.0. For the 0.7 release, we should have a small library of functions that can get planned out into several different languages. We may even get far enough to include programming statements.The released vocabulary will contain methodForAction, whose consequent is the plan at that step (depth). The 0.7 release is not populated yet with any example axioms, but we’re working on that for the next release.Most planners are propositional. For example, you can ask “Does the monkey hold the stick?”, but OpenCyc can be asked to “Prove that the monkey holds the stick or prove that he doesn’t hold the stick.” We use a derivative of the open source SHOP planner from UMBC.
