{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","title":"论数码物的存在","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787208154346","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","id":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","uuid":"0f4df77e-fbc5-46b5-aca2-e27886d75b12","title":"论数码物的存在","normalized_title":"论数码物的存在","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787208154346","isbns":["9787208154346"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":317,"navigation_url":"https://workshop.closeclaw.top/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12","title_url":"https://workshop.closeclaw.top/ai/title/%E8%AE%BA%E6%95%B0%E7%A0%81%E7%89%A9%E7%9A%84%E5%AD%98%E5%9C%A8","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/0f4df77e-fbc5-46b5-aca2-e27886d75b12","page_url":"https://workshop.closeclaw.top/api/ai/books/0f4df77e-fbc5-46b5-aca2-e27886d75b12/page","search_url":"https://workshop.closeclaw.top/api/ai/books/0f4df77e-fbc5-46b5-aca2-e27886d75b12/search"},"page":{"printed_page":64,"pdf_page":74,"physical_index":74,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"cafaa5eb1c3374fb5b360cdb42e84911a8316afd5a9058bf6b8118f51f433a5d"},"chapter":"论数许煜著李婉楠译码物的存5上海人民出版社 在","content":"$$\n\\mathrm { < \\pm / { \\vert \\pm \\vert } > + < \\sqrt { \\frac { 1 1 } { 1 2 } \\lambda \\vert \\Delta } > + < \\mathcal { \\bar { H } } \\vert \\mathcal { \\bar { H } } > ( < \\mathrm { s u b j e c t } > + < \\mathrm { p r e d i c a t e } > + < \\mathrm { o b j e c t } > ) }\n$$\n\n这种简洁性允许机器级别上的推理语言与连续的逻辑操作。从可扩展标记语言向更为逻辑性定义的资源定义框架的过渡是朝着一个由人工智能驱动的万维网迈出的重要一步。2002年又引人了另一个标准网络本体语言来提高逻辑运算的性能。网络本体语言正是万维网联盟开发的用于本体构建的语言。网络本体语言有三个版本，每个版本根据不同的用途和复杂性进行区分。最高和最复杂级别的网络本体语言是一个逻辑语言，它可以表示诸如类、属性、关系和基数等变量。网络本体语言的使用将从“可以推理它们的工具的可用性”中受益，或者用伯纳斯-李的话来说，机器可以“假装在思考”。[49]网络本体语言、资源定义框架、一阶逻辑与描述逻辑(DL)的关系将在第五章中进一步讨论。\n\n总结前面关于数码物个化的讨论，我们认识到这个过程包含三个关键概念：普遍性、互操作性与可扩展性。巧合的是，这些都是“客观性”的同义词。然而我们可以看到，这种客观性事实上是在不断的演进或个化的过程中的。这种客观性不仅限于人的理解，还需要机器的解释。关于“数码环境”客观化和个化的讨论，最近才进入了一个更加成熟的阶段。从横向上看，我们可以看到，形式已经从通用标记语言(允许一台机器内程序之间的兼容)发展到本体(跨越互联网，在机器与机器之间)，这一过程逐渐涉及更多数量的对象、机器与用户，以维持其功能与稳定性。我们也可以通过缔合环境来衡量互操作性和兼容性。纵向而言，我们可以看到，数码物总是处于一个逐渐变得更加具体和个化的过程之中。超文本标记语言只是一个格式化的文本文件，而资源定义框架是一个复杂的文件，以高级编程与逻辑开发能力编码。因此，资源定义框架或网络本体语言格式下的本体与面向对象程序设计中的对象类似。面向对象编程有三个重要的特性：抽象，封装与继承。如此，一个类可以被覆盖从而生成新的类，它随后继承父类的某些属性和函数。我们可以在当前的网络本体概念中确定所有这些特性。\n\n70\n\n71\n\n72\n\n论数码物的存在\n\n64","previous_page":63,"next_page":65}