Modelling Imprecision with Support Logic Programming (Computer and Information Science)

本研究的主旨是研究包含不精确量词的语句如何以适合计算的形式表示。这些量词的处理是在支持逻辑规划的框架内完成的，支持逻辑规划可以看作是概率和模糊集技术的推广。本研究还讨论了在支持逻辑编程中纳入（不精确）量词的必要性，进行此类尝试时出现的问题，以及可能导致可能解决方案的方法。这个项目的目标是双重的：在理论层面上，pi寻求发展一种系统的方法来处理（不精确的）量词，并可能给出这个主题的公理化处理。在应用程序级别，pi打算实际开发必要的软件，通过合并量词处理模块来增强现有的支持逻辑编程系统。

The thrust of this research is to investigate how statements containing imprecise quantifiers can be represented in a form suitable for computation. The treatment of these quantifiers is done in the framework of support logic programming which can be viewed as a generalization of both probability and fuzzy set techniques. Also addressed in this research are the need to incorporate (imprecise) quantifiers in the support logic programming, the problems that arise when such an attempt is made, and the methods which could lead to possible solutions. The goal of this project is twofold: on a theoretical level the PIs seek to develop a systematic way of dealing with (imprecise) quantifiers and possibly give an axiomatic treatment of this subject. At the application level the PIs intend to actually develop the software necessary to augment the existing support logic programming system by incorporating a quantifier handling module.