Patent ID: 9483234
Filing Date: 2016-11-01
CPC Classification: G06F

Claim Text:
1. A requirements contradiction detection system, comprising: a computer having an arithmetic processing apparatus and semiconductor memory; a requirement division part that divides requirements expressed in texts into antecedent parts and consequent parts based on a predetermined division rule, a relevancy detection part detects, for two requirements expressed in texts, a relevancy between the two requirements based on a similarity between texts of the antecedent parts of the two requirements, and a similarity between texts of the consequent parts of one requirement acquired by converting one of the texts based on a predetermined contradiction rule comprising a plurality of contradiction expressions and another requirement that is not converted; the conversion based on the predetermined contradiction rule and the conversion of the requirement by the relevancy detection part comprises a conversion of, in the one requirement, a string matching one contradiction expression of the predetermined contradiction rule into a string matching another contradiction expression of the predetermined contradiction rule; and a contradiction detection part detecting whether or not the two requirements contradict each other based on the detection result of the relevancy detection part, the similarity between the texts of the consequent parts calculated by the relevancy detection part, and a similarity between the texts of the consequent parts of the two original requirements before conversion.