• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent computer mathematics. >Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
【24h】

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

机译：科学，技术，工程和数学变化管理工作流程

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and - in contrast to published research mathematics - subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.
机译：数学知识是科学，工程和技术（文档）中的重要组成部分。其中大多数是非正式代表的，与已发表的研究数学相反，它会不断变化。不幸的是，对变更管理的机器支持要么非常粗糙，因此几乎没有用，要么仅限于可以自动化的正式语言。在本文中，我们报告了将变更管理扩展到半正式文档的集合的工作，这些文档可以灵活地混合数学公式和自然语言，并将其集成到用于数学知识的语义发布系统中。我们验证了长期存在的假设，即这些驱动机器支持的与文档交互的弹性形式文档中的语义注释可以同时支持语义影响分析。但是与完全正式的设置相反，受影响的文档可以在一定程度上实现自动化，而正式设置则需要更多的用户交互，因此需要更紧密地集成到文档管理工作流程中。

著录项

  • 来源
    《Intelligent computer mathematics.》|2011年|p.164-179|共16页
  • 会议地点 Bertinoro(IT);Bertinoro(IT);Bertinoro(IT);Bertinoro(IT);Bertinoro(IT);Bertinoro(IT)
  • 作者

    Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev;

  • 作者单位

    Safe and Secure Cognitive Systems, German Research Centre for Artificial Intelligence (DFKI), Bremen, Germany;

    Safe and Secure Cognitive Systems, German Research Centre for Artificial Intelligence (DFKI), Bremen, Germany,Computer Science, Jacobs University Bremen, Germany;

    Safe and Secure Cognitive Systems, German Research Centre for Artificial Intelligence (DFKI), Bremen, Germany;

    Computer Science, Jacobs University Bremen, Germany;

    Safe and Secure Cognitive Systems, German Research Centre for Artificial Intelligence (DFKI), Bremen, Germany,Computer Science, Jacobs University Bremen, Germany;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 人工智能理论;人工智能理论;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号