|
推理网络：证明标记语言的轻量级使用
Inference Web in Action: Lightweight Use of the Proof Markup Language |
|
| |
| 课程网址: |
http://videolectures.net/iswc08_dasilva_iwialuotpml/
|
| 主讲教师: |
Paulo Pinheiro da Silva
|
| 开课单位: |
德克萨斯大学
|
| 开课时间: |
2008-11-24
|
| 课程语种: |
英语
|
| 中文简介: |
用于Web解释的推理Web基础结构及其用于编码对齐和出处信息的基础证明标记语言（PML）已被用于多个项目，从解释认知代理的行为到解释如何从自然界中的多个信息源提取知识语言。自2002年成立以来，PML规范已经大大增加，以适应从多个项目中获得的丰富需求，包括上面提到的那些项目。在本文中，我们的目标与其他PML文档截然不同：证明PML可以被简单系统（以及复杂系统）有效地使用，并描述语言及其相关推理Web工具的轻量级使用。我们展示了一个示范科学应用如何在NSF资助的网络基础设施项目的背景下使用轻量级PML描述。整篇论文中使用的科学应用程序作为轻量级使用PML和推理Web的一个用例，旨在成为一类网络基础设施应用程序的操作原型。
|
| 课程简介: |
The Inference Web infrastructure for web explanations together with its underlying Proof Markup Language (PML) for encoding justification and provenance information has been used in multiple projects varying from explaining the behavior of cognitive agents to explaining how knowledge is extracted from multiple sources of information in natural language. The PML specification has increased significantly since its inception in 2002 in order to accommodate a rich set of requirements derived from multiple projects, including the ones mentioned above. In this paper, we have a very different goal than the other PML documents: to demonstrate that PML may be effectively used by simple systems (as well as complex systems) and to describe lightweight use of language and its associated Inference Web tools. We show how an exemplar scientific application can use lightweight PML descriptions within the context of an NSF-funded cyberinfrastructure project. The scientific application is used throughout the paper as a use case for the lightweight use of PML and the Inference Web and is meant to be an operational prototype for a class of cyberinfrastructure applications.
|
| 关 键 词: |
基础结构; 证明标记语言; 解释认知
|
| 课程来源: |
视频讲座网
|
| 最后编审: |
2020-06-08：yumf
|
| 阅读次数: |
70
|
|
图 书 馆