Theory and implementation of predicate-logical programs

点击翻译按钮获取中文摘要

Each member constructed theory of the programing language NU which is based on the analytic semantics and is both logical and procedural, and implemented its interpreter. It is easy to convert programs and their specifications each other on the theory.Leading achievements are the followings: 1. Theoretical side of NU was studied and good results were obtained as follows(some of them have been published and the others are in preparation.) (1)A new method called tense arithmetic was developed, which enables to express and analyze problems on realtime parallel processes. Also,a verification system on it was investigated. (2) Using a new equivalence theory, called locomorphism, for parallel program systems, Dekker's algorithm was analyzed. (3) To specify decidability of the NU,a mathematical theory was constructed. 2. Two highly intellectual problems on artificial intelligence, an incomplete information game and music information processing, were studied. (1) End play of contract bridge was described for logical way and was translated it into a procedural language. Moreover, bidding and playing were analyzed by logical and AI method. (2) An automatic accompaniment system was developed and its specification was investigated. To verify the system, the method mentioned in 1-(1) was used. We also developed the system which extracts various characteristics from expert players.