Abstract

In patent law most of the crucial legal questions such as patentability and infringement are linked to the patent claims. The European Patent Office regards patent claims as a set of independent features which are examined separately in a more or less formal way. The author has found that this approach allows for developing a simple mathematical model which treats patent claim features as logical statements and patent claims as compound statements wherein the individual statements are connected by logical connectives. The proposed mathematical model provides a uniform system for examining various legal questions that are dealt with separately under current case law, moreover, it allows for developing an expert system for resolving complex legal situations and for automating the evaluation of a large number of patent claim variants that is currently not possible