Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems

这个项目将从根本上提供一个新的非单调逻辑编程的范例。因此，它将大大有助于澳大利亚在智能系统开发的前沿研究中发挥领导作用。这种新的非单调逻辑程序设计可以作为一个有效的平台，被澳大利亚许多计算机公司用来建立真实的世界领域的复杂知识系统。因此，该项目对澳大利亚具有潜在的经济和社会效益。该项目拥有来自不同大学的强大研究团队和合作研究培训环境，将进一步提升澳大利亚作为计算和IT研究领导者的国际声誉。

This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this project has potential economic and social benefits for Australia. With a very strong research team across different universities and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing & IT research.