ognitywistyTraditional and new perspectives on deontic logic and agency modeling
Wydział Filozofii, Katedra Podstaw Informatyki i Studia Logica zapraszają na XVII Międzynarodową Konferencję z cyklu Trends in Logic pt. Traditional and new perspectives on deontic logic and agency modeling. Konferencja odbędzie się na KUL w dniach 12-15 września 2017 r. w Centrum Transferu Wiedzy w sali CTW114.
Nowe osiągnięcia techniki, takie jak np. samochody bezzałogowe, broń autonomiczna i roboty opiekuńcze wskazują na ważne wątki związane z działaniem i decyzjami sztucznych agentów w kontekście różnych norm. Tym samym wiążą silniej współczesną logikę deontyczną (dyscyplinę zajmującą się formalnym związkiem pomiędzy pojęciami deontycznymi: obowiązkiem, zakazem i dozwoleniem) z technologią. W celu odzwierciedlenia znaczenia tych zagadnień proponujemy ich omówienie na konferencji o tradycyjnych i nowych podejściach do logiki deontycznej i modelowaniu działań dla kolejnych trendów. Wśród wielu uczestników konferencji znajdą się wybitni profesorowie: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot i Jan Woleński. Szczegółowy program konferencji znajduje się na stronie www.philosophy.kul.pl.
Trends in Logic XVII – Traditional and new perspectives on deontic logic and agency modeling
Program
[tab]
[tab_item title=”Tuesday 12th Sept.”]
- 10:15 – 10:30 opening
- 10:30 – 11:00 Jacek Malinowski – Studia Logica, Past Present and Future
- 11:00 – 11:30 Piotr Kulicki – Jerzy Kalinowski’s deontic logic of decisions
- 11:30 – 12:00 Hein Duijf – Responsibility, cooperation and collective reasoning
- 12:00 – 12:30 Pere Pardo – Obligations as maps on intentions: deontic argumentative planning
- 12:30 – 13:45 lunch
- 13:45 – 15:00 Olivier Roy – Deontic Logic and Game Theory
- 15:00 – 15:30 coffee
- 15:30 – 16:00 Wojciech Żełaniec – Remarks on the K-principle in deontic logic and its consequences for deontic semantics
- 16:00 – 16:30 Mateusz Klonowski – Deontic logic of propositions related to normative systems
- 16:30 – 17:00 Albert Anglberger and Johannes Korbmacher – Truth-Makers and Normative Conflicts
- 17:00 – 17:30 Ilaria Canavotto and Alessandro Giordani – Conflicts in Explicit Dynamic Deontic Logic
- 18:30 – … RECEPTION
[/tab_item]
[tab_item title=”Wednesday 13th Sept.”]
- 9:00 – 10:15 Fenrong Liu – A Logical View of Social Structure and Social Norms
- 10:15 – 10:30 coffee
- 10:30 – 11:00 Marek Lechniak – The problem of the representation of permissions in the deontic application of AGM theory
- 11:00 – 11:30 Federico L. G. Faroldi and Tudor Protopopescu – Logics of Hyperintensional Practical Reasons
- 11:30 – 12:00 Daniela Glavaničová – A Logic of Implicit and Explicit Norms
- 12:00 – 12:30 Xin Sun – Imperative Logic and Quantum Cryptography for Access Control
- 12:30 – 13:45 lunch
- 13:45 – 15:00 Jan Woleński – Normative Systems and Deontic Logic
- 15:00 – 20:00 FREE AFTERNOON & SOCIAL ACTIVITIES
- 20:00 – … DINNER
[/tab_item]
[tab_item title=”Thursday 14th Sept.”]
- 9:00 – 10:15 Paul MacNamara – Acting Beyond the Call and Kindred Notions
- 10:15 – 10:30 coffee
- 10:30 – 11:00 Marcin Kosztołowicz – Attributing agency to indeterministic agents. Projective Simulation, the model of artificial intelligence.
- 11:00 – 11:30 Paulina Wiejak – A few notes on Jerzy Kalinowski’s attempt to formalize Aristotle’s practical syllogisms
- 11:30 – 12:00 Tomasz Jarmużek – Logic of permission as a consistency with a normative system
- 12:00 – 12:30 Karl Nygren – Strong permission in social interaction
- 12:30 – 13:45 lunch
- 13:45 – 15:00 Marek Sergot – Defeasible conditional imperatives
- 15:00 – 15:30 coffee
- 15:30 – 16:00 Michael Musielewicz – An Analytic Jurist’s Dilemma: On the application of the varying conceptions of norms
- 16:00 – 16:30 Réka Markovich – Rights’ Formalization with Derivation Rules
- 16:30 – 17:00 Alessandro Giordani and Ilaria Canavotto – Logic of Normative Sources
[/tab_item]
[/tab_item]
[tab_item title=”Friday 15th Sept.”]
- 9:00 – 10:15 Jan Broersen – Actions speak louder than propositions, or not?
- 10:15 – 10:30 coffee
- 10:30 – 11:00 Piotr Lukowski – Contentual approach to negation
- 11:00 – 11:30 Michał Araszkiewicz and Bartosz Janik – Rough sets in legal Case-Based Reasoning
- 11:30 – 12:00 Xin Sun – Quantum-like Categorical Action Logic
- 12:30 – 13:45 closing + lunch
[/tab_item]
[/tab]
Invited Speakers
[accordion]
[acc_item title=”Jan Broersen”]
He is associate professor in the Theoretical Philosophy Group in the Department of Philosophy and Religious Studies at Utrecht University. In 2003, he received his Ph.D. in computer science from the VU University Amsterdam. At that same university he was a postdoc in the knowledge representation and reasoning group, before switching to Utrecht University to work as an assistant professor in the Intelligent Systems group at the Department of Computer and Information Sciences. His research is focused on logic for artificial intelligence, with an emphasis on logics of norms, action, agency, interaction and responsibility.
[/acc_item]
[acc_item title=”Fenrong Liu”]
She is a Full Professor at Tsinghua University, Newly appointed Changjiang Distinguished Professor, Amsterdam-China Logic Chair at the University of Amsterdam, Co-Director of the Tsinghua – UvA Joint Research Centre for Logic. Fenrong works mainly in the field of logics for rational agency. Her research work includes the formal structured models of preference dynamics and modeling different types of agent in terms of logic. She has published a number of papers and books on these topics, notably, Reasoning about Preference Dynamics(Springer 2011). Her recent interest lies in understanding the features of information flow and decision making in social setting, and establishing more realistic models. In addition, she maintains active interests in Chinese Ancient Logic. She is currently editing a Handbook of Logical Thought in China. Fenrong is an Editor-in-Chief of the new book series of Studia Logica Library: Logic in Asia, an editor of Australasian Journal of Logic, an associate editor of Studia Logica and Studies in Logic, and an editorial board member of Synthese and Topoi.
[/acc_item]
[acc_item title=”Paul McNamara”]
He is Associate Professor in Philosophy at the University of New Hampshire. Paul concentrates his research in ethical theory, deontic logic, and the philosophy of moral language. He is best known for his work in deontic logic—having authored (or co-authored) manuscript-length overviews of deontic logic (in the Stanford Encyclopedia of Philosophy, in the Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century, and in the Handbook of Deontic Logic and Normative Systems, Vol. 1) and, in particular, for a number of formal articles where he identifies logical schemes that make room for supererogation and other concepts of common sense morality, as well as informal ethical theory articles on the same topic. He is currently completing an invited chapter on supererogation and allied concepts for the second volume of the Handbook of Deontic Logic and Normative Systems. He was a fellow at the Institute of Philosophy, School of Advanced Studies, University of London, oversees the Northern New England Philosophical Association, and serves on the steering committees for the DEON conference series, and for the newer Formal Ethics conference series.
See also
[/acc_item]
[acc_item title=”Olivier Roy”]
He is a Professor at the Chair of Philosophy 1 at the Department of Philosophy of the University of Bayreuth. He is also external member of the Munich Center for Mathematical Philosophy, where he worked for two years as assistant professor. Before that he worked at the Rijksuniversiteit Groningen in the Faculty of Philosophy. He has completed by PhD in February 2008 at the Institute for Logic, Language and Computation in Amsterdam, under the supervision of Johan van Benthem (Amsterdam and Stanford) and Martin van Hees (Groningen). He is associate editor of Erkenntnis, Topoi, Theory and Decision Library Series A, and Section Editor for the “Logic, Computation and Agency” Section of the Stanford Encyclopedia of Philosophy (the latter together with Eric Pacuit and Johan van Benthem).
See also
[/acc_item]
[acc_item title=”Marek Sergot”]
He is Professor of Computational Logic in the Department of Computing, Imperial College, London. He studied Mathematics at Trinity College, Cambridge and then worked in mathematical modelling before joining the Logic Programming Section in the Department of Computing at Imperial College in 1979.
He is Professor of Computational Logic and Head of the Logic and Artificial Intelligence Section in the Department of Computing.
His research is in the applications of logic and logic programming to knowledge representation, databases, and the specification of computer systems, with particular interests in the representation of laws, rules, regulations, contracts, and protocols, and in the logics of norms, duties and rights, action, agency, and time. He is a former President of the International Association of Artificial Intelligence and Law.
[/acc_item]
[acc_item title=”Jan Woleński”]
He was born 21 September 1940 in Radom, Poland. He is a Polish philosopher, specialist in the history of the Lwów-Warsaw school and in analytical philosophy. He spent most of his entire scientific career at Jagiellonian University in Kraków, where is currently employed as a professor emeritus. He also holds a position on the consulting board of Theoria. Having been a laureate of the Prize of the Foundation for Polish Science in 2013, Woleński is considered one of the most prominent Polish scholars in humanities.
Woleński studied philosophy and law at the same time. He belongs to the tradition of analytic philosophy, and considers himself close to the heritage of the Lwów–Warsaw school. In 2013 Woleński was awarded by the Foundation for Polish Science for a comprehensive analysis of the work of the Lwów-Warsaw school and for placing its achievements within the international discourse of contemporary philosophy.
His main fields of research are the philosophy of language, epistemology and the history of Polish philosophy.
[/acc_item]
[/accordion]
For details see also www.trends.philosophy.kul.pl
