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

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 l...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fox, Maria, Isangulov, Rustam, Long, Derek
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING CHAMBERS PROVIDED WITH MANIPULATION DEVICES COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS COMPUTING CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING COUNTING DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FORADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORYOR FORECASTING PURPOSES FUNCTIONAL ELEMENTS OF SUCH SYSTEMS HAND TOOLS MANIPULATORS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS PERFORMING OPERATIONS PHYSICS PORTABLE POWER-DRIVEN TOOLS REGULATING SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE,COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTINGPURPOSES, NOT OTHERWISE PROVIDED FOR TRANSPORTING
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.