廖备水

作品数：42被引量：177H指数：6
导出分析报告
供职机构：浙江大学更多>>
发文主题：论辩人工智能AGENT非单调推理对齐更多>>
发文领域：自动化与计算机技术哲学宗教语言文字自然科学总论更多>>
发文期刊：《计算机辅助设计与图形学学报》《清华大学学报（哲学社会科学版）》《计算机集成制造系统》《逻辑学研究》更多>>
所获基金：国家社会科学基金国家自然科学基金浙江省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机器伦理的哲学基础、基本特征与实现方法
《高等学校文科学术文摘》2024年第5期28-30,共3页廖备水 
一、机器伦理的哲学基础。机器伦理研究如何在计算机、机器人或其他自动机器中设计、实现和产生伦理决策。通过研究人类如何思考、学习和作出道德决策,以此为参考来建立机器伦理方法。依据对决策相关方面的考虑重点不同,有不同的伦理学...
关键词：伦理学理论 机器伦理 伦理决策 道德决策 机器人 基本特征 计算机 哲学 
机器伦理的实现方法
《中国社会科学文摘》2024年第5期15-16,共2页廖备水 
机器伦理研究对于推动新一代人工智能的健康发展以及为人类创造福补具有极为重要且迫切的意义。由于机器伦理的弱主体决策性,实现机器伦理的主要方式是伦理对齐,即使得机器的行为与人类社会的伦理价值对齐。为了建立伦理对齐方法。
关键词：人工智能 机器伦理 伦理价值 对齐 决策性 新一代 
机器伦理的哲学基础、基本特征与实现方法被引量：5
《中国社会科学》2024年第2期126-142,206,207,共19页廖备水 
随着人工智能系统自主决策能力的不断提升,如何赋予智能体的决策以足够伦理考量成为一个备受关注的重要挑战。解决这一问题的关键途径是建立机器伦理,即将人类伦理价值观和道德规范嵌入人工智能系统,使其具备伦理对齐能力。机器伦理建...
关键词：伦理对齐 可解释性 大语言模型 知识表示与推理 
包含演绎支持关系和必要支持关系的论辩框架
《中文信息学报》2023年第10期122-129,共8页程佑 廖备水 
国家社会科学基金(20&ZD047)。
对于包含支持关系的论辩框架,已有研究中存在对攻击的定义繁琐、外延求解复杂等问题。该文用演绎支持关系和必要支持关系来扩展抽象论辩框架,并采用一种基于强度的方法来定义该框架中的攻击关系,在此基础上提出一种更简洁且更有表达力...
关键词：双极论辩框架 基于等式的方法 论辩语义 
论新一代人工智能与逻辑学的交叉研究
《复印报刊资料（逻辑）》2022年第3期3-14,共12页廖备水 
国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”(20&ZD047)阶段性成果。
新一代人工智能以大数据和机器学习技术为核心,实行的是联结主义的路径。该路径在场景相对封闭的数据密集型应用中取得了巨大成功,但面临可解释性差、伦理对齐困难、认知推理能力弱等瓶颈问题。为了在一定程度上解决这些问题,不可避免...
关键词：新一代人工智能 认知推理 伦理对齐 可解释性 形式论辩 
论新一代人工智能与逻辑学的交叉研究
《新华文摘》2022年第16期150-153,共4页廖备水 
新一代人工智能,是为了因应当前信息环境、社会需求、人工智能研究目标等的巨大变化,而发展起来的人工智能新理论、新方法和新技术,实行的是联结主义路径。作为计算机科学和人工智能基础的逻辑学,在符号主义人工智能中起到了直接的基础...
关键词：人工智能 计算机科学 机器学习技术 符号主义 联结主义 逻辑学 交叉研究 基础性作用 
集体论辩及其研究进展
《浙江大学学报（人文社会科学版）》2022年第7期118-137,共20页李崇慧 廖备水 
国家社会科学基金重大项目(20&ZD047,17ZDA026);浙江省自然科学基金项目(LY20F030014)。
集体论辩是形式论辩的一个热点研究方向,主要研究在主体之间没有交互的前提下,对多个主体的推理过程和结果如何进行合成,体现的是多个主体在推理知识、观察信息以及推理结果上达成的共识。采用形式论辩对多主体交互的建模是建立单一的...
关键词：多主体系统 集体论辩 形式论辩 抽象论辩框架 
论新一代人工智能与逻辑学的交叉研究被引量：19
《中国社会科学》2022年第3期37-54,204,205,共20页廖备水 
国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”(20&ZD047)阶段性成果。
新一代人工智能以大数据和机器学习技术为核心,实行的是联结主义的路径。该路径在场景相对封闭的数据密集型应用中取得了巨大成功,但面临可解释性差、伦理对齐困难、认知推理能力弱等瓶颈问题。为了在一定程度上解决这些问题,不可避免...
关键词：新一代人工智能 认知推理 伦理对齐 可解释性 形式论辩 
基于迭代分解的特征化概率论辩语义求解方法
《逻辑学研究》2022年第1期1-13,共13页陈东恒 廖备水 
浙江省自然科学基金项目“可用且高效的概率论辩理论及算法研究”(LY20F030014);国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”(20&ZD047,18ZDA290)。
抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具。关于概率论辩语义的求解,现有的基于特征化子图的方法可以在很大程度上提高算法的计算效率,但在枚举特征子图时仍存在一定的盲目性。针对该问题,本文在现有方法的基...
关键词：抽象论辩 概率论辩 特征子图 语义计算 
根据外延构建论辩框架的研究被引量：1
《逻辑学研究》2021年第6期41-67,共27页徐康 廖备水 
This material is based in part upon work supported by the“2030 Megaproject”-New Generation Artificial Intelligence of China under Grant No.2018AAA0100904;the National Social Science Fund of China under Grant No.20&ZD047.
抽象论辩的研究可以分为两个方向,一是依据论辩框架的结构,求取论辩语义;一是依据论辩语义,构建论辩框架。第一个方向目前已经得到了广泛的关注和研究,但是很少学者关注第二个研究方向。本文着手于论辩框架的构建及其应用:给定一个论证...
关键词：外延 集合 动态性 结构特征 论辩 关注 抽象 构建 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部