createDerivationRule(std::vector< AIPremise > theantecedents_, std::vector< int > num_of_params_in_antecs_to_check_, int consequentstateinput_, std::vector< int > timesfound_=std::vector< int >(), std::vector< bool > accept_only_new_since_state_change_=std::vector< bool >(), std::vector< float > secondsold_=std::vector< float >(), std::vector< AIPremise > consekbprems_=std::vector< AIPremise >(), std::vector< AIPremise > remkbprems_=std::vector< AIPremise >(), std::vector< bool > remall_=std::vector< bool >()) | AILogic | |