Predicate calculus, artificial intelligence, and workers' compensation.

Application of principles of predicate calculus (PC) and artificial intelligence (AI) search methods to occupational medicine can meet several goals. First, they can improve understanding of the diagnostic process and recognition of the sources of uncertainty in knowledge and in case specific information. Second, PC provides a rational means of resolving differences in conclusion based upon the same premises. Third, understanding of these principles allows separation of knowledge (facts) from the process by which they are used and therefore facilitates development of AI-based expert systems. Application of PC to recognizing causation of pulmonary fibrosis is demonstrated in this paper, providing a method that can be generalized to other problems in occupational medicine. Application of PC and understanding of AI search routines may be particularly applicable to workers' compensation where explicit statement of rational and inferential process is necessary. This approach is useful in the diagnosis of occupational lung disease and may be particularly valuable in workers' compensation considerations, wherein explicit statement of rationale is needed.