塞尔吉奥·安托伊 最优非确定性函数逻辑计算。 （英语） Zbl 0886.68034号 Hanus，Michael（编辑）等人，《代数与逻辑编程》。1997年9月3日至5日在英国南安普敦举行的第六届国际联合会议，ALP’97-HOA’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1298, 16-30 (1997). 摘要：我们表明，非确定性简化了将某些问题编码到程序中的过程。我们定义了一类非流畅但性能良好的重写系统，用于支持函数逻辑编程中的非确定性计算。我们通过几个例子展示了使用这个类的好处。我们为这类系统定义了一个收缩策略，并证明了对于这些概念的适当定义，我们的策略是合理、完整和最优的模非确定性选择。我们将我们的策略与相关工作进行了比较，表明我们的总体方法与当前提出的通用、基础广泛的函数逻辑语言完全兼容。关于整个系列，请参见[Zbl 0871.00033号]. 引用于15文件 MSC公司： 68N17号 逻辑编程 2012年第68季度 语法和重写系统 关键词：重写系统 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}，莱克特。注释计算。科学。1298，16-30（1997；Zbl 0886.68034）