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

该奖项将支持美国团体在逻辑编程方面的合作，其中包括纽约州立大学石溪分校的学生、由纽约州立大学石溪分校的Terrance Swift领导的南卫理公会大学，以及由Luis Moniz Pereira教授领导的葡萄牙新里斯本大学。他们将创建一个能够执行非单调推理的中心方面的顺序引擎，以开发一个健壮的、可扩展的、自由可用的系统，该系统将使逻辑编程用于诸如诊断、规划和数据库上的假设推理等应用成为可能。他们还建议开发一个分布式版本的XSB与PVM-PROLOG相结合，以形成一个能够在分布式、类似代理的环境中执行非单调推理的系统。USB-SMU小组在计算逻辑的基本理论以及在基于逻辑的可用系统中实施这些理论方面具有优势。UniNova集团在带有否定的表达逻辑系统的理论开发以及将这些系统应用于现实世界问题方面具有优势。它们都对执行和评估战略感兴趣。这两个小组已经开始以不同的方式探索分布式非单调推理，这将解决知识本身分布的情况，并将建立能够非单调共享知识的代理式论证系统的模型。美国集团将通过提高表现力和新的应用程序，提供高效的表达系统葡萄牙语的实施，扩展美国系统的效用。

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.