蒙坦格罗、帕西尼、图里尼著
ACM通信，1977年10月，第20卷第10期，第725-730页
10.1145/359842.359850
评论
对非确定性编程的基本思想进行了批判性的重新思考，为允许直接控制非确定性特征的语言挑出了适当的态度和编程风格。提出的态度旨在在一个层面上保持搜索过程的非确定性表述的纯洁性
尝试级别)，将问题解决工作的协调工作交给另一个人
选择级别)。讨论了识别这两个层次的可行性，强调在选择层次上要管理的结构是上下文树。叶子是计算环境，每个都包含一个要检查的选项，而其他节点与选择点相关联。根据所提出的编程风格，a
生成函数与每个选择点相关联，它表示所需的选择策略。这种方法的主要优点是搜索策略的本地化:树的每个非终端节点都跟踪计算状态，就像上次查询选择点时的状态一样，同时保持策略以协调可用的备选方案。并以ND-Lisp为例，给出了根据这些指导原则设计和实现的Lisp扩展。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
