佩德罗·卡巴拉尔；戴维·洛伦佐 具有功能和默认值的逻辑程序。 （英语） Zbl 1111.68378号 Alferes，JoséJúlio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学讲义3229。人工智能课堂讲稿，294-306（2004）。 摘要：在这项工作中，我们重新考虑了用函数术语替换谓词式表示法的问题，使用了与函数逻辑编程相似的语法，但使用了完全不同的语义视角。我们的出发点是使用逻辑程序进行知识表示和非单调推理，特别是在三种众所周知的默认否定语义下：Clark完备性、稳定模型和基础良好的语义。在这种情况下引入函数的动机来自于在许多域的表示中频繁出现的函数依赖。函数的使用允许我们避免显式公理化，并通过嵌套函数项提供更紧凑的表示。从表示的角度来看，引入的最有趣的特性是可以用函数默认值的概念替换默认否定。在本文中，我们探讨了带有默认值的函数的思想，为函数案例提供了上述三种语义的改编版本，并将其等效转换为逻辑程序。关于整个系列，请参见[Zbl 1056.68002号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 软件：斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{D.Lorenzo}，莱克特。注释计算。科学。3229、294--306（2004年；Zbl 1111.68378） 全文： 内政部