Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
INFERENCE DEVICE, INFERENCE METHOD, AND RECORDING MEDIUM
Document Type and Number:
WIPO Patent Application WO/2020/196364
Kind Code:
A1
Abstract:
An inference device of the present invention makes an inference in accordance with first-order predicate logic by using: the truth/falsehood of a proposition for determining a state of a target by using a predicate that represents the state of the target; and an inference rule where a predicate representing the state of the target in an antecedent differs from a predicate representing the state of the target in a consequent. The predicate representing the state of the target in the antecedent and the predicate representing the state of the target in the consequent represent a proposition that determines the state of the target in different time steps.

Inventors:
KUBOSAWA SHUMPEI (JP)
ONISHI TAKASHI (JP)
TSURUOKA YOSHIMASA (JP)
Application Number:
PCT/JP2020/012597
Publication Date:
October 01, 2020
Filing Date:
March 23, 2020
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
NEC CORP (JP)
AIST (JP)
International Classes:
G06N5/04
Foreign References:
JPH06187153A1994-07-08
Other References:
KITAMURA, YOSHINOBU ET AL: "Ontology Design of Fluid Systems and Time for Model-Based Problem Solving and ItsEvaluation", JOURNAL OF JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE, vol. 12, no. 1, 1 January 1997 (1997-01-01), pages 132 - 143
Attorney, Agent or Firm:
TANAI Sumio et al. (JP)
Download PDF: