公开(公告)号：US20220374607A1

公开(公告)日：2022-11-24

申请号：US17761278

申请日：2019-10-02

Applicant: NEC Corporation

Inventor： Takuya KAWADA ,  Itaru HOSOMI

IPC: G06F40/30 ,  G06F3/0484 ,  G06F3/0482 ,  G06F40/166 ,  G06F40/247 ,  G06F40/242

Abstract: An inferential knowledge construction support apparatus 1 has a literal generation unit 2 that generates literal information based on the extracted elements, a rule generation unit 3 that estimates a causal or implicational relation between literals, using plural pieces of literal information, and generates rule information by allocating literal information estimated to be in the causal/implicational relation to an antecedent and a consequent, a display information generation unit 4 that generates display information to be used for causing a display device to output a rule editing user interface for displaying, in a juxtaposed manner, a literal display area for displaying the literal information and descriptive information corresponding to the literal information and a rule display area for displaying the rule information and descriptive information corresponding to the rule information, and an editing unit 5 that enables an operator to edit the rule information, using the rule editing user interface.

公开(公告)号：US20210157987A1

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

申请号：US16613502

申请日：2018-05-14

Applicant: NEC CORPORATION

Inventor： Takuya KAWADA ,  Kunihiko SADAMASA

IPC: G06F40/35 ,  G06F40/279 ,  G08B5/22

Abstract: An information processing apparatus (10) includes a speech act formula generation unit (12) and an adjacency pair extraction unit (14). Dialogue text described in natural language is input to the speech act formula generation unit (12). The adjacency pair extraction unit (14) extracts, using preset pair information, pairs of speech act formulas that indicate adjacency pairs, from a plurality of speech act formulas generated by the speech act formula generation unit (12). Specifically, the adjacency pair extraction unit (14) extracts, as a pair of speech act formulas indicating an adjacency pair, a speech act formula generated from an arbitrary utterance text passage in the dialog text and one of a plurality of speech act formulas generated from a plurality of other utterance text passages, the one speech act formula including a predicate that forms a predicate pair with a predicate included in the arbitrary speech act formula.

公开(公告)号：US20220147850A1

公开(公告)日：2022-05-12

申请号：US17431768

申请日：2019-02-21

Applicant: NEC Corporation

Inventor： Takuya KAWADA ,  Daichi KIMURA

IPC: G06N5/04

Abstract: A hypothesis verification apparatus 100, includes a hypothesis generation unit 11 that derives hypothesis candidates having a logical formula leading to possible consequences from an observation data, a hypothesis integration unit 12 that integrate the logical formula of each of the hypothesis candidates to construct a logical formula set, and, when there are overlapping logical formula select only one of them, a hypothesis verification unit 13 that sets, when a logical formula including a first parameter and a second parameter is existing in the logical formula set, the logical formula as a target logical formula, and input the acquired value of the second parameter into the target logical formula, and on the other hand, when logical formula is not existing, but if a logical formula that has a value in advance or has a value obtained by inference knowledge is existing, determine truth or falsehood of the existing logical formula.

公开(公告)号：US20240127089A1

公开(公告)日：2024-04-18

申请号：US18278101

申请日：2021-02-25

Applicant: NEC Corporation

Inventor： Takuya KAWADA ,  Kazeto YAMAMOTO ,  Daichi KIMURA

IPC: G06N5/04

CPC classification number: G06N5/041

Abstract: In an inference device, an observation input means receives an observation as an input. A hypothesis candidate generation means generates hypothesis candidates by applying inference knowledge to the observation in the backward direction. The problem conversion means converts the hypothesis candidate into an ILP problem or a SAT problem. An equivalent problem generation means generates a specified number of equivalent ILP problems or equivalent SAT problems in which an order of the variables included in the converted ILP problem or SAT problem is changed. The solver parallelization means solves the generated equivalent ILP problems or equivalent SAT problems by executing a specified number of identical ILP solvers or SAT solvers in parallel. The optimal solution output means outputs a result of the ILP solver or the SAT solver that output the result first, among the specified number of ILP solvers or SAT solvers, as the optimal solution.