OpenCog Framework  Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
opencog::ForwardChainerCallBack Class Referenceabstract

#include <ForwardChainerCallBack.h>

+ Inheritance diagram for opencog::ForwardChainerCallBack:
+ Collaboration diagram for opencog::ForwardChainerCallBack:

Public Member Functions

 ForwardChainerCallBack (AtomSpace *as)
 
virtual ~ForwardChainerCallBack ()
 
virtual std::vector< Rule * > choose_rules (FCMemory &fcmem)=0
 
virtual HandleSeq choose_premises (FCMemory &fcmem)=0
 
virtual Handle choose_next_source (FCMemory &fcmem)=0
 
virtual HandleSeq apply_rule (FCMemory &fcmem)=0
 

Private Attributes

AtomSpaceas_
 

Detailed Description

Definition at line 38 of file ForwardChainerCallBack.h.

Constructor & Destructor Documentation

opencog::ForwardChainerCallBack::ForwardChainerCallBack ( AtomSpace as)
inline

Definition at line 43 of file ForwardChainerCallBack.h.

virtual opencog::ForwardChainerCallBack::~ForwardChainerCallBack ( )
inlinevirtual

Definition at line 47 of file ForwardChainerCallBack.h.

Member Function Documentation

virtual HandleSeq opencog::ForwardChainerCallBack::apply_rule ( FCMemory fcmem)
pure virtual

apply chosen rule. the default will wrap a custom PM callback class. i.e invokes _pattern_matcher.

Returns
a set of handles created as a result of applying current choosen rule

Implemented in opencog::DefaultForwardChainerCB.

+ Here is the caller graph for this function:

virtual Handle opencog::ForwardChainerCallBack::choose_next_source ( FCMemory fcmem)
pure virtual

choose next source from the source list

Returns
a handle to the chosen source from source list

Implemented in opencog::DefaultForwardChainerCB.

+ Here is the caller graph for this function:

virtual HandleSeq opencog::ForwardChainerCallBack::choose_premises ( FCMemory fcmem)
pure virtual

Choose additional premises for the rule. an object holding the current source/target and other inform ation of the forward chaining instance.

Returns
a set of Handles chosen as a result of applying fitness criteria with respect to the current source.

Implemented in opencog::DefaultForwardChainerCB.

virtual std::vector<Rule*> opencog::ForwardChainerCallBack::choose_rules ( FCMemory fcmem)
pure virtual

Choose a set of applicable rules from the rule base by selecting rules whose premise structurally matches with the source. an object holding the current source/target and other inform ation of the forward chaining instance.

Returns
a set of applicable rules

Implemented in opencog::DefaultForwardChainerCB.

+ Here is the caller graph for this function:

Member Data Documentation

AtomSpace* opencog::ForwardChainerCallBack::as_
private

Definition at line 41 of file ForwardChainerCallBack.h.


The documentation for this class was generated from the following file: