The use of logic in identifying and analyzing inconsistency in requirements from multiple
stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a …