Systems and methods for executing a plan associated with multiple equipment by using rule-based inference

Abstract

A recursive structure of inference rules is disclosed that enables translation of sensed data into high level predicates, e.g. to authorize the starts and ends of actions and detect violation of invariants, hence enabling coordination at different levels and/or across different domains at the same level within a multi-domain architecture. In embodiments, a processor may receive a condition configured to authorize an action of a system having equipment; identify a rule as a potential supporter of the condition in response to determining that the rule is associated with the condition; infer an implicant of the rule to be true when prerequisites of an antecedent of the rule are determined to be true; activate the rule in response to determining that the antecedent is true, wherein a validity of the condition is based on activation of the rule; and instruct the equipment to perform the action based on the validity of the condition.