公开(公告)号：US09530102B2

公开(公告)日：2016-12-27

申请号：US14623985

申请日：2015-02-17

Applicant: The MathWorks, Inc.

Inventor： Pieter J. Mosterman ,  Srikanth Parupati ,  Ankit A. Desai ,  Ashish Uthama ,  Michael J. Quinn

IPC: G06N7/00 ,  G06N5/02

CPC classification number: G06N7/005 ,  G06K9/00476 ,  G06K9/723 ,  G06N5/02

Abstract: Exemplary embodiments described herein provide methods, mediums, and systems for recognizing a formalism type present in an input and generating an output that is consistent with the formalism type. In order to generate an output that is consistent with the formalism type, exemplary embodiments analyze elements of the input together. Such a holistic analysis determines or uses a likelihood that the different elements coexist together in a given formalism type. Based on this holistic analysis, an appropriate formalism type that is consistent with the coexistence of the elements may be selected. After the appropriate formalism type is selected, the input may be processed to generate an output consistent with the formalism type. The output may be computer-based representations of the input defined according to a program associated with the identified formalism type, and/or the input may be translated or transformed into another representation.

Abstract translation: 本文描述的示例性实施例提供用于识别输入中存在的形式主义类型并生成与形式主义类型一致的输出的方法，介质和系统。 为了生成与形式主义类型一致的输出，示例性实施例一起分析输入的元素。 这样的整体分析确定或使用了不同元素在给定的形式主义类型中共存的可能性。 基于这种整体分析，可以选择与元素共存一致的适当形式主义类型。 在选择适当的形式主义类型之后，可以处理输入以生成与形式主义类型一致的输出。 输出可以是根据与所识别的形式主义类型相关联的程序定义的输入的基于计算机的表示，和/或可以将输入转换或转换为另一表示。