谓词逻辑 vs 自然语言

Posted StoicDaily

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了谓词逻辑 vs 自然语言相关的知识,希望对你有一定的参考价值。

谓词逻辑总是可以用自然语言描述,反之未必。或者说,正则表达式总是可以用自然语言描述,反之未必。

 

“没什么招待您的”。如果把这个否定句表达到谓词逻辑,则是“招待您的食物 + 娱乐 + 服务 = 0”。然而这并非该否定句的真实含义。真实含义很可能是:这只是句客套话,而实际上,食物还算丰盛可口、娱乐还算丰富有趣、服务也还算贴心周到。

 

“なんのお構いもできません(没什么招待您的)”。如果把这个双重否定句(なんの……できません)表达到谓词逻辑,则是“お構いもできる(招待您的食物 + 娱乐 + 服务 = 很多)”。然而这也并非该否定句的真实含义。真实含义很可能是:这只是句谦辞,表示“招待您的食物 + 娱乐 + 服务 = 有,只是不很多”。

 

“谓词逻辑”和“自然语言”之间存在巨大鸿沟。搞定前者可以用线性规划,而搞定后者必须用AI

以上是关于谓词逻辑 vs 自然语言的主要内容,如果未能解决你的问题,请参考以下文章

OO课程学期末总结

关系数据库元组关系演算语言ALPHA

类型为 Mercury 等逻辑编程语言带来啥好处?

F# 和模糊逻辑

CodeQL练习1

数理逻辑