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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D34xnWDkVimfK1%3DCyqZxZ8VrLXpn%2BJ5tmP6foucY_h3CCQ%40mail.gmail.com.