Package spade :: Module Flora2KB :: Class Flora2KB
[hide private]
[frames] | no frames]

Class Flora2KB

source code


Flora2 knowledge base

Instance Methods [hide private]
 
__init__(self, sentence=None, path='runflora')
Constructor method Usage: Flora2KB( sentence, path ) sentence - F-logic sentence to be added to the KB (default: None) path - path to Flora2 executable (default: 'runflora')
source code
 
tell(self, sentence, type='insert')
Adds sentence to KB Usage: instance.tell( sentence, type ) sentence - frame logic sentence to be added to KB type - insertion type (one of insert, insertall, t_insert, t_insertall, insertrule, newmodule; default: 'insert')
source code
 
ask(self, query)
Queries the KB
source code
 
retract(self, sentence, type='delete')
Deletes sentence from KB Usage: instance.retract( sentence, type ) sentence - frame logic sentence to be deleted from KB type - deletion type (one of delete, deleteall, erase, eraseall, t_delete, t_deleteall, t_erase, t_eraseall, deletetrule, erasemodule; default: 'delete')
source code
 
loadModule(self, module)
Loads module to KB Usage: instance.loadModule( path ) path - path to module
source code

Inherited from logic.KB: ask_generator

Method Details [hide private]

__init__(self, sentence=None, path='runflora')
(Constructor)

source code 

Constructor method Usage: Flora2KB( sentence, path ) sentence - F-logic sentence to be added to the KB (default: None) path - path to Flora2 executable (default: 'runflora')

Overrides: logic.KB.__init__

tell(self, sentence, type='insert')

source code 

Adds sentence to KB Usage: instance.tell( sentence, type ) sentence - frame logic sentence to be added to KB type - insertion type (one of insert, insertall, t_insert, t_insertall, insertrule, newmodule; default: 'insert')

Overrides: logic.KB.tell

ask(self, query)

source code 

Queries the KB

Overrides: logic.KB.ask

retract(self, sentence, type='delete')

source code 

Deletes sentence from KB Usage: instance.retract( sentence, type ) sentence - frame logic sentence to be deleted from KB type - deletion type (one of delete, deleteall, erase, eraseall, t_delete, t_deleteall, t_erase, t_eraseall, deletetrule, erasemodule; default: 'delete')

Overrides: logic.KB.retract