Checking Logical Inconsistencies in Legal Documents

Abstract

Inconsistency of documents is common problem in any field which uses documents. One word may implement different meanings different appearance or else different statements stands for similar arguments and also there are lot of several other inconsistencies can arise in any type of document. This thesis discuses the issues in Identify and resolve such inconsistencies which lead to logical contradiction in documents used in Legal domain. Documents use in domain of law, are not only bunch of text but also group of concepts which govern the particular body under its authority towards to the well growth of the society. Focuses on this research is to modeling logical arguments and compare the arguments to minimize the logical differences and finally come up with less inconsistency document. Proper documenting mechanism is important in legal environment but the same time it becomes harder to implement such solution which covers all parts of this domain. Considering a markup language, which describe all the concepts in this area is the better approach. This approach was used effectively in fields like Mathematics or Biology but with compare to those fields amount of the existing facts in Legal domain may be hundreds or thousands time more. Amount of work load and the complexity generates in this situation is simply unacceptable. The main feature of this development is to modeling of inconsistency tolerant and defensible reasoning as constructing and comparing arguments for incompatible conclusions. With this research what I m looking is to use above concepts for small type of legal document and improve its consistency. Enhanced version of this approach should be able to identify the contradiction which going to be appearing when drafting real time legal documents like Government Act or University bylaws.