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.

Abstract: Provided are an information processing device and the like that facilitate designing a neural network capable of extracting higher-order features. An information processing device includes: an extraction unit that extracts a plurality of subgraphs from a graph including a plurality of nodes and a plurality of edges; a calculation unit that calculates a distance between the plurality of subgraphs extracted; and a design unit that designs a neural network, based on the distance calculated, in that at least a part of the graph is set to an input.

Abstract: An inference apparatus 10 includes: a hypothesis candidate generation unit 11 configured to perform inference by applying inference knowledge that includes information indicating a temporal sequence to observation in which facts that have been observed are expressed using logical expressions, and thereby generate a hypothesis candidate from which the observation can be derived; and a contradiction examination unit 12 configured to determine, on the basis of the information indicating a temporal sequence, whether or not the generated hypothesis candidate includes a temporal contradiction.

Abstract: A display device includes processing circuitry configured to acquire data of a plurality of pieces of equipment that are set in a facility, store, in a storage, a correspondence relationship between the respective pieces of equipment that are set in the facility and respective components in drawing data in which the pieces of equipment arranged in the facility are drawn as the components, and on receiving designation of a specific component among the components in the drawing data, choose a specific piece of equipment corresponding to the specific component using the correspondence relationship that is stored in the storage and display data of the specific piece of equipment and data of an equipment group having a causal connection with the specific piece of equipment in association with each other.

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: 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.

Abstract: An abductive inference apparatus 10 includes: a data receiving unit 11 that receives observed event data indicating an observed event; a data specifying unit 12 that specifies observed event data that will not be needed from the received pieces of observed event data based on other pieces of observed event data other than the received pieces of observed event data and knowledge data; and a hypothesis generation unit 13 that generates a hypothesis with which the observed event data that has not been specified by the data specifying unit 12 can be derived using the pieces of observed event data that have not been specified by the data specifying unit 12 and the knowledge data.

Abstract: An observed event determination apparatus 10, includes: a data receiving unit 11 configured to receive observed event data indicating an observed event; and a data determining unit 12 configured to determine whether or not the received observed event data is not needed based on pieces of observed event data other than the received observed event data and knowledge data.

Abstract: Provided are an information processing device and the like that facilitate designing a neural network capable of extracting higher-order features. An information processing device includes: an extraction unit that extracts a plurality of subgraphs from a graph including a plurality of nodes and a plurality of edges; a calculation unit that calculates a distance between the plurality of subgraphs extracted; and a design unit that designs a neural network, based on the distance calculated, in that at least a part of the graph is set to an input.

Abstract: Provided is a data processing apparatus including a guide-word extraction unit that extracts, based on a name of a first node that is a node included in a social system model, at least one guide-word corresponding to the first node from a guide-word storage that stores correspondence between a name of a node and a guide-word; a guide-word selection unit that accepts selection input for at least one extracted guide-word; a performance indicator extraction unit that extracts, from a performance indicator storage that stores correspondence between a guide-word and at least one performance indicator regarding an information communication system, at least one performance indicator corresponding to a selected guide-word; a performance indicator selection unit that accepts selection input for at least one extracted performance indicator; and a model update unit that associates, as a second node, a selected performance indicator with the first node.

Abstract: An object of the present invention is to carry out a performance prediction which reflects actual behavior of a subject system which is a subject for which performance is to be predicted.