A User's Problem Specification Language & Application Based on Logical System
Zhang Zhong-yu · 2002
Over the formalism expressing of knowledge based on the prediction logic, extend it to be a small type of problem specification language according to the Unity logic system. Take it to make out the ECS's user request specifications in formlism.