弗朗西斯科·德·莫拉；阿泽韦多，卡斯特罗·阿森桑 多值逻辑上的约束求解——应用于数字电路。 （英语） Zbl 1037.94016号 AI通讯。 16，第2期，125-127（2003）. 正文内容：由于使用条件、危险环境或故意原因，物理和虚拟系统的组件会出现故障，这可能会影响其整体行为。在由一组命题逻辑规则建模的“黑盒”系统中，只有组件的子集在外部可见，只有通过检查系统的某些输出功能才能识别此类故障。系统的（无故障）模型提供了给定一些输入的预期输出。如果实际输出与预测输出不同，则系统出现故障。然而，只有在给定适当的输入时，系统输出中的某些故障才会变得明显。因此，出现了许多与测试和诊断相关的问题，例如：如何测试系统（为此所需的最小工作量是多少？）；如何测试故障（所需的最少资源是什么？）；可能的故障有哪些；以及如何区分可能的故障并找到正确的故障。我们使用一套成熟的基准电路来解决此类诊断相关问题，并提出和开发具有不同逻辑的模型，我们尽可能将其形式化和通用化。我们还证明了所有技术都适用于多个故障和由一组命题逻辑规则建模的系统。此外，我们还提供了一些先进的技术来有效地解决这类问题。 MSC公司： 94C12号机组 故障检测；电路和网络测试 68米15 网络和计算机系统的可靠性、测试和容错 68N17号 逻辑编程 03B80号 逻辑的其他应用 软件：克莱尔 PDF格式BibTeX公司 XML格式引用 \textit{F.de Moura}和\textit{C.A.de Azevedo}，AI Commun。16，第2号，第125-127条（2003；Zbl 1037.94016）