逻辑编程对于程序员的意义

[adoyle-h]

我觉得逻辑编程 (Logic Programming) 对于程序员的意义在于，明确了自动推理范式，逻辑推演可以通过文字显示表达。
当存在一个逻辑推理系统，程序员需要做的工作就是把人观察到的现象和规则转化成文字，录入到系统作为数据。
当人们提出问题，系统就能自动推论出答案，并且能给出推理过程。这可以很大程度解放人的逻辑思考。

逻辑推理系统跟 AI 的区别在于，AI 是黑盒，逻辑推理系统是白盒。AI 可以帮助自然语言与逻辑语言之间进行转换。

[hbc13579]

这可以很大程度解放人的逻辑思考，我觉着解放这个词很有意思，好像我们都喜欢用逻辑思考能力去衡量一个人的认知能力，也就是聪不聪明，但人类本身应该就不擅长逻辑思考，这个工作会让大脑非常累

[adoyle-h]

嗯，我认为计算机、人工智能这些发明的初衷是为了解放脑力劳动（虽然从历史上来看是为了获取战争胜利）。脑力劳动跟体力劳动是对等的。而用来娱乐人类，提供生活便利，则是这些发明的副产物。

用逻辑思考能力去衡量一个人的认知能力，也就是聪不聪明

聪明也分情商和智商。有的人处事圆滑，有的人擅长推理和算术，都属于聪明。
如果人工智能情商不高，处处怼人类，把用户气得半死，那就属于不聪明了。

人类本身应该就不擅长逻辑思考

这个认知是怎么形成的？

[hbc13579]

聪明的定义可能比较泛哈哈，这个不擅长是和代码或者AI比较，相对来说消耗的资源更多