FRDCSA

Suppositional Reasoner

Brief: System to manage, view and edit game state, moves and plans, etc
Jump To: Parent Description

Related Systems: chap lessonsLearned listOfLists normalForm problemMonitor pseX setantaAgent supposeSuppose suppositionalDecomposer


  • Suppositional reasoner currently uses GDL, but should be expanded to handle more gaming abstractions, such as FLP, TIELT, gym, etc. It allows one to load various games, view the state and edit. The idea is to provide an interface to allow positional theorem proving of game positions/states. It runs in emacs, allows enumeration in a buffer of all Ist-Asserted and Ist statements (w/ closures where necessary).