세미나 [BK21] Actual Causality: A Survey / Prof. Joe Halpern (Cornell Univ.)
페이지 정보
작성자 최고관리자 작성일 24-10-23 11:14본문
날짜 : 2024년 11월 1일 (금) 15:00~
장소 : 제4공학관 D503호
장소 : 제4공학관 D503호
아래와 같이 BK21 세미나 안내를 해드리오니 많은 관심과 참석 부탁드립니다.
그리고 당일 오후에 연사분과 면담을 원하시는 분이 계시면 안형찬 학과장님께 메일(hyung-chan.an@yonsei.ac.kr) 부탁드립니다.
일시: 2024년 11월 1일(금) 오후3시
장소: 제4공학관 D503호
연사: Prof. Joe Halpern (Cornell University)
강연 제목: Actual Causality: A Survey
일시: 11월 1일 오후 3시
연사: Prof. Joe Halpern (Cornell University)
Title: Actual Causality: A Survey
Abstract:
What does it mean that an event C ``actually caused'' event E?
The problem of defining actual causation goes beyond mere philosophical
speculation. For example, in many legal arguments, it is precisely what
needs to be established in order to determine responsibility. (What exactly
was the actual cause of the car accident or the medical problem?)
The philosophy literature has been struggling with the problem
of defining causality since the days of Hume, in the 1700s.
Many of the definitions have been couched in terms of counterfactuals.
(C is a cause of E if, had C not happened, then E would not have happened.)
In 2001, Judea Pearl and I introduced a new definition of actual cause,
using Pearl's notion of structural equations to model
counterfactuals. The definition has been revised twice since then,
extended to deal with notions like "responsibility" and "blame", and
applied in databases and program verification. I survey
the last 15 years of work here, including joint work
with Judea Pearl, Hana Chockler, and Chris Hitchcock. The talk will be
completely self-contained.
The problem of defining actual causation goes beyond mere philosophical
speculation. For example, in many legal arguments, it is precisely what
needs to be established in order to determine responsibility. (What exactly
was the actual cause of the car accident or the medical problem?)
The philosophy literature has been struggling with the problem
of defining causality since the days of Hume, in the 1700s.
Many of the definitions have been couched in terms of counterfactuals.
(C is a cause of E if, had C not happened, then E would not have happened.)
In 2001, Judea Pearl and I introduced a new definition of actual cause,
using Pearl's notion of structural equations to model
counterfactuals. The definition has been revised twice since then,
extended to deal with notions like "responsibility" and "blame", and
applied in databases and program verification. I survey
the last 15 years of work here, including joint work
with Judea Pearl, Hana Chockler, and Chris Hitchcock. The talk will be
completely self-contained.
Bio:
Joseph Halpern received a B.Sc. in mathematics
from the University of Toronto in 1975 and a Ph.D. in mathematics
from Harvard in 1981. In between, he spent two years as the head
of the Mathematics Department at Bawku Secondary School, in Ghana.
After a year as a visiting scientist at MIT, he joined the IBM Almaden
Research Center in 1982, where he remained until 1996, also serving as a
consulting professor at Stanford. In 1996, he joined the Computer
Science Department at Cornell University, where he is currently the
Joseph C. Ford Professor and was department chair 2010-14.
Halpern's major research interests are in reasoning about knowledge and
uncertainty, security, distributed computation, decision theory, and
game theory. Together with his former student, Yoram Moses, he
pioneered the approach of applying reasoning about knowledge to
analyzing distributed protocols and multi-agent systems. He has
coauthored 6 patents, three books ("Reasoning About Knowledge",
"Reasoning about Uncertainty", and "Actual Causality"), and over 400
technical publications.
Halpern is a Fellow of AAAI, AAAS (American Association for the
Advancement of Science), the American Academy of Arts and
Sciences, ACM, IEEE, the Game Theory Society, the National
Academy of Engineering, and SAET (Society for the
Advancement of Economic Theory). Among other
awards, he received the Kampe de Feriet Award in 2016, the ACM SIGART
Autonomous Agents Research Award in 2011, the
Dijkstra Prize in 2009, the ACM/AAAI Newell Award in 2008,
the Godel Prize in 1997, was a Guggenheim Fellow in
2001-02, and a Fulbright Fellow in 2001-02 and 2009-10. Two of his papers
have won best-paper prizes at IJCAI (1985 and 1991), and another two
received best-paper awards at the Knowledge Representation and Reasoning
Conference (2006 and 2012). He was
editor-in-chief of the Journal of the ACM (1997-2003) and has been
program chair of a number of conferences, including the Symposium on
Theory in Computing (STOC), Logic in Computer Science (LICS),
Uncertainty in AI (UAI), Principles of Distributed Computing (PODC),
and Theoretical Aspects of Rationality and Knowledge (TARK).
He started the computer science section of arxiv.org, and serves on
its advisory board.
Joseph Halpern received a B.Sc. in mathematics
from the University of Toronto in 1975 and a Ph.D. in mathematics
from Harvard in 1981. In between, he spent two years as the head
of the Mathematics Department at Bawku Secondary School, in Ghana.
After a year as a visiting scientist at MIT, he joined the IBM Almaden
Research Center in 1982, where he remained until 1996, also serving as a
consulting professor at Stanford. In 1996, he joined the Computer
Science Department at Cornell University, where he is currently the
Joseph C. Ford Professor and was department chair 2010-14.
Halpern's major research interests are in reasoning about knowledge and
uncertainty, security, distributed computation, decision theory, and
game theory. Together with his former student, Yoram Moses, he
pioneered the approach of applying reasoning about knowledge to
analyzing distributed protocols and multi-agent systems. He has
coauthored 6 patents, three books ("Reasoning About Knowledge",
"Reasoning about Uncertainty", and "Actual Causality"), and over 400
technical publications.
Halpern is a Fellow of AAAI, AAAS (American Association for the
Advancement of Science), the American Academy of Arts and
Sciences, ACM, IEEE, the Game Theory Society, the National
Academy of Engineering, and SAET (Society for the
Advancement of Economic Theory). Among other
awards, he received the Kampe de Feriet Award in 2016, the ACM SIGART
Autonomous Agents Research Award in 2011, the
Dijkstra Prize in 2009, the ACM/AAAI Newell Award in 2008,
the Godel Prize in 1997, was a Guggenheim Fellow in
2001-02, and a Fulbright Fellow in 2001-02 and 2009-10. Two of his papers
have won best-paper prizes at IJCAI (1985 and 1991), and another two
received best-paper awards at the Knowledge Representation and Reasoning
Conference (2006 and 2012). He was
editor-in-chief of the Journal of the ACM (1997-2003) and has been
program chair of a number of conferences, including the Symposium on
Theory in Computing (STOC), Logic in Computer Science (LICS),
Uncertainty in AI (UAI), Principles of Distributed Computing (PODC),
and Theoretical Aspects of Rationality and Knowledge (TARK).
He started the computer science section of arxiv.org, and serves on
its advisory board.
댓글목록
등록된 댓글이 없습니다.