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

支持逻辑编程的不精确建模（计算机与信息科学）

• 批准号: 8700687
• 负责人: Anca Ralescu
• 金额: $ 5.34万
• 依托单位: University of Cincinnati Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-06-15 至 1991-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8700687&HistoricalAwards=false
• 关键词: Modelling; Imprecision; Support; Logic; Programming

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.

这项研究的主旨是调查如何声明 包含不精确的量词， 适合计算。 对这些量词的处理是 在支持逻辑编程的框架中完成， 被视为概率和模糊集的推广 技术. 这项研究还涉及到需要 在支持逻辑中加入（不精确的）量词 编程，当这种尝试被 以及可能导致可能的解决方案的方法。 该项目的目标是双重的：在理论层面上 PI寻求制定一种系统的方法来处理 （不精确的）量词，并可能给出公理化的处理 这个主题。 在应用程序层面，PI打算 实际上开发必要的软件来增强现有的 通过结合量词来支持逻辑编程系统 处理模块