论文部分内容阅读
四值逻辑在计算机科学和人工智能中有着重要的应用价值。然而,四值逻辑的应用受到了其不够直观的语义的限制。在本文中,我们将致力于为四值逻辑建立起一种直观的语义,来解决自然语言表述的推理不易被形式化为四值逻辑的问题。 在以往对四值逻辑语义的研究中,从自然语言表述的推理转化到四值逻辑的形式表达这一过程,始终缺乏一种规则,产生出的表达式往往也不直观。本文的主要贡献在于,我们建立的四值逻辑新语义,除相对直观外,还可以对矛盾进行有效的区分,从而指明超协调性与弱一致性是一个完备的四值逻辑的固有特性。这种新语义基于“事物都有两面性”的直观思维,在使用特定的连接词时,只需要理清我们对某一事物正反面的不同认知,便可以将自然语言表述的推理转化为四值公式组。最后,我们也可以看到,基于这种语义四值形式系统是直观、可靠而完备的。