公开(公告)号：US20130018907A1

公开(公告)日：2013-01-17

申请号：US13547902

申请日：2012-07-12

申请人： Lukas D. Kuhn ,  Siddharth S. Taduri ,  Vidya Narayanan ,  Fuming Shih

发明人： Lukas D. Kuhn ,  Siddharth S. Taduri ,  Vidya Narayanan ,  Fuming Shih

IPC分类号： G06F17/30

CPC分类号： H04M1/72569 ,  H04M1/72566 ,  H04M1/72572 ,  H04M2250/10 ,  H04M2250/12 ,  H04W4/025 ,  H04W4/21 ,  H04W4/80

摘要： Systems and methods for Dynamic Subsumption Inference are disclosed. For example, a method for Dynamic Subsumption Inference, may include: receiving a time signal associated with the current time; receiving a first input signal comprising data associated with a user at the current time; determining a first context based on the first input signal and the current time; comparing the first context to a database of contexts associated with the user; and determining a second context based in part on the comparison.

摘要翻译： 公开了动态收缩推理的系统和方法。 例如，一种用于动态推移推理的方法可以包括：接收与当前时间相关联的时间信号; 在当前时间接收包括与用户相关联的数据的第一输入信号; 基于第一输入信号和当前时间确定第一上下文; 将第一上下文与与用户相关联的上下文的数据库进行比较; 并且部分地基于比较来确定第二上下文。

公开(公告)号：US20120246193A1

公开(公告)日：2012-09-27

申请号：US13483184

申请日：2012-05-30

申请人： Tim Schmidt ,  Rong Zhou ,  Lukas D. Kuhn ,  Robert Price ,  Johan de Kleer

发明人： Tim Schmidt ,  Rong Zhou ,  Lukas D. Kuhn ,  Robert Price ,  Johan de Kleer

IPC分类号： G06F17/30 ,  G06F19/00

CPC分类号： G06F17/11

摘要： A method for determining a target path for a model-based control system. The model-based control system includes a directed acyclic graph, where the directed acyclic graph includes a plurality of vertices interconnected by a plurality of edges. The method includes the steps of performing a depth-first search of the directed acyclic graph for the target path. The depth-first search is operative to return an explicit solution or an implicit solution, wherein the implicit solution is determined using a heuristic. The method further includes determining if the depth-first search returned an explicit solution or an implicit solution, and if the depth-first search returned an implicit solution, constructing the target path from the implicit solution. The method may further include constructing a pattern database.

摘要翻译： 一种用于确定基于模型的控制系统的目标路径的方法。 基于模型的控制系统包括有向非循环图，其中有向非循环图包括由多个边缘互连的多个顶点。 该方法包括以下步骤：针对目标路径执行有向无环图的深度优先搜索。 深度优先搜索可操作以返回显式解或隐式解，其中使用启发式确定隐式解。 该方法还包括确定深度优先搜索是否返回显式解或隐式解，以及如果深度优先搜索返回隐式解，则从隐式解构成目标路径。 该方法还可以包括构造模式数据库。

公开(公告)号：US08266092B2

公开(公告)日：2012-09-11

申请号：US12409235

申请日：2009-03-23

申请人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

发明人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

IPC分类号： G06F17/00 ,  G06N7/00 ,  G06N7/08

CPC分类号： G06Q10/04

摘要： Target value search methods and systems are presented for solving a target value path problem to identify a path or paths in a graph in which a connection graph is created and upper and lower bound values are determined for each node in the connection graph, and a first best search is performed to identify a path or paths from a starting node to a goal node having a path value closest to the target value.

摘要翻译： 呈现目标价值搜索方法和系统，用于解决目标值路径问题，以识别其中创建连接图的图形中的路径或路径，并且为连接图中的每个节点确定上限值和下限值， 执行最佳搜索以识别从起始节点到具有最接近目标值的路径值的目标节点的路径或路径。

公开(公告)号：US20110009996A1

公开(公告)日：2011-01-13

申请号：US12498943

申请日：2009-07-07

申请人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

发明人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

IPC分类号： G06F19/00

CPC分类号： G06Q10/06 ,  G05B17/02 ,  Y02P90/86

摘要： A computer-based method and system for pervasive model adaptation are provided. The method includes providing a production plan to a production system, executing the production plan in the production system, collecting observation data produced by at least one sensor in the production system during execution of the production plan into computer memory, calculating changes to be made to a system model in the computer memory based on the collected observation data, dynamically updating the system model according to the calculated changes, creating an updated production plan based at least partially on the dynamically updated system model, and storing the updated production plan within the computer memory.

摘要翻译： 提供了一种基于计算机的普适模型适应方法和系统。 该方法包括向生产系统提供生产计划，在生产系统中执行生产计划，在生产计划执行期间收集生产系统中的至少一个传感器产生的观察数据到计算机存储器中，计算对 基于收集的观测数据在计算机存储器中的系统模型，根据所计算的变化来动态地更新系统模型，至少部分地基于动态更新的系统模型创建更新的生产计划，以及将更新的生产计划存储在计算机内 记忆。

公开(公告)号：US20100306587A1

公开(公告)日：2010-12-02

申请号：US12610700

申请日：2009-11-02

申请人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

发明人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

IPC分类号： G06F11/07 ,  G06N5/04

CPC分类号： G05B19/0428 ,  G05B2219/24077 ,  G06N5/046

摘要： A computer based method and system for tiered inference multiple fault diagnosis is provided. The method includes using a computer processor to dissect a hypothesis space representing a production system having a plurality of production modules into tiers. Production modules in the current tier are partitioned into a group or a set of sub-groups. A fault diagnosis algorithm is applied to the group of each sub-group to identify an acceptable fault diagnosis. When no acceptable fault diagnosis is found, the process moves to the next tier to perform further investigations. The process continues to move to higher tiers until an acceptable fault diagnosis is obtained or the system instructs the process to end.

摘要翻译： 提供了一种基于计算机的分层推理多故障诊断方法和系统。 该方法包括使用计算机处理器来将表示具有多个生产模块的生产系统的假设空间解剖为层。 当前层中的生产模块被分成一组或一组子组。 将故障诊断算法应用于每个子组的组，以识别可接受的故障诊断。 当没有发现可接受的故障诊断时，流程进入下一层进行进一步的调查。 该过程继续移动到更高级别，直到获得可接受的故障诊断或系统指示过程结束。

公开(公告)号：US08473785B2

公开(公告)日：2013-06-25

申请号：US12610700

申请日：2009-11-02

申请人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

发明人： Juan Liu ,  Johan de Kleer ,  Lukas D. Kuhn

IPC分类号： G06F11/00

CPC分类号： G05B19/0428 ,  G05B2219/24077 ,  G06N5/046

摘要： A computer based method and system for tiered inference multiple fault diagnosis is provided. The method includes using a computer processor to dissect a hypothesis space representing a production system having a plurality of production modules into tiers. Production modules in the current tier are partitioned into a group or a set of sub-groups. A fault diagnosis algorithm is applied to the group of each sub-group to identify an acceptable fault diagnosis. When no acceptable fault diagnosis is found, the process moves to the next tier to perform further investigations. The process continues to move to higher tiers until an acceptable fault diagnosis is obtained or the system instructs the process to end.

摘要翻译： 提供了一种基于计算机的分层推理多故障诊断方法和系统。 该方法包括使用计算机处理器来将表示具有多个生产模块的生产系统的假设空间解剖为层。 当前层中的生产模块被分成一组或一组子组。 将故障诊断算法应用于每个子组的组，以识别可接受的故障诊断。 当没有发现可接受的故障诊断时，流程进入下一层进行进一步的调查。 该过程继续移动到更高级别，直到获得可接受的故障诊断或系统指示过程结束。

公开(公告)号：US08392455B2

公开(公告)日：2013-03-05

申请号：US12497353

申请日：2009-07-02

申请人： Tim Schmidt ,  Lukas D. Kuhn ,  Rong Zhou ,  Johan de Kleer ,  Robert Price

发明人： Tim Schmidt ,  Lukas D. Kuhn ,  Rong Zhou ,  Johan de Kleer ,  Robert Price

IPC分类号： G06F7/00

CPC分类号： G06F17/11 ,  G06Q10/04

摘要： Methods and systems for solving a target value search problem using a multi-interval heuristic are presented. The methods and system identity a path, or paths, in a graph, whereby a connection graph is created and range sets are generated for each vertex in the connection graph. Range sets include one or more intervals. Thereafter, a best search is performed to identify a path, or paths, from a starting vertex to a goal vertex having a path value closest to a target value.

摘要翻译： 提出了使用多间隔启发式求解目标值搜索问题的方法和系统。 方法和系统标识图中的路径或路径，从而生成连接图，并为连接图中的每个顶点生成范围集。 范围集包括一个或多个间隔。 此后，执行最佳搜索以识别从起始顶点到具有最接近目标值的路径值的目标顶点的路径或路径。

公开(公告)号：US20110004625A1

公开(公告)日：2011-01-06

申请号：US12497353

申请日：2009-07-02

申请人： Tim Schmidt ,  Lukas D. Kuhn ,  Rong Zhou ,  Johan de Kleer ,  Robert Price

发明人： Tim Schmidt ,  Lukas D. Kuhn ,  Rong Zhou ,  Johan de Kleer ,  Robert Price

IPC分类号： G06F17/30

CPC分类号： G06F17/11 ,  G06Q10/04

摘要： Methods and systems for solving a target value search problem using a multi-interval heuristic are presented. The methods and system identity a path, or paths, in a graph, whereby a connection graph is created and range sets are generated for each vertex in the connection graph. Range sets include one or more intervals. Thereafter, a best search is performed to identify a path, or paths, from a starting vertex to a goal vertex having a path value closest to a target value.

摘要翻译： 提出了使用多间隔启发式求解目标值搜索问题的方法和系统。 方法和系统标识图中的路径或路径，从而生成连接图，并为连接图中的每个顶点生成范围集。 范围集包括一个或多个间隔。 此后，执行最佳搜索以识别从起始顶点到具有最接近目标值的路径值的目标顶点的路径或路径。

公开(公告)号：US20100010654A1

公开(公告)日：2010-01-14

申请号：US12170542

申请日：2008-07-10

申请人： Johan de Kleer ,  Robert Price ,  Lukas D. Kuhn ,  Rong Zhou ,  Minh Do

发明人： Johan de Kleer ,  Robert Price ,  Lukas D. Kuhn ,  Rong Zhou ,  Minh Do

IPC分类号： G06F19/00

CPC分类号： G05B19/41865 ,  G05B23/021 ,  G05B23/0243 ,  G05B2219/32083 ,  G05B2219/33299 ,  Y02P90/14 ,  Y02P90/16 ,  Y02P90/20 ,  Y02P90/86

摘要： Model-based production control systems and methods are presented for constructing plans for controlling operation of a production system with a plant having a plurality of resources to achieve one or more production goals, in which a planner constructs plans for execution in the plant based on production goals while balancing both production objectives (e.g., production cost, production time) and diagnostic objectives (e.g., diagnostic cost, information gained, repair cost), and a diagnosis engine determines a current plant condition based on a previously executed plan and corresponding observations from the plant, and provides expected information gain data to the planner, with the planner generating a plan that will achieve a given production goal and is improved for one or more diagnostic objectives and the expected information gain data.

摘要翻译： 提出了基于模型的生产控制系统和方法，用于构建用于具有多个资源的工厂来控制生产系统的操作的计划，以实现一个或多个生产目标，其中计划员基于生产构建在工厂中执行的计划 同时平衡生产目标（例如生产成本，生产时间）和诊断目标（例如，诊断成本，获得的信息，维修成本），诊断引擎基于先前执行的计划和相应的观察结果来确定当前工厂条件 并且向计划者提供期望的信息增益数据，计划器产生将实现给定生产目标并且针对一个或多个诊断目标和期望的信息增益数据进行改进的计划。

公开(公告)号：US09460053B2

公开(公告)日：2016-10-04

申请号：US13483184

申请日：2012-05-30

申请人： Tim Schmidt ,  Rong Zhou ,  Lukas D. Kuhn ,  Robert Price ,  Johan de Kleer

发明人： Tim Schmidt ,  Rong Zhou ,  Lukas D. Kuhn ,  Robert Price ,  Johan de Kleer

IPC分类号： G06F17/11

CPC分类号： G06F17/11

摘要： A model-based control system for controlling a production system is disclosed. The production system provides jobs and objectives to the model-based control system. The model-based control system includes, a planner operative to provide the production system with a plan, the planner generating the plan using a depth-first target value search. The depth-first target value search being configured to generate the plan with a failure probability most closely approximating a target value. Also provided is a system model operative to model the behavior of the production system. Another aspect of the model-based control system is a diagnosis engine operative to estimate failure probabilities for plans and provide diagnostic guidance to the planner. The model-based control system including the planner, the system model and diagnosis engine are implemented via a digital processing device.

摘要翻译： 公开了一种用于控制生产系统的基于模型的控制系统。 生产系统为基于模型的控制系统提供了工作和目标。 基于模型的控制系统包括：计划器，用于向生产系统提供计划，计划者使用深度优先目标值搜索生成计划。 深度优先目标值搜索被配置为生成具有最接近目标值的故障概率的计划。 还提供了用于对生产系统的行为进行建模的系统模型。 基于模型的控制系统的另一方面是诊断引擎，用于估计计划的故障概率并向计划者提供诊断指导。 包括计划器，系统模型和诊断引擎在内的基于模型的控制系统通过数字处理装置实现。