Abstract: A display device includes processing circuitry configured to acquire data of plural pieces of equipment installed in a facility, carry out image recognition of drawing data drawing the equipment disposed in the facility as a component and, based on a result of the image recognition, store, in a storage, a correspondence relation between each of the equipment installed in the facility and the component in the drawing data, and generate an image including the component corresponding to the equipment disposed on the drawing data by using the drawing data and the correspondence relation stored in the storage.

Abstract: An information processing apparatus including: integrating unit that integrates, using observed event information representing an observed event that has been observed and rule information representing inference knowledge, a plurality of pieces of solution hypothesis information generated by weighted abduction processing; and detecting unit that detects differences between first integrated solution hypothesis information, which has been generated by the integrating means integrating one or more pieces of first solution hypothesis information generated using the observed event information and the rule information, and second integrated solution hypothesis information, which has been generated by the integrating means integrating one or more pieces of second solution hypothesis information generated when one or both of the observed event information and the rule information have changed.

Abstract: An inference analysis apparatus includes: a hypothetical logical expression designation unit that receives, in a case where any of hypothetical logical expressions constituting a hypothesis generated by inference that applies inferential knowledge to observed logical expressions is designated, the designated hypothetical logical expression; a knowledge extraction unit that extracts inferential knowledge whose consequent includes the designated hypothetical logical expression, from the inferential knowledge; and an observed logical expression extraction unit that specifies a logical expressions included in an antecedent of the extracted inferential knowledge, and extracts a observed logical expressions whose predicate is the same as the specified logical expressions, from the observed logical expressions.

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.

Abstract: An inference apparatus includes: an abduction unit that executes abduction by applying inference knowledge including a plurality of rules that are represented by logical formulas to an observation logical formula obtained by representing an observed fact using a logical formula; and a replacement unit that replaces one observation literal of a solution hypothesis generated by the abduction with another observation literal including a predicate that is the same as the predicate of the one observation literal.

Abstract: An inference apparatus includes: a generation unit that generates, based on first observation literals included in a first observation logical formula that represents an observation fact using a logical formula, a second observation logical formula including second observation literals expressing a numerical relationship of the first observation literals, and adds the second observation logical formula to the first observation logical formula: and an abduction unit that executes abduction by applying inference knowledge including a plurality of rules that are represented by logical formulas to the first observation logical formula and the second observation logical formula.

Abstract: In an inference device, an acquisition means acquires first observation data and first knowledge base which is formed by a rule representing a pair of a premise and a consequence of the premise. A rule conversion means reverses the premise and the consequence of the rule forming the first knowledge base, and generates a second knowledge base formed by a rule deriving the premise from the consequence. An inference execution means executes an abductive inference using the second knowledge base and the first observation data, and generates a first hypothesis set represented by a directed graph. A data extraction means extracts an element serving as a starting point in the directed graph representing the first hypothesis set, and generates second observation data. Accordingly, the inference execution means executes the abductive inference by using the first knowledge base and the second observation data, and generates a second hypothesis set.

Abstract: An inference apparatus includes: an abduction unit that executes abduction by applying inference knowledge including a plurality of rules that are represented by logical formulas to an observation logical formula obtained by representing an observed fact using a logical formula, and outputting a plurality of solution hypotheses whose costs are the same; and a selection unit that selects, by evaluating each of the solution hypotheses based on an evaluation criterion, a solution hypothesis according to evaluation results.