检索结果-内蒙古大学图书馆

Representation of fragmentary multilayered knowledge 3rd

3rd International Workshop on Meta-programming in Logic, META 1992

作者： Hamfelt, Andreas Hansson, Åke Uppsala Programming Methodology and Artificial Intelligence Laboratory Computing Science Dept Uppsala University Box 520 UppsalaS-751 20 Sweden

ISBN: (纸本)9783540562825

Formalization presupposes ‘precisification’. A formal representation, therefore, cannot account for all relevant aspects of imprecise domain knowledge. In this paper we present a methodology for dealing with this problem. In an imprecise domain, part of the expertise is to know the realm within which knowledge may be faithfully specialized. In a computer reasoning system, such expert knowledge can be reproduced as a metatheory for proposing and reasoning with formal object theories, each representing one particular specialization. Metaknowledge of this kind will however most often also be imprecise and the expertise on how it may be specialized resides then at the metametalevel, etc. We show that logic provability and upward reflection are adequate means for representing such hierarchical domain knowledge and the dependencies in it between adjacent levels. © Springer-Verlag Berlin Heidelberg 1992.

关键词： Domain Knowledge

来源：评论

学校读者我要写书评

暂无评论

SYNTHESIS OF A UNIFICATION ALGORITHM IN A LOGIC programming CALCULUS.

引用

Journal of Logic programming 1984年第1期1卷 3-18页

作者： Eriksson, Lars-Henrik Uppsala Univ Programming Methodology & Artificial Intelligence Lab Uppsala Swed Uppsala Univ Programming Methodology & Artificial Intelligence Lab Uppsala Swed

A formal specification of unification is presented and a unification algorithm is synthesized from it. The synthesis is done by logical deduction within the logic programming calculus developed by A. Hansson and S. A. Tarnlund. First-order logic with identity is used as the specification language and extended Horn clause logic as the target language.

关键词： COMPUTER programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：