公开(公告)号：US20230306018A1

公开(公告)日：2023-09-28

申请号：US18130276

申请日：2023-04-03

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/23 ,  G06F16/901

CPC classification number: G06F16/2379 ,  G06F16/9024 ,  G06F16/2358

Abstract: Automatically generating a rule set implementation is disclosed. A set of rules is accessed. For each non-const rule in the set of rules, one or more implication directed acyclic graphs (DAGs) are constructed. The non-const rule directly causes at least one external output or at least one external action. The one or more implication DAGs specify rule conditions, including one or more observable rule conditions. Implication DAGs that are constructed for the set of rules are compiled to obtain a compiled result that is configured to evaluate rule conditions associated with the set of rules and determine one or more actions when at least one of the rule conditions evaluates to true. The compiled result is output.

公开(公告)号：US11720437B2

公开(公告)日：2023-08-08

申请号：US17825936

申请日：2022-05-26

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/00 ,  G06F11/07 ,  H04L41/0631 ,  G06F11/30 ,  H04L41/142 ,  G06F11/22

CPC classification number: G06F11/079 ,  G06F11/0709 ,  G06F11/0778 ,  G06F11/0793 ,  G06F11/2257 ,  G06F11/3006 ,  G06F11/3051 ,  H04L41/0631 ,  H04L41/142

Abstract: A plurality of potential fault scenarios are accessed, wherein a given potential fault scenario of the plurality of potential fault scenarios has at least one corresponding root cause, and a representation of the given potential fault scenario comprises a don't care value. An actual fault scenario from telemetry received from a monitored system is generated. The actual fault scenario is matched against the plurality of potential fault scenarios. One or more matched causes are output as one or more probable root cause failures of the monitored system.

公开(公告)号：US20230236848A1

公开(公告)日：2023-07-27

申请号：US18114179

申请日：2023-02-24

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F9/448 ,  B60W30/18 ,  G16H50/20 ,  G06Q40/04 ,  G06F9/46 ,  G06F9/50

CPC classification number: G06F9/4494 ,  B60W30/18163 ,  G16H50/20 ,  G06Q40/04 ,  G06F9/46 ,  G06F9/5038

Abstract: Specifications are input, comprising: a plurality of lanes in an environment for a controlled system; a plurality of lane maneuvers associated with the plurality of lanes; a plurality of lane subconditions associated with the controlled system; and a rule set comprising a plurality of rules, wherein a rule in the rule set specifies a rule condition and a rule action to take when the rule condition is satisfied, wherein the rule condition comprises a corresponding set of lane subconditions, and wherein the rule action comprises a corresponding lane maneuver. The controlled system is automatically navigated dynamically, at least in part by: monitoring the plurality of lane subconditions; evaluating rule conditions associated with the plurality of rules in the rule set to determine one or more rules whose corresponding rule conditions has been met; and executing one or more lane maneuvers that correspond to the one or more determined rules.

公开(公告)号：US11693860B2

公开(公告)日：2023-07-04

申请号：US16749771

申请日：2020-01-22

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/2455 ,  G06F17/16

CPC classification number: G06F16/24558 ,  G06F17/16

Abstract: A first set of subconditions is obtained. Approximate matching of the first set of subconditions against a plurality of sets of subconditions is performed. A second set of subconditions among the plurality of sets of subconditions is accessed, wherein a representation of a subcondition in the first set and/or the second set of subconditions comprises a value having one of a plurality of states, and wherein the plurality of states comprises a state of “don't care”. The first set of subconditions is approximately matched against the second set of subconditions. The first set of subconditions is compared against the second set of subconditions. A matching criterion is determined to be met based on a result of the matching. Information indicating that the second set of subconditions is at least an approximate match for the first set of subconditions is output.

公开(公告)号：US20210240148A1

公开(公告)日：2021-08-05

申请号：US17156378

申请日：2021-01-22

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05B13/04

Abstract: Possible input value combinations of a prediction of an engineered system are iterated over, comprising, for a possible input value combination: selecting an action to perform on the engineered system for the possible input value combination, comprising: performing a plurality of predictions of the engineered system scored by evaluating an objective function associated with the engineered system and using the possible input value combination and a corresponding plurality of actions. The action is selected from the corresponding plurality of actions, the selection being based at least in part on scores of the plurality of predictions. A rule specifying a corresponding set of one or more rule conditions that is met when the possible input value combination is matched and a corresponding action associated with the rule as a selected action is generated. The generated set of rules to be stored or further processed is output.

公开(公告)号：US20150012912A1

公开(公告)日：2015-01-08

申请号：US14310204

申请日：2014-06-20

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F9/45

CPC classification number: G06F8/40 ,  G06F8/423 ,  G06F8/427 ,  G06F9/45504 ,  G06F9/45508

Abstract: A programming language is extended to have embedded interpretive types (EIT) that define objects and variables to be resolved at translation time. A variable or data element having a type that is one of the EITs is referred to as an embedded interpretive variable (EIV). A control construct containing an EIV is interpreted (i.e. executed) at translation time.

Abstract translation: 一种编程语言被扩展为具有定义要在转换时解析的对象和变量的嵌入式解释类型（EIT）。 具有作为EIT之一的类型的变量或数据元素被称为嵌入式解释变量（EIV）。 包含EIV的控制结构在翻译时被解释（即执行）。

公开(公告)号：US20140366008A1

公开(公告)日：2014-12-11

申请号：US14465720

申请日：2014-08-21

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F9/45

CPC classification number: G06F8/40 ,  G06F8/437

Abstract: A method is provided for translating sets of constraint declarations to imperative code sequences based on defining an instantiatable object per set, inserting calls to a notification callback mechanism on state modification and defining calls in the constraint context as imperative code sequences that, in response to these callbacks, take actions to maintain these constraints.

Abstract translation: 提供了一种用于将约束声明集合转换为命令性代码序列的方法，其基于定义每组可实例化的对象，在状态修改上插入对通知回调机制的调用，并在约束上下文中定义调用作为响应于这些的必要代码序列 回调，采取行动来维护这些限制。

公开(公告)号：US20250086509A1

公开(公告)日：2025-03-13

申请号：US18829048

申请日：2024-09-09

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06N20/00

Abstract: A model comprising a plurality of objects and expected behaviors of the plurality of objects is accessed. Observed behaviors of one or more objects in the model are received, the observed behaviors being obtained by a sensor configured to collect observed behaviors. One or more relationships between at least two of the objects in the model are determined, at least in part by use of a matching mechanism based at least on one or more observed behaviors and one or more expected behaviors. The one or more relationships are output to an actuator configured to take suitable application action.

公开(公告)号：US20240255904A1

公开(公告)日：2024-08-01

申请号：US18215146

申请日：2023-06-27

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05B15/02

CPC classification number: G05B15/02

Abstract: An inverse mapping rule is generated from a set of forward mapping rules. The set of forward mapping rules is input. A set of output parameters for the inverse mapping rule is determined based at least in part on limiting the set of output parameters to be a subset of parameters for the set of forward mapping rules. A set of input parameters for the inverse mapping rule is determined based at least in part on limiting the set of input parameters to be: output parameters and input parameters of the set of forward mapping rules. The inverse mapping rule is generated for an input value combination. Values of output parameters of the set of forward mapping rules are determined based at least in part on the input value combination and the set of forward mapping rules. A rule consequent of the inverse mapping rule is determined at least in part by resolving values of a specified output parameter from the set of output parameters for the inverse mapping rule from the input value combination. A rule antecedent of the inverse mapping rule is determined at least in part by resolving values of a specified input parameter from the set of input parameters for the inverse mapping rule from the determined values of output parameters of the set of forward mapping rules. The inverse mapping rule is output. Input is received from a sensor. A physical actuator is controlled based at least in part on the inverse mapping rule and the input from the sensor.

公开(公告)号：US20230229170A1

公开(公告)日：2023-07-20

申请号：US18094021

申请日：2023-01-06

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05D1/02 ,  G06N5/04 ,  G06V20/58 ,  B60W30/09

CPC classification number: G05D1/0214 ,  G06N5/04 ,  G06V20/58 ,  G05D1/0246 ,  B60W30/09 ,  G05D2201/0213

Abstract: A set of input conditions is obtained. A plurality of potential decisions is obtained based at least in part on the set of input conditions. A rule-based system is used to process the plurality of potential decisions and obtain a set of one or more updated potential decisions, wherein: the rule-based system specifies a plurality of rules; a rule specifies a rule condition and a corresponding action, wherein when the rule condition is met, the corresponding action is to be performed; and using the rule-based system to process the plurality of potential decisions includes: for a selected potential decision in the plurality of potential decisions, determining whether the rule condition is met for a selected rule among the plurality of rules, wherein the selected rule condition is dependent on, at least in part, the selected potential decision; and in response to the selected rule condition being met, performing the corresponding action. The set of one or more updated potential decisions to be executed is output.