Rob*_*uld 4 language-agnostic computer-science
据我所知,我从未在计算机语言中遇到过SHOULD构造,但与那里的数百种语言相比,我再也不知道那么多语言.
无论如何,SHOULD和其他模态动词在自然语言中非常普遍,在编写文档和具有法律约束力的合同时它们的含义非常清楚,因此它们不是真正的灰色术语,理论上可以用编程术语来表达(我猜).
例如,ASSERT在某种意义上支持MUST构造.
有这种事情的实际例子吗？关于它的任何研究？我猜测一些基于规则的系统,也许模糊逻辑算法就像这样工作.