| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To provide a consistency inspection device capable of automatically inspecting consistency of a case which is an object to be inspected about consistency. <P>SOLUTION: A consistency inspection device comprises: an inspection object storage part 11 for storing inspection object information which is information in which a case, an inspection object about consistency, having a structure of directed acyclic graph including a goal node corresponding to a purpose, an evidence node corresponding to a basis for verifying the purpose, and a strategy node analyzing one goal node into one or more goal nodes is described by using terms corresponding to the nodes and operators corresponding to parental relations of the nodes, the information being described by an artificial language which becomes an object of verification inspection; an inspection part 12 for performing verification inspection for the inspection object information; and an inspection result output part 13 for outputting a result of verification inspection by the inspection part 12. <P>COPYRIGHT: (C)2013,JPO&INPIT</p> |
