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