INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND COMPUTER READABLE RECORDING MEDIUM

    公开(公告)号:US20220391728A1

    公开(公告)日:2022-12-08

    申请号:US17771890

    申请日:2019-11-01

    Inventor: Yoichi SASAKI

    Abstract: The information processing apparatus 1 includes the input unit 101 that receives observation represented by a conjunction of atomic formulas, background knowledge represented by a set of logic formulas, and condition to be satisfied by a new rule represented by a logic formula; the rule candidate generation unit 102 that generates the new rule represented by a logic formula having a predicate, which is contained in the observation or the background knowledge, as an element; the abduction system unit 103 that executes abduction to derive best hypothesis by using the background knowledge, to which the new rule generated is added, and the observation as inputs; and the rule evaluation unit 104 that evaluates whether the new rule satisfies the condition to be satisfied by using the best hypothesis.

    INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING METHOD, AND RECORDING MEDIUM

    公开(公告)号:US20230316107A1

    公开(公告)日:2023-10-05

    申请号:US18022720

    申请日:2020-08-27

    CPC classification number: G06N5/025

    Abstract: In an information processing device, an observation data input means receives a pair of observation data and a predicted value of a target model for the observation data. A rule set input means receive a rule set including a plurality of rules, the rule including a pair of a condition and a predicted value corresponding to the condition. A satisfying rule selection means selects a satisfying rule from the rule set, the satisfying rule being a rule in which the condition becomes true for the observation data. An error calculation means calculates an error between a predicted value of the satisfying rule for the observation data and the predicted value of the target model. A surrogate rule determination means associates the rule which minimizes the error, among the satisfying rules, with the observation data as a surrogate rule for the target model.

    ORDER PRESERVING PATTERN MATCHING APPARATUS, ORDER PRESERVING PATTERN MATCHING METHOD, AND COMPUTER-READABLE MEDIUM STORING PROGRAM

    公开(公告)号:US20220179915A1

    公开(公告)日:2022-06-09

    申请号:US17603649

    申请日:2019-04-19

    Abstract: An order preserving pattern matching apparatus according to the present disclosure includes: a pattern conversion unit configured to convert a retrieval pattern composed of text data arranged two-dimensionally to a matching pattern composed of the text data arranged one-dimensionally; a character string matching and indexing unit configured to generate an index for specifying a part of a pattern to be retrieved which matches the matching pattern in an order preserving manner as index information; a matching unit configured to assign a prescribed ID number to a part of the two-dimensional pattern to be searched composed of text data arranged two-dimensionally and including an array larger than that of the retrieval pattern; and an output unit configured to output a part of the two-dimensional pattern to be searched to which the prescribed ID number is assigned by the matching unit as a matching position.

    INFORMATION PROCESSING DEVICE, TENSOR COMPRESSION METHOD, AND NON-TRANSITORY COMPUTER READABLE MEDIUM STORING PROGRAM

    公开(公告)号:US20210271735A1

    公开(公告)日:2021-09-02

    申请号:US17257663

    申请日:2018-07-03

    Abstract: Provided is an information processing device capable of reducing the amount of data of a tensor. An information processing device (1) includes a CSF design unit (11) that sets an order of axes of a tensor of M (M is a natural number of 3 or more) or higher order in order to convert a tensor into data in CSF (Compressed Sparse Fiber) representation, a CSF construction unit (12) that converts the tensor of M or higher order into data in CSF representation according to setting by the CSF setting unit (11), and a CSF compression unit (13) that compresses the data in CSF representation by replacing an overlapping structure appearing in the data in CSF representation with an alternative structure representing the overlapping structure, and outputs compressed CSF data being a compressed version of the data in CSF representation and replacement rule data being data indicating a replacement rule.

    INFORMATION PROCESSING DEVICE, LEARNING METHOD, AND NON-TRANSITORY RECORDING MEDIUM

    公开(公告)号:US20240289646A1

    公开(公告)日:2024-08-29

    申请号:US18566261

    申请日:2021-06-07

    CPC classification number: G06N5/022

    Abstract: In order to improve prediction performance in prediction carried out with use of a decision list, an information processing apparatus (1) includes: a prediction section (11) that calculates a prediction result with use of predicted values of, among decision rules included in the decision list, K (K is a natural number of not less than 2) top-ranked decision rules whose conditions are satisfied by one of training examples included in a training example set; and a list determining section (12) that determines, on the basis of the prediction result given by the prediction section (11), a decision list to be output.

    CONTRADICTION DETECTION APPARATUS, CONTRADICTION DETECTION METHOD, AND COMPUTER-READABLE RECORDING MEDIUM

    公开(公告)号:US20220414479A1

    公开(公告)日:2022-12-29

    申请号:US17621327

    申请日:2019-06-27

    Abstract: A contradiction detection apparatus includes: constructing a decision graph that has observed events as nodes and a transition relationship of each observed event as an edge, and outputs a boolean value of an observed event based on the knowledge base, receiving an observed event, eliminating an edge, which transitions to a side denying the observed event received, among edges connected to a node corresponding to the observed event received in the decision graph, determining whether both paths from a root node to a true leaf node and a false leaf node exist in the decision graph after the edge is eliminated, repeatedly causing a reception of the observed event, an elimination of the edge, and a determination of existence of the paths when it is determined that the paths exist, and deciding that the observed event is inconsistent with the knowledge base when determining that the paths doesn't exist.

    MINIMAL UNSATISFIABLE SET DETECTION APPARATUS, MINIMAL UNSATISFIABLE SET DETECTION METHOD, AND COMPUTER-READABLE RECORDING MEDIUM

    公开(公告)号:US20220358378A1

    公开(公告)日:2022-11-10

    申请号:US17620805

    申请日:2019-06-27

    Abstract: A minimal unsatisfiable set detection apparatus, which detects a minimal set from a set of observed events that are determined to be inconsistent with a knowledge base, includes a decision graph acquisition unit 31 that acquires a decision graph that outputs a boolean value of an observed event from the knowledge base, an observed event acquisition unit 32 that acquires a plurality of observed events determined to be inconsistent with the knowledge base, a minimal set covering derivation unit 33 that obtains a minimal set covering by converting a plurality of observed events, which are acquired by the observed event acquisition unit 32, into a minimal set covering problem using the decision graph, and an output unit 34 that outputs a calculation result by the minimal set covering derivation unit 33.

    ORDER PRESERVING PATTERN MATCHING APPARATUS, ORDER PRESERVING PATTERN MATCHING METHOD, AND COMPUTER-READABLE MEDIUM STORING PROGRAM

    公开(公告)号:US20220207089A1

    公开(公告)日:2022-06-30

    申请号:US17604031

    申请日:2019-04-19

    Abstract: An order preserving pattern matching apparatus according to the present invention includes a matching direction pattern conversion unit for setting an ID number for each order preserving type of a character string in a retrieval pattern for a plurality of matching directions including at least one diagonal direction, and generating a list of the ID numbers as a matching direction pattern, an encoding processing unit configured to generate an encoded two-dimensional pattern assigned with a corresponding ID number for a pattern being a part of a two-dimensional pattern to be searched that matches an order preserving pattern assigned with an ID number, and a matching unit configured to perform matching whether an arrangement matching the matching direction pattern assigned with an ID number exists or not within the encoded two-dimensional pattern.

    ABDUCTIVE INFERENCE DEVICE, ABDUCTIVE INFERENCE METHOD, AND COMPUTER-READABLE MEDIUM

    公开(公告)号:US20210125090A1

    公开(公告)日:2021-04-29

    申请号:US17254945

    申请日:2019-02-18

    Abstract: The abductive inference device includes a hypothesis generation unit for creating a set of candidate hypotheses, observed information including a hypothesis from which a logical expression is derived based on a knowledge database including knowledge information expressing the logical expression for deriving a consequent from an antecedent, a conversion unit for calculating a constraint condition for the created set of candidate hypotheses and a weight for the constraint condition in accordance with predetermined processing; and a solver unit for calculating a hypothesis when a predetermined condition is satisfied based on the calculated constraint condition and the calculated weight.

Patent Agency Ranking