本体论（信息科学）

在计算机科学和信息科学中，本体论包含了对概念、数据和实体之间的类别、属性和关系的表示、正式命名和定义，这些概念、数据和实体构成了一个、许多或所有的话语领域。更简单地说，本体是通过定义一组代表主题的概念和类别，来显示一个主题领域的属性以及它们之间的关系的一种方式。每个学术学科或领域都创建了本体，以限制复杂性并将数据组织成信息和知识。每个学科或领域都使用本体的假设来构建明确的理论、研究和应用。新的本体论可以改善该领域内的问题解决。当来自不同国家的专家在他们每一种语言之间保持一个受控的专业术语词汇时，翻译每个领域内的研究论文是一个更容易的问题。例如，经济学的定义和本体是马克思主义经济学的主要关注点，也是经济学其他子领域的关注点。经济学依赖信息科学的一个例子发生在模拟或模型旨在促成经济决策的情况下，比如确定哪些资本资产有风险，风险有多大（见风险管理）。信息科学和哲学中的本体论的共同点是试图根据一个分类系统来表示实体、想法和事件，以及它们所有的相互依赖的属性和关系。在这两个领域，在本体工程的问题上都有大量的工作（例如哲学中的Quine和Kripke，计算机科学中的Sowa和Guarino），以及关于规范性本体在何种程度上是可能的辩论（例如哲学中的基础主义和连贯主义，人工智能中的BFO和Cyc）。应用本体论被认为是对先前哲学工作的继承，然而，目前的许多努力更关心的是建立狭窄领域的受控词汇表，而不是xxx原则、固定本质的存在或持久对象（如perdurantism和endurantism）是否可能在本体论上比过程更主要。人工智能在机器翻译和知识表示中的自然语言处理等子领域的应用本体论方面保留了最多的关注，但本体论编辑经常被用于教育等一系列领域，而不打算对人工智能作出贡献。

本体论这个复合词结合了on-，来自希腊语ὄν，on（gen.ὄντος，ontos），即存在；thatwhichis，是动词εἰμί，eimí的现在分词，即是，我是，和-λογία，-logia，即逻辑话语，见这类词的经典复合词构成。虽然词源是希腊语，但这个词本身现存最古老的记录，即新拉丁语形式的ontologia，于1606年出现在雅各布-洛哈德（Lorhardus）的作品OgdoasScholastica中，1613年出现在鲁道夫-戈克尔（Goclenius）的Lexiconphilosophicum中。OED（牛津英语词典，网络版，2008年）所记录的本体论在英语中的首次出现是在GideonHarvey的ArcheologiaPhilosophicaNova或NewPrinciplesofPhilosophy。

本体论产生于被称为形而上学的哲学分支，它处理的问题包括什么是存在的，现实的本质是什么。作为哲学的五个传统分支之一，形而上学关注的是通过属性、实体和关系来探索存在，如特殊性和普遍性之间的关系，内在和外在的属性，或本质和存在。自有史以来，形而上学一直是一个不断讨论的话题。自20世纪70年代中期以来，人工智能（AI）领域的研究人员已经认识到，知识工程是建立大型和强大的人工智能系统的关键。

人工智能研究人员认为，他们可以创建新的本体作为计算模型，使某些类型的自动推理成为可能，但这只是小有成就。在20世纪80年代，人工智能界开始使用本体一词来指代模型化世界的理论和基于知识的系统的一个组成部分。特别是，DavidPowers将本体一词引入人工智能，指的是现实世界或机器人的基础，在1990年发表了强调基础本体的文献评论，与AAAI夏季研讨会自然语言和本体的机器学习的论文征集有关，其扩展版本发表在SIGARTBulletin上，并作为论文集的序言收录。一些研究者从哲学本体论中获得灵感，将计算本体论视为一种应用哲学。