研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2013
形態種別	その他
標題	特開2013-54616　整合性検査装置、整合性検査方法、及びプログラム
執筆形態	共著
掲載誌名	（301021533）独立行政法人産業技術総合研究所
著者・共著者	木下佳樹, 武山誠
概要	目的に対応するゴールノードと、目的を立証するための根拠に対応するエビデンスノードと、一のゴールノードを一以上のゴールノードに分解するストラテジノードとを含む有向非巡回グラフの構造を有する、整合性の検査対象であるケースが、各ノードに応じた項と、各ノードの親子関係に応じた演算子とを用いて記述された情報であり、証明検査の対象となる人工言語により記述された情報である検査対象情報が記憶される検査対象記憶部１１と、検査対象情報に対して証明検査を行う検査部１２と、検査部１２による証明検査の結果を出力する検査結果出力部１３と、を備える。