海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 忽然想起了以前曾经看到的 Lojban逻辑语,如果能够普及就好了,形意一致,人机交互无障碍,并配有语法检查器
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇
阅读上一个主题 :: 阅读下一个主题  
作者 忽然想起了以前曾经看到的 Lojban逻辑语,如果能够普及就好了,形意一致,人机交互无障碍,并配有语法检查器   
邑水寒






加入时间: 2018/10/23
文章: 387

经验值: 11732


文章标题: 忽然想起了以前曾经看到的 Lojban逻辑语,如果能够普及就好了,形意一致,人机交互无障碍,并配有语法检查器 (148 reads)      时间: 2019-3-11 周一, 下午2:30

作者:邑水寒驴鸣镇 发贴, 来自 http://www.hjclub.info

就和计算机语言一样,可以检索语法错误.

记得曾经去 Lojban 爱好者群里看过,确实形意一致,程序检查语法错误,人机交流无障碍,刚才又搜索了一下,发现了Lojban中文网站.
https://mw.lojban.org/papri/%E6%AC%A2%E8%BF%8E%EF%BC%81_(%E4%B8%AD%E6%96%87)

下面是维基百科的介绍

https://zh.wikipedia.org/wiki/%E9%80%BB%E8%BE%91%E8%AF%AD

逻辑语

维基百科,自由的百科全书

逻辑语(Lojban,/ˈloʒban/ (Speaker Icon.svg 聆听),又作理语[来源请求]),一种人工语言,是Loglan的后继者,由逻辑语言群(Logical Language Group,LLG)在1987年开始发展而成。最初目标是证明萨丕尔-沃夫假说。它依照形式语言尤其是谓词逻辑构造,而非建基于现有的自然语言。其特点是:言文一致、形意一致、文化中立。

字源
Lojban是一个复合字,由loj与ban组成,它来自于简短形式的logji(英语:logic,逻辑)与bangu(语言),意为逻辑语言。


历史
Lojban的前身是Loglan,由詹姆士·库克·布朗在1955年设计出的人工语言,用来验证萨丕尔-沃夫假说。Loglan稍后由Loglan中心(Loglan Institute)继续开发。詹姆士·库克·布朗发表了一系列论文,确定了Loglan的基本设计方向。但是他认为自己拥有Loglan的著作权,以法律限制其他人对这种语言的改良。对此不满的开发者,另外组成了逻辑语言群(Logical Language Group,缩写为LLG),在1987年另外设计出了Lojban。Lojban最早的标语是Lojban:Loglan的实现(Lojban: A Realization of Loglan),显示了逻辑语言群将Lojban的目标设定在实现Loglang的设计理念。此外,他们希望可以进一步改善这种语言,使它更容易使用,而且自由的被使用。

经过长期的发展,在1997年出版的《逻辑语大全》(The Complete Lojban Language)标志了这个语言的成熟。

特点
逻辑语的突出特点之一是无歧义性,无歧义包括言文一致和形意一致两方面,此外另一重要特点是文化中立。

言文一致
言文一致,是指:

一种发音唯一书写。意味着只要说话人遵守了发音标准,记录人学会了发音规则,就能准确听写,哪怕记录人对于含义和语法一窍不通。
一种书写允许相似但相同含义的发音。即尽管每人有自己的口音,但在允许的范围内,说出来的字可容易辨认出(根据发音标准)含义相同。
自然语言如中文,一般不能达到这两个条件。例如:“新文学”和“新闻学”是同一个发音形式对应于不同的书写形式(和意义)的例子。而“老子”和“老子”(普通话俗语,代表“父亲”或“我”)是同一种书写形式对应于并不相似的发音形式(和意义)的例子。

即使是其他人造语如世界语,仍然有言文不一的问题,尽管它们通常也设计尽量避免言文不一致,但是也有许多情况下需要使用停顿、重读等语音形式来区分句子的不同含义(不同侧重点),如此就使得一种书写对应含义不同的发音。

通过严格的构词法和明确叙述的发音规则,逻辑语大体上达到了上述目标。并且,它的发音规则还有如下特点:

上下文无关:一个书写符号对应于唯一的一类发音形式,无论其在文本中处于什么位置。
严格的等价:对应于书写符号的一类发音形式,无论采用哪一个都是合法的,都被辨认成同一个书写符号。
发音标点系统:使用明确的发音和对应的书写形式来表示其他语言中的标点符号,例如句号、直接引语等。
语法功能提示:逻辑语的构词法对单词的语法功能提供了很多提示,不管从发音形式还是书写形式上都能快速判断一个词的功能。配合独有的发音标点系统后,即使一句话只听到一半,也能快速跟上下一句或者下一个有效语法成分,且能对未听全的内容作出相当有效的猜测。
由于逻辑语的书写规则比较松散,词间空白很多情况下可以省略,因此严格来说一种发音形式对应一种书写形式的要求并未达到。然而,不同的留空方式在语法层面的结构和语义层面的意义完全一致。

形意一致
形意一致并不是说不存在含义模糊或者笼统的情形。含义模糊,指的是概念本身的模糊,即概念的外延没有明确的边界。例如,“大”、“高”等概念在没有明确标准的情况下就是模糊的。逻辑语用来表达这些概念的词语可以是模糊的,就像自然语言一样,也可以是精确的,一般是通过给出标准来精确化。

而含义笼统,则是因为有明确外延的概念的涵盖范围太广而出现的。例如,“我坐车”这个表达本身很明确,但可能坐的是摩托车、汽车、甚至自行车。当实际语境需要更明确地表述时,就出现了含义笼统。逻辑语同样存在这样的问题,避免不适当的笼统和模糊并不是语言的任务,而是语言使用者的义务。同时,适当的笼统和模糊往往是文学艺术的必要成分,完全没有笼统和模糊的语言将是没有生命力的。

但是,自然语言常常会有真正的歧义。这种歧义包括四个层次:

同样的词语(一般指书写形式,但有时候甚至发音形式也相同)有两种以上无关的意义。例如“架子”可以是一种实物,也可以是指为人处事的一种态度。这称为词义层次。
即使每个词语都能正确解读,但是句子可能存在两种以上不同的结构,从而使得整个句子具有截然不同的含义。例如“你被我打”与“你我被打”。这称为语法层次。 英语里更为模棱两可的例子:"Do I not press this?" 可理解为“我是否不应该按这个?”,也可理解为“我不是应该按这个吗?”。很明显,同一个回答(“是的”)会有两种相反的意义。
词语的意义和句子结构都能唯一解读时,仍可能有不同的意义,这可能是语义层次的指称不明等原因造成的。例如“他很高”可以形容他人身高,但亦有可能是形容其技术高明。这称为语义层次。
即使句子的结构和意义都完全确定,但是在不同的场合下同样的句子可能有不同的用途。例如在面试中询问应试者名字是正常做法,但在街上随便拉一个陌生人问同样的问题就很唐突了。这称为语用层次。
逻辑语通过严格的语法避免出现第二种歧义。由于其文法可以使用计算机程序如YACC进行检查,因此它的无歧义性就如计算机程序设计语言一样有保证。对于前一种,则通过良好、无歧义的词语定义来避免。对于语义层次,逻辑语允许在必要的时候以任意的精确度对语义予以明确,但仍允许使用者说出不明确的句子。至于语用层次,任何语言层面的规则都无法防止,包括逻辑语。

文化中立
许多人造语,例如世界语等,一个被人诟病的问题就是它们的语法通常基于某种或者某些自然语言的特征而构建,从而偏离了文化中立(例如世界语就是基于欧洲语言)。另一种文化中立的问题来自于词汇,因为人造语的词汇一般来自于自然语言,因此难免在取材方面有所偏颇。

通过奠基于谓词逻辑,逻辑语很大程度上消除了语法上的文化中立,因为谓词逻辑本身是人类知识的一部分,并不专属于某种文化。但是,逻辑语在语法上的特质更偏向于孤立语,而与屈折语有所区别。对习惯于存在人称、数、性、格等屈折的用户,逻辑语也存在一些可选的外部屈折方式,即对词汇添加修饰项。

在词汇来源方面,为了尽量做到语言中立,逻辑语的基本词汇(gismu,根词)来自于六种世界上使用人数最多的语言:

汉语:约占34%
印地语:约占20%
英语:约占16%
西班牙语:约占12%
俄语:约占9%
阿拉伯语:约占9%
此外,还有一些词汇是来自于其他文化的特定用语,另有部分来自于科学界通用术语。

发音
主条目:逻辑语音系
逻辑语音系为逻辑语之音系。逻辑语力求言文一致,即书写与发音一致,为此订立了严格的发音规则。

文法
主条目:逻辑语文法
逻辑语语法为基于逻辑语之"语法"。作为一门人工语言,逻辑语的语法相当严谨。它有严密的词法、构词法和句法以及言文一致的标点系统,可以精确表达许多自然语言难以准确表达的意义。此外,它是一种可以通过计算机程序对文字的语法进行自动检查的语言,在《逻辑语大全》一书最后一章用YACC和EBNF两种文法描述语言对其语法进行了定义。[1]

作者:邑水寒驴鸣镇 发贴, 来自 http://www.hjclub.info
返回顶端
阅读会员资料 邑水寒离线  发送站内短信
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇 所有的时间均为 北京时间


 
论坛转跳:   
不能在本论坛发表新主题
不能在本论坛回复主题
不能在本论坛编辑自己的文章
不能在本论坛删除自己的文章
不能在本论坛发表投票
不能在这个论坛添加附件
可以在这个论坛下载文件


based on phpbb, All rights reserved.
[ Page generation time: 0.090232 seconds ] :: [ 28 queries excuted ] :: [ GZIP compression enabled ]