U.S.-Portugal Cooperative Research: Computational Foundations of Non-Monotonic Reasoning

美葡合作研究：非单调推理的计算基础

• 批准号: 9600598
• 负责人: Terrance Swift
• 金额: $ 2.56万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-15 至 2000-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9600598&HistoricalAwards=false
• 关键词: U.S.; Portugal; Cooperative; Research; Computational

This award will support collaboration in logic programming between US groups, including students, at SUNY Stony Brook and Southern Methodist University, led by Terrance Swift of SUNY Stony Brook, and the Universidade Nova de Lisboa in Portugal, led by Professor Luis Moniz Pereira. They will create a sequential engine capable of performing central aspects of non-monotonic reasoning to develop a robust, scalable, freely-available system that will make possible the use of logic programming for such applications such as diagnosis, planning, and hypothetical reasoning over databases. They also propose to develop a distributed version of XSB combined with PVM-Prolog to form a system capable of performing non-monotonic reasoning in a distributed, agent-like environment. The USB-SMU group has strengths in the fundamental theory of computational logic and in implementing these theories in usable logic-based systems. The UniNova group has strengths in the theoretical development of expressive logic systems with negation and in the application of these systems to real-world problems. They share an interest in implementation and evaluation strategies. Both groups have begun to explore, in different ways, distributed non- monotonic reasoning, which will address situations in which the knowledge itself is distributed, and will model agent- like argumentation systems that can share knowledge non- monotonically. The US group will provide efficient implementation of expressive systems, the Portuguese, an expansion of the utility of the US systems, through increased expressiveness and new applications.

该奖项将支持美国团体之间的逻辑编程合作，包括纽约州立大学斯托尼布鲁克和南卫理公会大学的学生，由纽约州立大学斯托尼布鲁克的Terrance Swift领导，以及葡萄牙的Universidade Nova de Lisboa，由Luis Moniz佩雷拉教授领导。 他们将创建一个能够执行非单调推理的核心方面的顺序引擎，以开发一个强大的，可扩展的，可自由使用的系统，该系统将使逻辑编程用于诊断，规划和数据库假设推理等应用成为可能。 他们还建议开发一个分布式版本的XSB与PVM-Prolog相结合，形成一个系统，能够执行非单调推理的分布式，代理的环境。 USB-SMU小组在计算逻辑的基础理论以及在基于可用逻辑的系统中实现这些理论方面具有优势。 UniNova小组在表达逻辑系统与否定的理论发展和这些系统在现实世界中的问题的应用方面具有优势。 它们对执行和评价战略有共同的兴趣。 这两个小组已经开始探索，以不同的方式，分布式非单调推理，这将解决的情况下，知识本身是分布式的，并将建模代理样的论证系统，可以共享知识非单调。 美国集团将提供高效的实施表达系统，葡萄牙，扩大美国系统的效用，通过增加表现力和新的应用程序。