特許
J-GLOBAL ID：201003077289426468

時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム

発明者：
野田 夏子

野田 夏子 について


出願人/特許権者：
日本電気株式会社

日本電気株式会社 について


代理人 (1件)： 高橋 勇
公報種別：公開公報
出願番号（国際出願番号）：特願2008-328287
公開番号（公開出願番号）：特開2010-152528
出願日： 2008年12月24日
公開日（公表日）： 2010年07月08日
要約：
【課題】本発明は、時相論理式の作成における困難性を解消し得る時相論理式作成支援システムを提供する。【解決手段】 時相論理式を構成する述語における真偽値の系列の例である真偽例情報を入力する真偽例情報入力手段11、1以上の時相論理式の集合である時相論理式情報を記憶した時相論理式情報記憶手段13、入力された真偽例情報が記憶されている時相論理式を満たすかどうかを判定する時相論理式判定手段12、真偽例情報と一致すると判定された1以上の時相論理式を表示情報として作成して表示する手段14を含む。 【選択図】図1
請求項（抜粋）：
時相論理式を構成する述語における真偽値の系列の例である真偽例情報を入力する真偽例情報入力手段と、 1以上の前記時相論理式を記憶した時相論理式情報記憶手段と、 前記真偽例情報入力手段にて入力された真偽例情報が前記時相論理式情報記憶手段に記憶された前記時相論理式を満たすかどうかを判定する時相論理式判定手段と、 前記時相論理式判定手段において前記真偽例情報と一致すると判定された1以上の前記時相論理式を表示情報として作成して表示する手段と、 を含むことを特徴とする時相論理式作成支援システム。
IPC (2件)：
G06N 5/04 ,  G06F 9/44
FI (3件)：
G06N5/04 550Q ,  G06F9/06 620A ,  G06N5/04 580J
Fターム (2件)：
5B376BB01 ,  5B376BB11
引用特許：
出願人引用 (3件) 審査官引用 (2件)
引用文献：
出願人引用 (4件)
全件表示
審査官引用 (4件)
全件表示

前のページに戻る

TOP

BOTTOM