Web Agent中的对象逻辑知识库技术

Web Agent技术是近年来互联网领域研究的热点。以国防科研项目“基于multi-Agent的分布式决策支持系统”及其后勤保障应用为背景,介绍了一个基于语义Web与Web服务的多Agent系统,并通过后勤保障原型应用实例描述了对象逻辑知识库的构造。

逻辑-对象知识模型LOKM

知识模型是知识信息处理系统的重要基础,是建立知识系统的主导思想,提供知识表示和操作的形式构架。在近几年研究的基础上,我们提出了逻辑-对象知识模型LOKM。本文主要讨论该模型的知识结构和推理策略。

关于逻辑对象的哲学思考

逻辑因变项的出现而发生 ,逻辑是研究变项间关系的学问。变项间的关系是客观事物特定关系的反映 ,面向人类普通思维的逻辑必须尊重变项间关系的客观性。但是 ,现代逻辑沿袭并过分渲染了斯多葛学派的真假理念 ,以所谓“真值抽象”理论割裂、改变了变项间的天然关系 ,使逻辑研究的对象演变为人工设计、创造而成的思维形态 ,从而使逻辑理论失去了对普通思维的普遍适用性。

冲压液压机PLC程序设计中的时序逻辑对象封装

提出时序逻辑对象的概念。通过创建和封装时序逻辑对象并按面向对象方法进行电液比例控制系统的PLC编程,把对冲压液压机设备实体的控制映射为控制虚拟逻辑对象。根据流程图中的状态顺序及电磁铁闭合表中液压泵阀等元件的分布,按工艺要求将液压元件组合成时序逻辑对象;每个对象均有各自属性,包括运动机构在相应工步下的工作压力、流量、位置和方向等极限参数;事件则是报警信息、控制模式、工艺制式、操作命令和反馈信号的组合逻辑。对象间传递的消息按流程状态顺序由上游向下游传递并从下游对象得到回复消息;逻辑对象支持的方法由流程状态定义确定。该对象抽象和封装方法结合消息传递和触发机制可以提高编程效率。

简论对象的逻辑与方法的逻辑

正确把握逻辑的研究对象、方法、范围、类型等相关问题的还需注意的一个问题是对逻辑本质认识的澄清。一般认为逻辑是关于思维形式有效性的理论体系,它不关心思维内容问题。这一观点预设在思维内容和思维形式之间存在着明显的区分,事实上这是对逻辑的严重误解。人类知识信念具有整体性,逻辑属于信念承诺集合的一部分,并且是其最不愿意放弃的那部分。

网管系统中逻辑对象编号方法

首先介绍了现有网管系统中采用的逻辑对象编号方法,分析了其优缺点,随后,针对这些问题提出了一种新的逻辑对象编号的方法——分段式ID分配方法,结合内存对象树的设计详细地描述其原理,使用该方法可以高效地分配和回收对象ID。

论逻辑对象与逻辑科学

形式逻辑研究对象是命题形式,逻辑学就是总结概括命题形式特性所形成的理论体系。 1 思维活动目的自身要求有一种研究命题形式的科学。思维是一种理性活动。理性活动的进行依赖于多方面的条件,如思维载体、经验材料、间接知识、思维方法等等。无论思维活动过程多么复杂,其目的只有一个,那就是形成一种关于事物的确定的思想。任何一种确定的思想,其形成途径不外乎两个方面。一是在直接经验材料的基础上形成,如:太阳红。火烫手。二是在间接知识基础上形成,如:“凡人皆有死。

逻辑地图:一种大逻辑观取向的学科划分

大逻辑观视域中的"逻辑学科"应该包含3个层面,其一是逻辑本体学科,又可称之为对象逻辑,它是以演绎逻辑为核心,同时包容归纳逻辑和辩证逻辑的逻辑学科群;其二是研究对象逻辑基本问题或哲学问题的元逻辑学科;其三是对对象逻辑原理进行系统性推广和运用的应用逻辑学科。从对象逻辑到应用逻辑,其间的桥梁是逻辑科学方法论学科,包括演绎逻辑科学方法论、归纳逻辑科学方法论以及辩证逻辑科学方法论。

从墨辩看逻辑的理论和应用

分析从墨子应用逻辑、对象逻辑,到墨辩元逻辑,再到诸子百家逻辑应用的飞跃,说明中国古代逻辑从应用到理论,再到应用辩证运动的动因、过程和脉络,从墨辩的产生、发展过程,探索逻辑理论和应用相辅相成、相互促进的机理,寻求现代逻辑理论和应用的历史借鉴。

中国逻辑元研究的成果

中国逻辑元研究的成果,是学术探索继往开来的新起点。西方学者的元研究理论,可作为中国逻辑研究的借鉴。《公孙龙子·名实论》、《荀子·正名》和《墨经》的名辩学说,是先秦第一层次的名辩元逻辑。《公孙龙子·名实论》和《墨经》总结正名的逻辑规律,《小取》的"推"式论证和《墨经》的"止"式论证,是先秦第一层次名辩元逻辑的范例。诸子百家争鸣辩论的应用逻辑,是升华先秦第一层次名辩元逻辑的对象逻辑。现代学者以先秦第一层次的名辩元逻辑为对象逻辑,经过创造性诠释和改造转型,建构第二层次的名辩元逻辑。创造性诠释和改造转型,对原生态的先秦名辩来说,是必要的。先秦学者用古汉语表述的名辩,不经创造性诠释和改造转型,不便今人认知与应用。对先秦名辩的创造性诠释和改造转型,融会贯通古今中外逻辑,建构适用于全人类的世界同一逻辑,汲取中国学者独创的逻辑精华。

关于逻辑基本问题的思考

逻辑是人类社会发展到能合逻辑地思维、表达、交际的程度时 ,人类对自身的发现 ,它是关于正确思维与成功交际的工具 ,是对有效推理与论证的规律的研究。但是 ,在我们进行现代化建设的过程中 ,当我们更需要逻辑思维帮助的时候 ,逻辑学科的生存在中国出现了危机。不改变对逻辑学的不公正态度 。

当下存在的本质如何是社会的?——马克思存在论新对象性思维辨析

本文在当代哲学存在论(主要是海德格尔的哲学)对传统哲学逻辑的对象性思维的批判语境中 ,考察了马克思存在论新的非逻辑的、关于感性活动的、交互主体性本质力量的对象性思维特征 ;描述了其基于自身性而与自我性的交互性超越结构 ,及其是如何达到存在之社会本质的理解和确证的 ;

略论逻辑规律的客观性和主体性

本文从逻辑规律的存在、产生和发展及其客观基础等方面,论述了逻辑规律的客观性和主体性。作者认为,逻辑规律决非是事物本身的规律,只有正确看待逻辑规律与事物规律的关系,才能把逻辑学与哲学的研究对象区分开来。

对文学语言表现功能的探索——《文心雕龙·隐秀》主旨浅议

《文心雕龙.隐秀》篇所谈论的问题,主要该是文学语言的表现功能问题。所谓"隐",就是通过创造"复意"的方法,把语言的实指对象隐藏起来,目的是切近"道";所谓"秀",针对的则是语言的逻辑对象,通过对实指对象基本特征的逻辑描述,创造出"卓绝"的效果,目的是引出"道";"隐""秀"合一,是文学语言表现功能比较完整的说明。

ORACLE视图技术在用户数据管理中的应用分析

ORACLE 9i具有的视图工具可以提高数据库系统安全性。为提高表隐蔽性以保证用户数据安全,视图工具是从基础表或其它逻辑对象中利用查询语句创建新的逻辑对象[1],数据库字典包括视图定义,视图只对应满足条件的用户数据,数据仍存放在基础表,利用视图以屏蔽真实逻辑对象,提高数据库安全性。

数字校园建设之教职工信息对接技术研究

数字校园建设,是学校教育信息化发展的必然趋势。在校园数字化建设过程中,为降低成本,提高系统工作效率,消除信息孤岛,多数院校采用整合现有系统的方案。各个不同系统的数据对接问题是该方案建设的瓶颈和关键,该论文采用将物理数据转换成逻辑实体对象的方式,消除数据存在的差异,将逻辑实体对象转换成物理数据,实现各系统中校园教职工数据的对接。

DBMS聚簇技术在用户相关数据管理中的应用分析

Oracle DBMS[1]提供一种聚簇技术用于管理用户数据,即利用聚簇数据表关联序列决定数据物理存储位置,依据多个相关数据表中标识对象同一属性的相同字段键值建立存储索引,从而快速确定用户某类数据物理存储数据块,提高数据检索效率。

电子证据的取证规则与提取方法刍探

该文主要探讨电子证据的取证规则以及提取方法,所谓取证规则的司法解释是人民法院、行政主体及其相对人和其它利害关系人收集、调取证据所应遵循的程序、方法和应满足的条件。而电子证据的取证规则就是电子证据在调查取证过程中应当遵循的原则、程序、注意事项。所谓电子证据提取方法就是进入计算机犯罪现场以后所面临的技术难题而采取的相应措施。该文介绍一些从开机状态下如何收集电子证据简单方法,供同行借鉴和参考。

关于全面发展的反思

在《全面发展-哲学上的困惑》一文中(见本刊93年3期;以下简称《困惑》)留下过多的空间,讨论的问题也没有限制在细节上,字里行间尚存言而未尽的许多出处。以情感而言,全面发展让人期望过高。

地区科学创新领域社会经济过程的专门研究方法

以概括的形式提出了地区科学创新领域专门研究方法的逻辑对象模型，并且补充了社会学成分。介绍了利用学术干部潜力、科学技术发展竞争力和生态化迫切问题研究方法和原则的选择。