从逻辑的观点看关于逻辑真理与科学真理

随着科学的发展,人们所发现的真理的数目不断增加,它们已成为人类真理宝库中不可忽视的部分。然而真理的探寻问题需要人类的一种新的探索和研究精神;反过来,真理也需要与发展的当代的实际问题结合起来,使自己走出理论体系的象牙塔。文章从关于西方历史上哲学家们给“真”和“假”下的定义出发,并且介绍了几种逻辑真理论,并详细分析了逻辑真理与科学真理的不同与相同之处,最后得出逻辑真理与科学真理是一种辩证统一的关系。本文就逻辑对真理的认识问题和与传统科学真理的认识作了一番论述。     

科技期刊语义共享模型

语义 Web 对传统信息共享提出挑战,同时也为未来信息共享指明了方向。科技期刊作为重要的科技信息载体,一直发挥着不可替代的作用。本文通过基于语义 Web 信息处理的科技期刊共享模型的研究,以增强期刊的语义 Web 共享范围,提高内容信息传播效率,从而提升科技期刊的服务质量。     

时空语义模型的方法论意义

20世纪80年代,时空语义模型的建立引起了时空实在论的巨大方法论变革。文章分析了时空语义模型的内涵,在此基础上探讨了构造时空语义模型的方法论意义,指出了它之所以能够成为时空实在论进步的重要基础的原因所在。     

基于语义一致性的模型映射方法

源模型和目标模型描述之间的异构性是实现模型映射的主要困难.本文通过对模型描述语言的语法结构和语义表达特性进行抽象分析,提出了一种基于语义一致性的模型映射方法.该方法不仅可为模型转换的具体实现提供理论指导,还为验证不同抽象层次模型之间映射关系的正确性提供依据.     

语义网下的动态知识管理相关研究述评

语义网下的各个领域中普通存在着动态知识,如何解决动态知识管理问题是当前的一个重要课题。本文在分析了本体在解决动态知识管理问题的不足后,分别对国内外动态知识管理解决方案和研究成果进行了梳理,最后总结了现有研究存在的问题和可借鉴之处。     

一种基于领域的语义搜索引擎模型SSEM

Internet已成为全球最丰富的数据源,数据类型繁杂且动态变化,如何从中快速准确地检索出用户所需要的信息是一个亟待解决的问题.传统的搜索引擎基于语法的方式进行搜索,缺乏语义信息,难以准确地表达用户的查询需求和被检索对象的文档语义,致使查准率和查全率较低且搜索范围有限.本文对现有的语义检索方法进行了研究,分析了其中存在的问题,在此基础上提出了一种基于领域的语义搜索引擎模型,结合语义Web技术,使用领域本体元数据模型对用户的查询进行语义化规范,依据领域本体模式抽取文档中的知识并RDF化,准确地表达了用户的查询语义和作为被查询对象的文档语义,可以大大提高检索的准确性和检索效率,详细地给出了模型的体系结构、基本功能和工作原理.     

准实在论的真理难题

准实在论采取投射主义、表达主义的反实在论立场,同时又辩护对按投射主义理解的判断作出真假评价的权利,而解释真理概念成为这个任务的逻辑基础。准实在论提出过语义学解释、语用学解释和语源学解释三种解释,不仅没有给出准确的真理意义,而且导致了诸多问题。准实在论的真理难题启示我们,真理词项的处理要区分日常领域与各专业领域;对于具有客观性内涵的真理概念,应采取实在论去理解它所评价的判断。     

语义关联检索模型的构建与测试

语义关联检索模型作为一个嵌入式组件存在,它通过对用户提交的检索表达式进行语义分析,形成扩展的检索条件子句,实现基于语义关联的检索范围的合理扩大;同时,它根据扩展的检索条件子句中的元素在语义上的关联程度确定各元素的权值,从而实现相应检索结果根据权值大小的排序输出。     

一种基于语义树的三维模型检索方法

本文借鉴文本检索领域的研究成果,利用标注文字信息描述单个模型的语义,采用语义树表达三维模型间的语义,基于WordNet计算检索关键词与语义树中节点的语义相似性,返回语义相关性强的模型。提出较灵活的返回策略,筛选各语义相关节点的代表模型,便于用户进一步优化检索结果。实验结果表明,基于语义树的三维模型检索方法能够提高信息检索的效率,具有较高的理论及应用价值。     

基于语义Web的JeromeDL数字图书馆模型研究

以语义Web数字图书馆JeromeDL为研究对象,从JeromeDL的体系结构、资源组织和用户服务深入剖析语义Web数字图书馆的基本功能框架,指出JeromeDL书目本体描述了数字图书馆资源中概念和概念之间的各类关系,简洁地表达了书目资源中包含的主要对象,并概括了语义Web数字图书馆的信息服务的特点.     

论语义构造的内在机制

对语义形成的机制存在着两种不同的观点：即构成论和语境论。文章认为：语义是构造的产物,语义构造的过程,包括了在特定语境中的意向含义和含义充实两个方面。意向含义是说者所要表达的内容,含义充实是使这种表达具有真实内容。从意向含义到含义的充实,是在新的语境下将已有的语词通过语境推理进行重新组合,以构造出新的语词和语义。     

电子目录语义集成与智能服务系统研究

网络快速发展和在线产品与服务增加,电子目录作用越来越大.多标准源、多数据源的电子目录存在概念众多、标准各异、集成度低的问题,查询和搜索方式无法满足智能化集成和智能化服务的要求.本文以国际产品和服务分级标准、本体论和语义WEB为基础,定义电子目录的概念和外延,设计产品和服务本体元模型.提出电子目录本体丰自动生成理论,研究多教据源环境下标准整合、语义集成、智能目录服务理论、方法和系统.并开发了中文Ec语义词典、电子目录语义集成系统和语义查询子系统,对推进电子商务环境下目录的集成和智能化服务方面有较强的理论意义和实用价值.     

基于语义引导与支持向量机的中文文本分类

文本分类是中文信息处理的热点研究内容,而语义是文本类别归属的依据。提出一种基于语义引导的特征选择方法,在特征选择的同时,对典型类别区分词进行加权,提高该类词在分类中的作用;采用支持向量机技术进行试验,实验表明建立语义知识库的特征选择改善了文本的分类性能。     

基于ActiveX的GIS系统设计

首先综述了当前国内地理信息系统（GIS）的常见软硬件环境的不足之处以及GIS在技术上取得的新突破;介绍了ActiveX及其相关技术基础,最后提出基于ActiveX的GIS系统的结构组成。     

Truth and Provability

The views of Redhead ([2004]) are defended against the argumentby Panu Raatikainen ([2005]). The importance of informal rigouris canvassed, and the argument for the a priori nature of inductionis explained. The significance of Gödel's theorem is againrehearsed.