廖备水
- 作品数：43 被引量：192H指数：8
- 供职机构：浙江大学更多>>
- 发文基金：国家社会科学基金国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术哲学宗教语言文字自然科学总论更多>>
- 集体论辩及其研究进展
- 2022年
- 集体论辩是形式论辩的一个热点研究方向,主要研究在主体之间没有交互的前提下,对多个主体的推理过程和结果如何进行合成,体现的是多个主体在推理知识、观察信息以及推理结果上达成的共识。采用形式论辩对多主体交互的建模是建立单一的论辩框架,而集体论辩需要为多个主体建立各自的论辩框架,再采用一定的方法获得集体可接受的推理结果。作为一个新的研究领域,有关集体论辩的概念、理论和方法还远未成熟。根据形式论辩的已有理论,可将集体论辩研究划分为两个主要方面,即基于抽象论辩框架的研究和基于扩展论辩框架的研究。
- 李崇慧廖备水
- 关键词：多主体系统
- 基于ASP的泵站计算机监控信息查询系统被引量：3
- 2003年
- 针对东雷抽黄南乌牛泵站的监控系统,在原有的“组态王6.0”的计算机监控系统的基础上,提出了一种基于ASP的信息查询系统模型,并阐述了实际系统的开发环境和主要步骤。分析了该系统的特点,简要说明了在ASP页面中引入COM组件的解决办法。
- 廖备水孙超图
- 关键词：计算机信息查询系统ASP信息系统泵站
- 论辩系统的动态性及其研究进展被引量：6
- 2012年
- 论辩系统是一种非单调形式体系,能够支持个体Agent的推理决策和多Agent之间的有效交互.由于个体Agent的知识、观察信息和资源的动态性以及多Agent交互过程的动态性,在各类论辩系统中,论证及其攻击关系的动态性是普遍存在的.作为一个新的研究领域,有关论辩系统动态性的概念、理论和方法远未成熟.在介绍论辩系统相关概念的基础上,阐明论辩系统动态性的两个主要研究方向(正向动态性和逆向动态性),并讨论需要解决的开放性问题.围绕这些问题,简要回顾现有的理论和方法,并分析其特点和不足.
- 廖备水
- 关键词：非单调推理动态性
- 联导论证与层级语义
- 2020年
- 联导论证指的是由一个或多个理由推导一个结论,如果是多个理由,这些理由既可以是正面的,也可以是反面的。现有对联导论证的研究多局限于伦理和法律领域。以层级语义为切入点,分析联导论证在包含层级词的日常生活话语中的表现形式,指出层级语义的语义特征和论辩受众的生理、心理属性是造成联导论证的论证结果不确定性的两大因素。
- 周晓君周晓君
- 基于PDC-Agent的面向服务的自治计算研究
- 当前,如何依据动态的商业需求和策略实现异构网络应用的共享和集成过程的自我管理/(自治计算/)已经成为分布式系统研究的热点问题。
论文综述了目前支持异构网络应用/(抽象为服务/)合成的主流技术及...
- 廖备水
- 关键词：自治计算
- 文献传递
- 基于CORBA/Java技术的流域梯级电站监控系统被引量：3
- 2002年
- 根据流域梯级电站监控监测系统的分布式和异构的特点 ,提出了一种基于 CORBA/ Java技术的流域梯级电站监控系统模型 ,简要介绍了该系统的结构。
- 廖备水罗大晖黄小霞孙超图
- 关键词：流域梯级电站异构CORBA/JAVA监控系统
- 不一致问题与论辩逻辑被引量：10
- 2013年
- 作为传统非单调逻辑的继承和发展,论辩逻辑(又称为"抽象论辩理论"、"形式论辩"等)提供了一种处理不一致问题的一般机制。它运用抽象的论证和攻击关系来刻画不一致情境中各种推理系统所共有的冲突处理逻辑结构,并通过建立具有一般意义的评价标准(称为"论辩语义")来定义论证集合的可接受性。这两个特点使得论辩逻辑对解决不一致情境中的推理问题具有普遍适用性:首先,由于论证状态的评估只与论证之间的攻击关系有关,底层知识的类别、来源、表示语言和表示方法等可以多种多样;第二,论辩语义所对应的评价标准适用于各种具体应用;第三,论辩逻辑既可以支持单主体的认识推理和实践推理,也可以支持多个主体间交互时的推理(如说服、争论、协商等)。当前,论辩逻辑研究领域的重点是论辨语义的定义和求解方法、论辩逻辑的实例化方法以及论辩逻辑的应用等。
- 廖备水黄华新
- 关键词：非单调逻辑
- 一种支持自治计算的基于可废止逻辑的柔性Agent被引量：14
- 2008年
- 以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作.
- 廖备水黄华新高济
- 关键词：AGENT自治计算非单调推理分布式系统管理
- 根据外延构建论辩框架的研究被引量：1
- 2021年
- 抽象论辩的研究可以分为两个方向,一是依据论辩框架的结构,求取论辩语义;一是依据论辩语义,构建论辩框架。第一个方向目前已经得到了广泛的关注和研究,但是很少学者关注第二个研究方向。本文着手于论辩框架的构建及其应用:给定一个论证集合,找寻以此集合为外延的论辩框架,描述他们的结构特征,而后,将研究结果应用于抽象论辩的动态性中。
- 徐康廖备水
- 关键词：动态性结构特征论辩
- 自主计算概念模型与实现方法被引量：49
- 2008年
- 自主计算是一个新兴的热点研究领域,旨在通过"技术管理技术"的手段隐藏系统管理复杂性,建立用户可指导的、状态觉察的和自适应的计算机系统.目前,自主计算的研究仍处于起步阶段,尚缺乏系统而成热的理论体系.在阐明自主计算概念的基础上,提出一个自主计算概念模型.该模型刻画了自主元素和自主计算系统的基本工作机制和原理.以该模型为依据,概括性地提出了两类分别基于知识模型和数学模型的自主计算系统,分析它们的优点和不足.最后,给出了自主计算研究展望.
- 廖备水李石坚姚远高济
- 关键词：AGENTWEB服务
