↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Home→Author Haiyan Zhou - Page 2 << 1 2 3 >>

Author Archives: Haiyan Zhou

Post navigation

← Older posts
Newer posts →

Causality [2015-12-23]

Xixi Logic Posted on 2015-12-22 by Haiyan Zhou2016-11-10

西溪逻辑论坛第24期 (本活动受中央高校基本科研业务费专项资金资助) 主题:因果关系(Causality) 报告人:张侨洋 时间:2015年12月23日上午9:30—11:30 地点:浙大西溪校区主楼259会议室 摘要: 关于因果概念的哲学思考有下面几个问题: ·什么是因果关系? ·一个人怎样发现因果关系? ·一个人怎样通过因果关系进行推理? 第一个问题是本体论上的问题,对这个问题的探讨将会涉及到因果性的本质;第二个是认识论上的问题,此问题将会涉及到两种发现因果关系的进路,即假说演绎法以及归纳学习。作者在本文中主要探讨前两个问题,并指出第三个问题的解决有赖于前两个问题的解决,在此不做深入探讨。在文章的第四部分,作者提出了自己的看法,倡导一种知识的因果关系,并将此观点与Judea Pearl和Huw Price 的观点进行了比较。

Continue reading →
Posted in Group Meetings

Logics for Defeasible Argumentation [2015-12-02]

Xixi Logic Posted on 2015-11-26 by Haiyan Zhou2016-11-10

西溪逻辑论坛第22期 (本活动受中央高校基本科研业务费专项资金资助) 主题:可废止论辩逻辑(Logics for Defeasible Argumentation) 报告人:周晓君 时间:2015年12月2日上午9:30—11:30 地点:浙大西溪校区主楼259会议室 摘要: 如何运用不完全、不一致、不确定的信息进行正确、高效的推理是人工智能领域的一个重要研究问题。由于经典一阶逻辑据斥矛盾,传统非单调逻辑主要处理认识推理,因此需要在它们的基础上建立更具普适性的形式系统。作为传统非单调逻辑的继承和发展,论辩系统提供了一种处理不一致问题的一般机制。对可废止推理进行形式化的方法有多种,本次讨论主要介绍基于论辩的方法。

Continue reading →
Posted in Group Meetings

How to Go Nomonotonic-2 [2015-11-25]

Xixi Logic Posted on 2015-11-20 by Haiyan Zhou2016-11-10

主题:走进非单调推理-2 (How to Go Nomonotonic-II) 报告人: 何键枫(逻辑学专业博士生)、周海燕(逻辑学专业硕士生) 时间: 2015年11月25日上午9-11时 地点: 浙大西溪校区主楼259会议室 内容提要: 上次大致介绍了经典命题逻辑以外,用于刻画非单调逻辑的超经典后承的概念。而对非单调的刻画可以从三方面入手:1.引入背景假设(background assumptions), 2.限定赋值域(set of valuations), 3.引入附加规则(additional rules). 此次讲座内容将先介绍背景假设内的中心赋值后承与缺省赋值后承,再介绍限定赋值域与引入附加规则的刻画方法。

Continue reading →
Posted in Group Meetings

Post navigation

← Older posts
Newer posts →
© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑