Predicate expression evaluation system, the predicate expression evaluation method and predicate expression evaluation for program

摘要

PPROBLEM TO BE SOLVED: To provide a predicative expression evaluation system allowing efficient real-time nonexistence decision to an event. PSOLUTION: A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression. A predicative expression evaluation part 106 associates a prescribed event of events of evaluation targets to the restriction variable, generates an instance for evaluating the Boolean value replacement predicative expression, and performs evaluation to the Boolean value replacement predicative expression of the event by the instance. PCOPYRIGHT: (C)2010,JPO&INPIT