能不能构建这样一种逻辑化的语言

通过自然语言处理,剔除冗余,提炼语义内容并转换,将所有自然语言翻译成同一种逻辑化的语言。
不是世界语这种失败的东西,而是单纯地提炼语义,不考虑某些难以翻译、无法翻译的东西,仅仅以容易学习、能够沟通作为目的。
理论上能做到吗?


网友评论:
逻辑化是与或非那种吗?
问题是实际交流的时候经常会需要暧昧模糊的表达吧
看上去似乎属于formal semantics的范畴?
Lojban,请。

然而又有卵用呢?都是自嗨
自然语言是做不到这种事的,你要简单处理一些比较机械化的操作可以,但是扩展到所有方面就不行了。断句怎么判断?如何区分一个句子是上句的延伸还是下一句的前提?打个比方,你和朋友吐槽某局游戏输得不甘心因为有人送,然后扯淡扯到各种事情,最后你又没头没脑来了句妈蛋我还是很气,正常人都知道你还是在说开头那件事,可是机器翻译你怎么处理?再把原事件加载表达句式后面?这样就失去了机器语言简洁的优势了。楼主这想法是通用翻译的原理吧?可是语言是和一个族群的文化传统生活习惯相关的,你不了解之前是无法判断他们用的语言逻辑系统的,就像倒装和正装你也要先给机器一个定义他才知道哪个是主语那个是副,而给每个族群定义的话你还不如直接换成那个族群的专用翻译效率更高,对于机器来说也就是多点储存量。通用翻译能行的前提必须是AI。
《逻辑哲学论》,请

—— 来自 Xiaomi MI 6, Android 8.0.0上的 v2.0.3
没啥用,你真正去做就会发现「剔除冗余」这个操作和「带着冗余一起翻译」的难度也差不到哪去。

仅仅以容易学习、能够沟通作为目的的话,现在的NLP技术再打几年补丁也差不多了。
弗雷格尝试过建立一种逻辑严密的人工语言来取消哲学问题,但是显然是不可能的,罗素还有哥德尔的工作都证明了他的徒劳。
日常语言学派既然存在显然有原因的啦
楼主可以用自然语言描述一下红黑树,太难的话hashmap也行。
现在就有深度学习的算法(虽然效果不好吧)能把自然语言转化成组合范畴语法(CCG)的形式,组合范畴语法包括了Functor(作为学数学的,无论是计算机里的Functor还是语言学的Functor我都想吐槽,不管还是算了吧)表示论元的传统范畴语法,还包含了其他的范畴语法组合结构
除了直接转成CCG,还能把句子变成AMR(抽象语义表示),AMR也能转成一阶逻辑或者别的什么东西

然而这些东西本质上都不重要,实质上分析哲学也罢,形式语义学也罢,得到的这套类型论、lambda 抽象之类的东西对于他们想研究的思维问题帮助极少,因为真正的问题不是按照形式语义学来分类结构,把它们变成one-hot的东西,而因为人脑子里的“概念”,甚至“推理”,“论元”注定是distributed representation vector,和思维对应的应该是这些vector的形式,所以才能有隐喻,比喻
画画吧
忧郁地发言 :为什么人类会有无法传达的心声和无法被他人感知的内心的难受呢。语言,常人每天说的都是废话呢,只有那些少数的学术聚聚离不开逻辑desu
离散了解一下。

计算机的functor是说函数对象还是范畴间的映射?那数学上的functor是指什么?
把 dl 的机器翻译网络的黑盒拆出来估计就是了
听上去贼像 1984 ,对语言进行精简,对于好和坏两个词,只保留好,用不好表达坏的意思,用更好,更更好,来表达好的程度。。。这就是一种非常反人类的做法了,还是要尊重历史传承的。毕竟连不合理的城市设计,人类很多时候都无法改变(毕竟要钱的事)。
一般城市设计是指工厂要在城市的下风,下水处。嗯,到底怎么说城市河的相对下游啊?


当计算机里说Functor的时候我已经搞不清楚是函数对象还是范畴间的映射了……
C++里,BS说functor是一个重载了()运算符的类,天知道到底是他望文生义把functor当成了函数对象还是他考虑到重载()运算符的方法是实现高阶函数,Curry化的好途径

数学上的functor当然是范畴间映射的那个,但是按埃尔多安的话说,和语言学与计算机科学的理解有720度的不同——虽然本质上是一个,但是理解上差太远了,以至于根本就不该用同一个名词来表示……
要知道category被发明出来至今,对于数学家来说,被用来当做直觉的主要是 Freyd的 Full embedding theorem……category或多或少地被限制在同调代数的范围内,比如Abelian category和 triangulated category……
万万没想到这玩意能被category logic的人看上(Grothendieck的topos 也是同样的情况),问题是除了定义之外,其他的category相关的东西,几乎没有任何定理可能共通啊,那么这套语言转换除了装13之外有什么意义……
这不就是维也纳学派的逻辑实证主义主张么?

不,这不涉及“文字游戏”
WolframAlpha了解一下
语言本能了解一下,书写更逻辑,语言更情景。

  -

标签:    发布日期:06-28