language-features - 三值变量，最大值，最小值，实际值

Question

很久以前，我使用 Egeria 一种专家系统语言开发了系统。它有一个非常有用的特性，其中变量具有三个值，最小值、最大值和当前值。通过这种方式，可以计算出部分已知值的概率，结果以范围结束。我不记得语法了，但它是这样的:-

A.Min = 1;
A.Max = 5;
A.Current= 4;
B.Min = 2;
B.Max = 4;
B.Current= 4;


A * B = {2, 20, 16}

我的问题是，这种方法叫什么，目前有任何语言实现它吗？

Answer 1

您描述的多值变量可用于基于约束的编程。有关最近的论文，请参阅 Radul 和 Sussman，"The Art of the Propagator" .

先生。 Radul 上周出席了 ILC 2009。他举了一个(人们可能会考虑的)多值变量的例子，这些变量代表了对“真相”的概率近似。 (对于任何误传，我提前道歉，我没有笔记。)

考虑一个系统，该系统必须协调来自两个热传感器的读数。进一步假设每个传感器的读数都带有一定程度的不确定性:传感器 A 表示温度在 A1 和 A2 之间，传感器 B 表示温度在 B1 和 B2 之间。系统应该在尝试计算温度时失败吗？或许可以用读数重叠的范围来表达“真相”。