...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science >A measure of inferential-role preservation
【24h】

A measure of inferential-role preservation

机译：衡量推论 - 角色保存的措施

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

摘要

The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little literature on the criteria of good formalisation, and even less on the question of what it is for a formalisation to mirror the inferential network of a natural language or some fragment of it. This paper takes some exploratory steps towards a quantitative account of the main ingredient in the goodness of a formalisation. We introduce and critically examine a mathematical model of how well a formalisation mirrors natural-language inferential relations.
机译：形式化的点是模拟自然语言的各个方面。 也许将正式化的主要用途是模拟和解释不同句子之间的推论关系。 仅通过此目标判断，正规化成功地在将自然语言句子的推理网络建模建模到它反映了该网络的程度。 在良好的形式化标准上有令人惊讶的很少文献，甚至少对镜像自然语言的推理网络或其一些片段的镜像的问题。 本文采用了朝着正规化的善良的主要成分的定量叙述的探索性介绍。 我们介绍并批判性地检查了一个形式化镜子自然语言推理关系的数学模型。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号