一般术语公理下的模糊描述逻辑FALCN推理

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.

关于术语及术语学

本文介绍了“术语”在不同语言中的不同表达以及“术语学”在不同工具书中的不同定义 ,并着重阐述了“一般术语学”的学科地位、主要研究对象、方法以及与相关学科的关系。文章最后强调指出在当今时代术语与术语学研究所具有的特殊重要性。

科技期刊编辑中准确择用术语例析

以实例分析的方法,讨论了科技期刊编辑实践中如何根据专业知识准确选用术语,以及如何根据文段内容准确选用术语。