TEMPORAL LOGIC FORMULA CREATION SUPPORT SYSTEM, TEMPORAL LOGIC FORMULA CREATION SUPPORT METHOD AND TEMPORAL LOGIC FORMULA CREATION-SUPPORTING PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a temporal logic formula creation support system eliminating difficulty in creation of a temporal logic formula.;SOLUTION: The temporal logic formula creation support system includes: a truth example information input means 11 for inputting truth example information that is an example of a series of a truth value in the predicate constituting the temporal logic formula; a temporal logic formula information storage means 13 storing temporal logic formula information that is a set of one or more temporal logic formulae; a temporal logic formula decision means 12 deciding whether or not the input truth example information satisfies the stored temporal logic formula; and a means 14 creating the one or more temporal logic formulae decided to coinside with the truth example information as display information and displaying it.;COPYRIGHT: (C)2010,JPO&INPIT