Logic-based approach to expert systems in chemistry

摘要

A logic-based approach to expert systems for chemistry is discussed. In chemistry, most of the knowledge is expressed with chemical structural formulas. However, it is difficult to handle chemical structural formulas by using currently available logic programming languages. The logic programming language has been extended so as to include chemical structural formulas. This extended language/system named Chaus is presented in this paper. With Chaus language, the chemical knowledge is expressed in a natural way. The implementation to ensure practical efficiency and an application for drug design is also discussed.