全部版块 我的主页
› 论坛 › 经济学人 二区 › 外文文献专区
关于本体论与普通语言的注记
可人4
566 11
2022-04-15
摘要翻译：
我们主张一种以强类型本体论为基础的组合语义学，这种本体论反映了我们对世界的常识性看法和我们谈论它的方式。假定有这样一个结构，我们就会证明各种自然语言现象的语义可能变得几乎微不足道。
---
英文标题：
《A Note on Ontology and Ordinary Language》
---
作者：
Walid S. Saba
---
最新提交年份：
2007
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science        计算机科学
二级分类：Computation and Language        计算与语言
分类描述：Covers natural language processing. Roughly includes material in ACM Subject Class I.2.7. Note that work on artificial languages (programming languages, logics, formal systems) that does not explicitly address natural-language issues broadly construed (natural-language processing, computational linguistics, speech, text retrieval, etc.) is not appropriate for this area.
涵盖自然语言处理。大致包括ACM科目I.2.7类的材料。请注意，人工语言（编程语言、逻辑学、形式系统）的工作，如果没有明确地解决广义的自然语言问题（自然语言处理、计算语言学、语音、文本检索等），就不适合这个领域。
--

---
英文摘要：
  We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure we show that the semantics of various natural language phenomena may become nearly trivial.
---
PDF下载：
-->
English_Paper.pdf
大小:(212.04 KB)

 马上下载

二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

全部回复
能者818
2022-4-15 10:05:13
关于本体论和普通语言的注释Walid S.SabaComputing和统计科学中心美国研究所1000 Thomas Jefferson Street NWWashington,DC 20007 USAWSABA@air.orgAbstract。我们主张一种基于强类型本体论的组合语义学，它反映了我们对世界的常识性看法和我们谈论它的方式。假设这样一种结构，即各种自然语言现象的语义可能变得几乎琐碎。1引言，我们认为，自然语言语义学中的挑战是激烈的，因为我们的语义形式化的琐碎的本体论承诺与这些形式化意图代表的世界现实之间的严重不匹配。特别是，我们认为语义学必须建立在一个更丰富的本体论结构上，一个反映我们对世界的常识性看法和我们用普通语言谈论它的方式的本体论结构。最近，在Saba(2007)中，有人建议如何将语言本身作为一种工具来发现（而不是发明）这种本体论结构的性质。本文的目的在于证明，当语义学建立在这样一个本体论结构中时，语义学就会变得“几乎”微不足道，而这是通过假定存在一个相当简单和无争议的本体论结构来实现的。此外，这里还将证明，正是语义分析过程本身将反过来帮助我们更好地理解这种本体结构的性质，这种结构必须与我们对世界的常识性看法以及我们用普通语言谈论的方式同构。2与本体内容有关的语义我们首先提出一个基于强类型化本体结构的语义，这种结构与我们对版权Walid S.Saba，2007年的常识性看法同构，也可在http://cogprints.orghtp://cogprints.orghtp://cogprints.orghtp://cogprints.orghtp://cogprints.orghttp和http://arxiv.orghttp：//arxiv.orghttp：//arxiv.orghttp tp：//arxiv.orghttp：//arxiv.orgontology和普通语言。在这样做时，我们的本体论承诺最初将是最小的。特别地，我们假定存在一个包含许多一般范畴的层次结构，例如动物、物质、实体、人工制品等。我们将使用x（：：）Animalt来说明x是动物类型的对象，而使用清晰的x（：：）Humant来说明清晰的属性对于某个对象x是真的，这个对象必须是人类类型的（因为清晰的是通常关于人类的一种属性）。当propertyP对t类型的某个对象x为真时，我们写P x（：：）（（））（t）；当P对t类型的uniqueobject为真时，我们写x P x（：：）（（））（t）；andax P x（：：）（（））t当属性P对于类型t的某个对象x为真时，该对象只在概念上（抽象上）存在，即物理上不必存在的对象。专有名词，如Sheba，被解释为(1)Sheba P x Noo x Sheba P x[()((::，\'\')(::))]（音：x s（：：,）entityis对某个单独的对象x（实体类型）为真，如果（标签）s是x的名称，s就会被解释为（1）Sheba P x Noo x Sheba P x[()((::，\'\'\')(::))]。为了简化表示法，我们有时会将（1）写成=througho Entity t theduresheba P sheba P x[(::)((::))]。让我们定义x，y(，）当x与y相同时，成为对某些x和y成立的谓词。现在考虑如下：（2）William H.Bonney是Billy the Kid the the Kild.the the Kild.the the Kild.the Billy the Kild.the bly Noo x whb Noo y btk is x y1 1（：：）（：：）（（,\'\')（,\'\')（,））（（,\'\')（,））（（,\'\')（（,\'))（（,\'\')（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（（,\'))（威廉·H。
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

何人来此
2022-4-15 10:05:19
Bonney是Billy the Kid应该比William H.Bonney有更多的内容，因为这一提法似乎只是重申了某些WHB的存在。关于类型与变量的关联，现在应该注意到，avariable在一个范围内可能与不止一个类型相关联。“Bonney是William H.Bonney是William H.Bonney是William H.Bonney是William H.Bonney。例如，(1)中的x被认为是一个实体和一个类型t的对象，其中假定是属性P所适用（或其特征）的对象的类型。在这些情况下，一定会发生某种类型的统一，其中，s tx y P x是x y（：：）（：：）（（）（,））s tx P x（：：（））(())s ty P y（：：（））(()).w。S.Sabat类型统一的最简单情况()oS.t，在两个类型s和t之间，定义如下：（3）为了说明类型统一的概念，考虑解释sheba is hunger所涉及的步骤，在这里我们假设（）动物实体kengle，并且hunger是一个适用于（或有意义的）属于动物类型的对象的属性。sheba is hunger（sheba hunged sheba（：：）（（：：））实体动物yensheba hunged sheba（：：（）））（（））动物实体yensheba hunged sheba（：：）（（））动物yen因此，sheba is hunger声明有一个名为sheba的唯一对象，该对象必须是动物类型的对象，因此sheba is hunger。字体统一并不总是那么简单，这将在下面详细讨论。然而，现在，我们感兴趣的是强调将本体论分类嵌入到逻辑形式的性质和关系中的效用。例如，考虑解释《示巴是一个年轻的艺术家》所涉及的步骤，在（4）中给出。（4）谢巴是一个年轻的艺术家。谢巴艺术家谢巴·杨·谢巴(::)((::)(::))\\\\\\实体人类物理而且年轻。这里请注意，与人类不同，人类是一个第一内涵的本体论概念(Cocchiarella，2001)，艺术家和（4）中的类型统一可以以任何顺序发生，因为(ro(sot))=((ros)ot)。也就是说，类型统一是结合的（当然也是交换的），这是这样一个事实的结果：（r-（s-t））=(r-s-t）,其中是最小上界（lub）算子。然而，重要的是，与每一个量词引入的变量相关联的类型与每一个性质和关系的类型相统一，正如后面的例子所证明的那样。另外此外，与第一内涵的本体论概念（如人类）不同，逻辑概念如艺术家和青年被假定是通过逻辑表达式定义的，即dfx艺术家x（：：）（（））“人”和dfx青年x（：：）（（））“动物”，其中，“和”的确切性质很可能受到时间、文化和其他背景因素的影响，这取决于某个社区在某个时间点认为艺术家（例如）是什么。也就是说，虽然x所展示的艺术家和年轻人的性质是偶然的（以及时间的、文化依赖的等等），但某些x是人（因而是动物等）的事实并不是。3关于类型统一，到目前为止，我们已经执行了涉及包含关系的类型的简单类型统一。
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

何人来此
2022-4-15 10:05:26
例如，我们在上面建议()ohuman Entity=human，因为（）human Entity guilding，也就是说，因为一个human也是一个实体。然而，在与一个变量有关的不同类型之间，常常不是包含，而是存在着某种其他关系，一个典型的例子是名词性复合物的情况。特别是，例如，我们有兴趣回答以下名词性复合物指的是什么类型的对象的问题：不认识人和教授之间的本体论区别（即，在本体论上存在的是人类型的对象，而不是教授，教授是一种可能适用于也可能不适用于人类型的对象的mereproperty)，传统上导致了具有多重继承性的本体论猖獗。在最近反对幻想学的论据中，Smith(2005)指出，对一阶逻辑中的谓词可以发现关于实在的本体论结构的许多错误学说给予了太多的关注。例如，根据史密斯的说法，在一阶逻辑中使用标准谓词来表示约翰是一个人和约翰·伊斯特尔的意义，完全忽略了每个话语中隐含的不同本体论范畴。虽然我们同意这一观察，但我们认为，我们对语义学的方法是建立在一个理想化结构的基础上的，它应该反映我们的常识现实，它确实解决了这个问题，而没有向形式主义引入特殊的关系，正如本文中的例子（4）和随后的例子所证明的那样。因此，一阶逻辑（和弗雷格）必然是反派，“谓词不代表”的口号也许是适当的，但似乎只有在谓词没有任何本体论内容时才是适当的。SABA(5)a。书评b。书的提议。设计回顾。设计计划从常识的角度来看，书评的存在与书的存在相形见绌，而书的建议的存在则不应该（尽管它毕竟可能存在，例如，如果我们在书出版多年后谈到abook建议的话）。关于(6c)和(6d)中的名词性化合物，也可以提出类似的论点。因此，我们可以说，对书评的引用就是对评论的引用（评论归根结底是一种活动），而这种活动的对象必须是一本存在的书；虽然对一本书提案的引用是对某本书提案的引用，但这本书可能实际上并不存在。即：（6）一个书评\\\\P x y对y x P y的评论[(::)(::)((，)))]λbixqioxx x y的提议\\\\ap x x y的提议为y x P y[(::)(::)((，)())]λbixqioxx P x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x总而言之，类型统一最终定义如下：（8）最后，必须注意，一般而言，类型统一可能失败，而这种失败发生在同一范围内分配给avariable的类型之间没有任何关系的情况下。例如，假定人工x（：：）naturalObj，即人工是通常所说的naturalObj类型的对象的一种性质，并假定（）car Artifact,那么名义上的复合人工Cara将得到解释事实上，正是我们在这里进行的这种分析将帮助我们对某些本体论范畴的性质有所了解，例如{审查、评价、分析等}和{建议、建议、计划等}。
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

可人4
2022-4-15 10:05:32
在附录中，我们提出了一些涉及许多模式的[名词名词]化合物的模板组成函数。oss tt t ss ts taQx P x ifQx P x ifQx P x xqx y R x y y P x y P y如果R R x yQx P x,否则（：：）（（））（（））（（））（（））（（）（（））（（（））（（（））（（））（（（））（（））（本体和普通语言（9）一个人造汽车λλCar naturalObjP x人造x（（：：）（（（）））]，因此，类型统一似乎在解释某个短语时失败了，而从常识的角度来看，这个短语似乎不可信。这里还应该指出，有些名义上的复合物不符合我们的常识（例如，前父亲）没有‘抓住’类型统一，但最终在逻辑层面上被抓住了--关于这个问题的更多细节，请参见(Saba，2007)。4从抽象到实际存在，除了在某些假定的本体论中使用atype之外，对可能仅在概念上存在的对象的peaking使我们以一种重要的方式扩展了将类型与量化变量关联的概念。回想一下，我们将类型与量化变量关联的意图，例如在Articulate x（：：）human中，是为了反映我们对Articulate属性在日常话语中如何使用的共同理解，即Articulate通常是指属于TypeHuman的对象。那么，像迫在眉睫这样的财产呢？毫无疑问，只有当e是某个事件时，说某个对象e是迫在眉睫的，在普通语言中才有意义，我们已经把它表示为迫在眉睫的e（：：）事件。但显然我们可以对E作出更多的假设。特别地，impressure在某些e的普通语言中是这样说的，当e是一个尚未发生的事件，即一个只在概念上存在的事件时，我们把它写成aimpressure e（：：）事件。现在出现的一个问题是：一个既迫在眉睫又重要的事件的状态是什么？显然，一个重要的和迫在眉睫的事件仍然应该被假定为一个实际上并不存在的事件（尽管它可能很重要）。鉴于我们的类型统一规则，因此重要的必须是表示实际上并不存在的事件的属性，如下所示：（10）一个重要且迫在眉睫的事件（10）a aP x Importnat x importing x P x[()((::)(::))]λpixóevent实体t^aaP x Importnat x importing x P x[(::)(()((:))(::))λpiximportnat x importing x P x[(::)(()(:)))λpix-event tS.SABAIt在这里值得注意的是，一个人总是可以把一个对象（如一个事件）从抽象存在‘拉下来’到实际存在，但相反的情况不是真的。因此，对与抽象概念（如事件）类型相关联的变量的量化最初应始终假定抽象存在。为了说明这一点，让我们首先假设如下：（11）参加x y(::，::)人类事件cancel x y(::，::)人类事件也就是说，我们在这里假设，谈论参加或取消某个事件的人类总是有意义的，在那里参加一个事件就是有一个存在的事件；取消的对象是一个不存在（如果曾经存在过的话）的事件。现在考虑以下几点：（12）约翰参加了研讨会，安卓安参加了j e1 1（：：）（：：：）（（：：：：））（安卓安参加了j e1 1（：：（））（：：（）））（安卓安参加了j e1 1（：：）（：：））（安卓安参加了）人类研讨会，也就是说，说“约翰参加了研讨会”是说有一个特定的人叫j，一个特定的研讨会e（实际上存在），所以j参加了e。
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

nandehutu2022
2022-4-15 10:05:41
另一方面，现在考虑一下对（13）中句子的解释。（13）约翰取消了seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary of the seminary y（：：）（：：）（：：：）（（：：：：）（（：：：：））（（：：：：））（（：：：：））（1 ajohn y y（：：）（：：：））（1 ajohn y）（：：（：））现在，当一个类型从抽象存在‘下降’到实际存在时，就会发生一个有趣的情况。Le us assumeaPlan x y(::，::)人类事件；thatTense和modal方面也会影响初始类型分配。例如，在“John Willating the Seminary”中，最初的假设应该是研讨会（事件）可能并不存在。虽然这并不影响这里提出的（不同的）参数，如Hirst(1991)正确指出的那样，假设对研讨会的引用是内涵的，即引用是“研讨会的想法”并不能解决问题，因为aseminar的想法不是被取消的东西，而是一个实际上没有发生的实际事件！本体论和普通语言是这样的，说一些人正在计划（或确实计划了）一个不需要（还）实际存在的事件总是有意义的。现在考虑下面的情况，(14)约翰计划了旅行，(14)约翰计划了旅行，(14)a aj e计划了x y1 1（：：）（：：：）（（：：：：））---------------------------------------------------------------------------------------------------------------------------------------------------但是，假设长e（：：）事件；即，lengthy，通常是指一个（存在的）事件，那么对“john planned the Long-the Trip”的解释应该是：（15）john planned the Long-Trip the Trip the the Long-Trip the the Trip the the Trip the the Trip）（：：）（（：：：）（（：：：）--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------这里需要注意的是，(15)中的旅行由于同一句中包含的其他信息而最终被认为是一个存在的事件。然而，总的来说，这些信息可以在更大的讨论中得到。例如，在解释（16）约翰计划了这次旅行。它很长。“它”的解析将迫使收回在处理“约翰计划了这次旅行”时推断出的类型，因为接下来的信息将把前面提到的旅行从抽象的“拉下来”到实际的存在。这些细节显然超出了本文的范围，但对这些过程的计算细节感兴趣的读者可以参考（van Deemter&Peters，1996)。S.SABA5关于内涵动词和点（o）对象考虑以下句子及其对应的标准一阶逻辑翻译：（17）john Find a unicorn x unicorn x found j x（）（（）（,））Anthony Anthone(18)john Seked a unicorn x unicorn x Sered j x（（）（,））“Anthony Anthone x unicorn x Sered j x（（）（））”（Anthony Anthony Ant unicorn x Sered j x（（）（）（））“Anthony Anthone Anthony x unicorn x Sered j x（（）（）（）”Anthony Anthone
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

点击查看更多内容…
相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

微信QQ空间QQ微博
扫码加好友，拉您进群
各岗位、行业、专业交流群