. Search the site
FRDCSA | internal codebases | FreeKBS

FreeKBS

Architecture Diagram: GIF

Jump to: Project Description | Capabilities

Project Description

Capabilities

  • KBS, MySQL:freekbs:default assert ("completed" "86100")
  • KBS, MySQL:freekbs:default assert ("completed" "79740")
  • KBS, MySQL:freekbs:default query ("implements" nil nil)
  • If you see 'Not enough arguments for format string', just clear the freekbs-stack.
  • KBS, MySQL:freekbs:default query ("completed" nil)
  • KBS, MySQL:freekbs:default assert ("completed" "65551")
  • KBS, MySQL:freekbs:default query ("test" "hi" "lo")
  • freekbs - is not robust yet.
  • KBS, MySQL:freekbs:default query ("test" nil nil).
  • KBS, MySQL:freekbs:default query (test nil nil).
  • freekbs - Query arity constraints not working.
  • KBS, MySQL:freekbs:test query (nil nil nil)
  • KBS, MySQL:freekbs:test query ("test" nil nil)
  • KBS, MySQL:freekbs:test assert ("test" "ho")
  • KBS, MySQL:freekbs:test query ("test" nil)
  • KBS, MySQL:freekbs:default unassert ("test" "hi")
  • KBS, MySQL:freekbs:default query ("test" nil)
  • KBS, MySQL:freekbs:default assert ("test" "hi")
  • KBS, MySQL:freekbs:default assert ("test","hi")
  • KBS, MySQL:freekbs:test assert ("test","hi")
  • KBS, MySQL:freekbs:test assert ('test','hi')
  • Should implement some basic functions like and, or in freekbs
  • Inventory management can use freekbs for relational store and world modelling : /var/lib/myfrdcsa/codebases/internal/pse/misc/scheduler/2/domains
  • Redo things like clear queue into the freekbs format and have that processing take care of it, that way, we have a coordinated way to handle processing.
  • Figure out why freekbs kbs.el is not loading.
  • Can implement picform using freekbs.
  • The critic system is almost complete using freekbs, and newly written code currently under score.
  • freekbs should use CELT, SIGMA and Vampire.


This page is part of the FWeb package.
It derives from the Robotics Institute projects page.
Last updated Mon Jan 15 08:35:54 CST 2007 .