Prolog and inductive reasoning: a logic programming language

Abstract

This following research presents the design and development of a diagnostic medical system. The proposed system provides an interactive and adaptive environment through which symptoms are linked with illness. Each new patient is asked a yes/no question concerning his or her symptoms, and responses are recorded. The diagnosis works by matching symptoms of known illness with recorded responses in decreasing order of complexity. Inductive reasoning (in the form of generalization) is used to update illness symptoms. The system is implemented in Prolog SWI- Version 6.0.0.Includes bibliographical references (pages 66-69)California State University, Northridge. Department of Computer Science

    Similar works