福克斯（Mark S.Fox）。 约束导向搜索：job-shop调度的案例研究。 （英语） Zbl 0702.68032号 人工智能研究笔记。伦敦：皮特曼出版社；加利福尼亚州洛斯阿尔托斯：Morgan Kaufmann Publ。，公司184页17.95英镑（1987年）。 本书研究了job-shop调度领域中的约束定向推理问题。job-shop调度问题定义为选择一系列操作，这些操作的执行将导致订单的完成，并为每个操作分配时间（即开始和结束时间）和资源。可能的时间表数量随着订单数量、替代生产计划、可替代资源以及分配资源和执行操作的可能时间呈指数级增长。特定时间表的可接受性不仅取决于备选方案的可用性，还取决于其他知识，例如组织目标、资源的物理限制、资源和操作之间的因果限制、资源的可用性以及备选方案之间的偏好。通过从约束导向搜索的角度来看待调度问题，这些知识中的大部分可以被视为对调度生成和选择过程的约束。在这些约束条件下，在车间调度订单的问题引发了人工智能界关注的许多问题。本专著介绍了一个名为ISIS的系统，该系统使用约束导向搜索范式来解决调度问题。此外，ISIS系统旨在为工厂的实际使用提供完整的设施。ISIS程序的版本已经使用模拟订单在真实工厂的模型上进行了测试。交互式系统将简单地指导人工调度器的调度系统与能够实时控制操作的调度系统之间的鸿沟连接起来。审核人：R.斯洛文斯基 引用于27文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 68卢比 计算机科学中的组合数学 90B35型 运筹学中的确定性调度理论 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：基于知识的系统；作业车间调度；约束定向搜索；交互式系统 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Fox}，约束导向搜索：job-shop调度的案例研究。伦敦：皮特曼出版社；加利福尼亚州洛斯阿尔托斯：Morgan Kaufmann Publ。，股份有限公司（1987；Zbl 0702.68032）