百晓学者学者目录

廖备水

浙江大学哲学系

个人简介

廖备水，浙江大学哲学学院（逻辑学）与计算机学院（人工智能、计算机应用技术）博士生导师，求是特聘教授，教育部长江学者特聘教授，脑机智能全国重点实验室兼聘教授，国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”首席专家。研究方向为人工智能逻辑、可解释人工智能、机器伦理。

精选作品

期刊论文

  1. Sheng Wei, Yulin Chen, Beishui Liao (2026). Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework.DOI
  2. Marija Slavkovik, Liuwen Yu, Leon VAN DER TORRE, Réka Markovich, Beishui Liao (2026). Disobedience in Normative Multi-agent Systems.DOI
  3. Zhaoqun Li, Jieting Luo, Beishui Liao (2026). Logical reasoning in evolving scenarios: Evaluating LLMs with dynamic epistemic logic puzzles. Knowledge-Based Systems.DOI
  4. Yulin Chen, Bo Yuan, Chen Chen, Zhaoqun Li, Beishui Liao (2026). Correction to: When Interpretability Meets Noise: An LLM-Assisted Hybrid Deep Logical Rule Learning Framework. Machine Learning.DOI
  5. Jieting Luo, Beishui Liao, John-Jules Meyer (2025). A formal framework for reasoning about agents' independence in self-organizing multi-agent systems. Journal Of Logic And Computation, Vol. 350, No. 40.DOI
  6. Yulin Chen, Bo Yuan, Chen Chen, Zhaoqun Li, Beishui Liao (2025). When Interpretability Meets Noise: An LLM-Assisted Hybrid Deep Logical Rule Learning Framework. Machine Learning.DOI
  7. Zhaoqun Li, Xiaotong Fang, Chen Chen, Mengze Li, Beishui Liao (2025). Enhancing conflict resolution in language models via abstract argumentation. Neurocomputing.DOI
  8. Zhaoqun Li, Beishui Liao, Chen Chen (2025). Investigation of semantic behavior in probabilistic argumentation. International Journal of Approximate Reasoning.DOI
  9. Yulin Chen, Bo Yuan, Beishui Liao, Dov M. Gabbay, Lu Cheng (2025). Interpretable named entity recognition via integrating logical rule learning with deep neural networks. Expert Systems with Applications.DOI
  10. Zhaoqun Li, Chen Chen, Mengze Li, Beishui Liao (2025). Exploring formal defeasible reasoning of large language models: A Chain-of-Thought approach. Knowledge-Based Systems.DOI
  11. Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi, Dov M. Gabbay (2025). Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic. Lecture notes in computer science.DOI
  12. Siyi Liu, Ziyi Gao, Beishui Liao, Chen Chen (2025). On Pluralistic Methods for Explaining Argument Acceptance in Abstract Argumentation. Lecture notes in computer science.DOI
  13. 廖备水（2024）. 机器伦理的哲学基础、基本特征与实现方法. 《中国社会科学》, No. 2.下载原文
  14. Jinsheng Chen, Beishui Liao, Leendert van der Torre (2024). Bisimulation between base argumentation and premise-conclusion argumentation. Artificial Intelligence.DOI
  15. Beishui Liao, Fenrong Liu, Leendert van der Torre, Yi Zhou (2024). Advancing Logic in AI: insights from the LNGAI 2021 Workshop. Journal of Logic and Computation.DOI
  16. Chonghui Li, Beishui Liao (2023). Integrating individual preferences into collective argumentation. Journal Of Logic And Computation, Vol. 330, No. 20.DOI
  17. 程佑，廖备水（2023）. 包含演绎支持关系和必要支持关系的论辩框架. 《中文信息学报》.
  18. 廖备水（2023）. 论新一代人工智能与逻辑学的交叉研究. 《中国哲学年鉴》, No. 1.下载原文
  19. Jieting Luo, Mehdi M. Dastani, Thomas Studer, Beishui Liao (2023). What Do You Care About: Inferring Values from Emotions. BORIS (University Library Bern).DOI
  20. Yulin Chen, Bo Yuan, Beishui Liao, Dov M. Gabbay (2023). A self-explanatory contrastive logical knowledge learning method for sentiment analysis. Knowledge-Based Systems.DOI
  21. 廖备水（2022）. 论新一代人工智能与逻辑学的交叉研究. 《中国社会科学》, No. 3.下载原文
  22. 陈东恒，廖备水（2022）. 基于迭代分解的特征化概率论辩语义求解方法. 《逻辑学研究》, Vol. 15, No. 1.下载原文
  23. 李崇慧，廖备水（2022）. 集体论辩及其研究进展. 《浙江大学学报(人文社会科学版)》, Vol. 52, No. 7.下载原文
  24. Hiroyuki Kido, Beishui Liao (2022). A Bayesian approach to forward and inverse abstract argumentation problems. Journal of Applied Non-Classical Logics.DOI
  25. Haixiao Chi, Beishui Liao (2022). A quantitative argumentation-based Automated eXplainable Decision System for fake news detection on social media. Knowledge-Based Systems.DOI
  26. 陈琛，董惠敏，廖备水（2021）. 半结构化概率论辩. 《逻辑学研究》, No. 2.下载原文
  27. 徐康，廖备水（2021）. 根据外延构建论辩框架的研究(英文). 《逻辑学研究》, Vol. 14, No. 6.下载原文
  28. 罗捷婷，廖备水，约翰-朱尔斯·迈尔（2021）. 自组织多主体系统动态性的推理研究（英文）. 《逻辑学研究》.
  29. Jieting Luo, Beishui Liao, John-Jules Meyer (2021). Reasoning about the Dynamics of Self-organizing Multi-agent Systems. 《逻辑学研究》.
  30. Fenrong Liu, Beishui Liao (2021). Reasoning in social settings. Journal of Logic and Computation.DOI
  31. Haixiao Chi, Yiwei Lu, Beishui Liao, Liaosa Xu, Yaqi Liu (2021). An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-Commerce Transactions. IEEE Intelligent Systems.DOI
  32. Jinsheng Chen, Beishui Liao, Leendert van der Torre (2021). Base Argumentation as an Abstraction of Deductive Argumentation. Lecture notes in computer science.DOI
  33. 徐康，廖备水（2020）. 关于强制外延的抽象论辩系统修正规则. 《逻辑学研究》, Vol. 13, No. 5.下载原文
  34. 况琨，李廉，耿直，徐雷，张坤，廖备水，黄华新，丁鹏，苗旺，蒋智超（2020）. 因果推理. Engineering.
  35. 周晓君，廖备水（2020）. 联导论证与层级语义. 《重庆理工大学学报：社会科学》, Vol. 34, No. 3.下载原文
  36. 廖备水，李崇慧（2020）. 基于偏好聚合和论辩推理的道德困境解决方法. 《湖南科技大学学报(社会科学版)》, Vol. 23, No. 3.下载原文
  37. Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao (2020). A principle-based robustness analysis of admissibility-based argumentation semantics. Argument & Computation.DOI
  38. Beishui Liao, Michael Anderson, Susan Anderson (2020). Representation, justification, and explanation in a value-driven agent: an argumentation-based approach. AI and Ethics.DOI
  39. Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao (2020). An approach for combining ethical principles with public opinion to guide public policy. Artificial Intelligence.DOI
  40. Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata (2019). Prioritized norms in formal argumentation. Journal Of Logic And Computation, Vol. 290, No. 20.DOI
  41. 廖备水，余喆，莱恩·范德托（2019）. 关于规范、价值和偏好的实践推理. 《清华大学学报(哲学社会科学版)》, No. 2.下载原文
  42. 余喆，廖备水（2019）. 基于形式论辩系统的滑坡论证分析——人工智能如何理解自然语言论辩. 《科学技术哲学研究》, Vol. 36, No. 2.下载原文
  43. 周晓君，廖备水（2019）. 层级语义与论辩不确定性研究——以性质形容词为例. 《丽水学院学报》.
  44. Beishui Liao, Marija Slavkovik, Leendert van der Torre (2019). Building Jiminy Cricket. Proceedings of the AAAI/ACM Conference on AI Ethics and Society.DOI
  45. Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre (2019). From Classical to Non-monotonic Deontic Logic Using ASPIC $$^+$$. Lecture notes in computer science.DOI
  46. Beishui Liao, Kang Xu, Huaxin Huang (2018). Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results. Journal Of Logic And Computation, Vol. 280, No. 20.DOI
  47. 余喆，徐康，廖备水（2018）. 结构化论辩系统——限制性反驳和非限制性反驳. 《逻辑学研究》, Vol. 11, No. 3.下载原文
  48. Thomas Ågotnes, Beishui Liao, Yì N. Wáng (2018). Logic and argumentation. Journal of Applied Non-Classical Logics.DOI
  49. Beishui Liao, Li Jin, Robert Charles Koons (2018). Dynamics of Argumentation Systems: A Basic Theory. EPiC series in computing.DOI
  50. Beishui Liao, Marija Slavkovik, Leendert van der Torre (2018). Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. Open Repository and Bibliography (University of Luxembourg).
  51. 廖备水，徐康，余喆（2017）. 动态抽象论辩系统基语义的单调性及其判定规则. 《逻辑学研究》, Vol. 10, No. 2.下载原文
  52. 徐康，廖备水（2017）. 抽象论辩系统的动态性分析. 《重庆理工大学学报：社会科学》, Vol. 30, No. 8.下载原文
  53. Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert van der Torre (2017). Combining fuzzy logic and formal argumentation for legal interpretation.DOI
  54. Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata (2016). Prioritized Norms and Defaults in Formal Argumentation. Open Repository and Bibliography (University of Luxembourg).
  55. 黄华新，应腾，廖备水（2015）. 结构化论辩系统分析. 《自然辩证法研究》.
  56. 廖备水 (2015). Efficient computation of argumentation semantics.
  57. Pietro Baroni, Massimiliano Giacomin, Beishui Liao (2015). Dealing with generic contrariness in structured argumentation. Institutional Research Information System (Università degli Studi di Brescia).
  58. Pietro Baroni, Massimiliano Giacomin, Beishui Liao (2015). I don’t care, I don’t know … I know too much! On Incompleteness and Undecidedness in Abstract Argumentation. Lecture notes in computer science.DOI
  59. Pietro Baroni, Massimiliano Giacomin, Beishui Liao (2014). On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method. Artificial Intelligence.DOI
  60. Beishui Liao, Huaxin Huang (2013). Partial semantics of argumentation: basic properties and empirical†. Journal Of Logic And Computation, Vol. 230, No. 30.DOI
  61. 廖备水，黄华新（2013）. 不一致问题与论辩逻辑. 《学术月刊》, No. 6.下载原文
  62. 杨小龙，廖备水（2013）. 预设的主体间性. 《湖南科技大学学报(社会科学版)》, No. 6.下载原文
  63. 谢凯博，廖备水（2013）. 非单调推理与论辩系统. 《重庆理工大学学报：社会科学》, Vol. 27, No. 9.下载原文
  64. Beishui Liao (2013). Toward incremental computation of argumentation semantics: A decomposition-based approach. Annals of Mathematics and Artificial Intelligence.DOI
  65. 廖备水（2012）. 论辩系统 不一致情境中的推理 reasoning in a context of disagreement.
  66. 廖备水，代建华（2012）. 基于论辩的Agent非单调推理. 《模式识别与人工智能》.
  67. Beishui Liao, Huaxin Huang (2012). Computing the Extensions of an Argumentation Framework Based on Its Strongly Connected Components. Proceedings - International Conference on Tools with Artificial Intelligence, TAI.DOI
  68. Beishui Liao, Li Jin, Robert Charles Koons (2011). Dynamics of argumentation systems: A division-based method. Artificial Intelligence.DOI
  69. 金立，廖备水（2010）. 会话、心灵与实在——塞尔言语行为思想的三个维度. 《哲学研究》, No. 3.下载原文
  70. Beishui Liao, Huaxin Huang (2009). An Argumentation-Based Flexible Agent with Dynamic Rules of Inference. Proceedings - International Conference on Tools with Artificial Intelligence, TAI.DOI
  71. Yanbin Peng, Beishui Liao, Ji Qiang Gao, Jun Hu, Cun-Hao Wang, Jieqing Ai, Hang Guo (2008). Cooperative Problem Solving Process Based on MAS_NP Model. IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC).DOI
  72. Beishui Liao, Ji Qiang Gao, Jun Hu, Chen Jiu-jun (2005). A policy-driven multi-agent system for OGSA- compliant grid control. Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics.DOI
  73. Jun Feng Hu, Ji Ke Gao, Bin Zhou, Beishui Liao, Chen Jiu-jun (2005). Ontology based agent services compatible matchmaking mechanism.DOI
  74. Jun Hu, Ji Qiang Gao, Beishui Liao, Chen Jiu-jun (2005). Multi-agent system based autonomic computing environment.DOI
  75. Ji Qiang Gao, Yanbin Peng, Beishui Liao (2005). An multi-agents system to implement e-business. IEEE International Conference on Web Services (ICWS).DOI
  76. Jun Hu, Ji Qiang Gao, Beishui Liao, Joujun Chen (2004). An infrastructure for managing and controlling agent cooperation. International Conference on Computer Supported Cooperative Work in Design (CSCWD).DOI

预印本

  1. Yulin Chen, Bo Yuan, Dongheng Chen, Beishui Liao, Dov M. Gabbay (2023). Kdl: Knowledge-Aware Deep Logic Learning Method for Interpretable Named Entity Recognition. SSRN Electronic Journal.DOI
  2. Haixiao Chi, Dawei Wang, Gaojie Cui, Feng Mao, Beishui Liao (2022). A Concept and Argumentation based Interpretable Model in High Risk Domains. arXiv (Cornell University).DOI

书籍章节

  1. Siyi Liu, Muyun Shao, Beishui Liao (2026). Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality. Frontiers in artificial intelligence and applications.DOI
  2. Chenyang Cai, Beishui Liao, Chen Chen (2026). Probabilistic Subargument Argumentation Frameworks. Frontiers in artificial intelligence and applications.DOI
  3. Xiaotong Fang, Zhaoqun Li, Chen Chen, Beishui Liao (2025). LLM-ASPIC+: A Neuro-Symbolic Framework for Defeasible Reasoning. Frontiers in artificial intelligence and applications.DOI
  4. Beishui Liao, Leendert van der Torre (2024). Attack-Defense Semantics of Argumentation. Frontiers in artificial intelligence and applications.DOI
  5. Jieting Luo, Beishui Liao, Dov M. Gabbay (2022). Value-Based Practical Reasoning: Modal Logic + Argumentation. Frontiers in artificial intelligence and applications.DOI

书籍

  1. Beishui Liao, Yì N. Wáng (2020). Context, Conflict and Reasoning. Logic in Asia: Studia logica library.DOI

研究方向

逻辑学哲学自然科学理论与方法

此主页由公开资料整理，尚未经学者本人认领。