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

这项研究的主旨是调查包含不精确量词的语句如何以适合计算的形式表示。这些量词的处理是在支持逻辑编程的框架内进行的，该框架可以被视为概率和模糊集技术的推广。这项研究还讨论了在支持逻辑编程中加入(不精确的)量词的必要性，进行这种尝试时出现的问题，以及可能导致可能的解决方案的方法。这个项目的目标是双重的：在理论层面上，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.