首页>
外国专利>
Temporal logical expression creation support system, temporal logical expression creation support manner and program for temporal logical expression creation support
Temporal logical expression creation support system, temporal logical expression creation support manner and program for temporal logical expression creation support
展开▼
机译:时间逻辑表达创建支持系统,时间逻辑表达创建支持方式以及用于时间逻辑表达创建支持的程序
展开▼
页面导航
摘要
著录项
相似文献
摘要
PPROBLEM TO BE SOLVED: To provide a temporal logic formula creation support system eliminating difficulty in creation of a temporal logic formula. PSOLUTION: 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. PCOPYRIGHT: (C)2010,JPO&INPIT
展开▼