Palestra de Christoph Benzmüller no CLE/UNICAMP 26/07
5 views
Skip to first unread message
Marcelo Esteban Coniglio
Jul 8, 2019, 5:12:17 PM7/8/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, gtal-se...@googlegroups.com
Prezados(as) colegas
Tenho o prazer de anunciar a seguinte palestra a ser ministrada no
CLE/UNICAMP na sexta-feira 26/07 às 16:00, na sala de seminários "Kurt
Gödel":
"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Methodology, and Tool Support"
Christoph Benzmüller, Dr. habil., Professor
Freie Universität Berlin, Dep. of Mathematics and Computer Science, 14195 Berlin
Université du Luxembourg, FSTC, Avenue de l'Université, L-4365
Esch-sur-Alzette, Luxembourg
Saarland University, Dep. of Computer Science, Saarbrücken
http://christoph-benzmueller.de
Abstract: The adequate handling of normative concepts such as
obligation, permission, prohibition, and moral commitment is
challenging, as illustrated by the notorious paradoxes of deontic
logic. In this talk I will introduce an approach to design and
evaluate theories of normative reasoning. In particular, I will
present a formal framework based on higher-order logic, a design
methodology, and discuss tool support. I will demonstrate and discuss
how the design of normative theories is now made accessible to
non-specialist users and developers.
São todos bem-vindos!
Abraços
Marcelo
Tenho o prazer de anunciar a seguinte palestra a ser ministrada no
CLE/UNICAMP na sexta-feira 26/07 às 16:00, na sala de seminários "Kurt
Gödel":
"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Methodology, and Tool Support"
Christoph Benzmüller, Dr. habil., Professor
Freie Universität Berlin, Dep. of Mathematics and Computer Science, 14195 Berlin
Université du Luxembourg, FSTC, Avenue de l'Université, L-4365
Esch-sur-Alzette, Luxembourg
Saarland University, Dep. of Computer Science, Saarbrücken
http://christoph-benzmueller.de
Abstract: The adequate handling of normative concepts such as
obligation, permission, prohibition, and moral commitment is
challenging, as illustrated by the notorious paradoxes of deontic
logic. In this talk I will introduce an approach to design and
evaluate theories of normative reasoning. In particular, I will
present a formal framework based on higher-order logic, a design
methodology, and discuss tool support. I will demonstrate and discuss
how the design of normative theories is now made accessible to
non-specialist users and developers.
São todos bem-vindos!
Abraços
Marcelo
Reply all
Reply to author
Forward
0 new messages