Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming


Chronological Thread 
  • From: Víctor Pérez <victor.perez AT software.imdea.org>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
  • Date: Thu, 13 Jan 2022 09:33:37 +0100 (CET)
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=victor.perez AT software.imdea.org; spf=Pass smtp.mailfrom=victor.perez AT software.imdea.org; spf=Pass smtp.helo=postmaster AT system.software.imdea.org
  • Ironport-data: A9a23:3rER0K99MOy4qHg+jGHjDrUD0XmTJUtcMsCJ2f8bNWPcYEJGY0x3y GQeUD+EPqqOMGL1e4pybYng80lS65WDyIRiSlZsqC1EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwnvojW1TYhSEUOZugH9IQM8aZfHAhLeNYYH1500g7wrdi2tcAbeWRWmthh /ui+6UzB3f+g1aYAkpMg06ygEsHUMba4Fv0jXRiDRx/h2IyolFOZH4pyQ5dGFOjKmVcNrbSq +8uV9hV9EuBl/smIovNfroW7iQ3rrDu0Qim0hK6WoC5kwNeqyl0yaE1KOUVc0oRijCFktk3z 89C3XCyYV54ZeuVxLtbCkEHVXoW0a5uoNcrJVChsMePyFeAa3b2zudGF0Y4IZIR4OsxAGRC+ PVeLyoCBvyGr7vrne3iFLY37igkBJOyZt1H4CEIISviJf0hWNXIR7jAzcRJ2S85wMFIB/fXI cQDAQeDxjzUO0gVfAoDUcdm2r+83CynNWYC8QyB/v9vpTXHk1lYzp7BMP70c/qeHJ0AxgLAs goq5EziEwoGOdnZ0j2L7m2lnOKJnCb3VYtUE6e3nsOGSWa7ngQ7YCD6n3PiyRVgokLhCd9ZN WIO/S8i8fo7+ECxF4mvRBq2vGGNpBNaWt9cHuR87xuCk/KG7wGcD2kCbzhAdN1/7ZRtGGd7i g7ZkoO7HyFrvZ2UVWmZqOWeowSyDi5Jf2UMUikJEFke6N75rYBv1R/CF44xEKO8gtDvNyv3x jSG8Ho3i7kJ1J5ZzKK14U/OmT/qp53FQwdz4R/YBzr34gR8bY+jRoqp9VmCtK0bcd3IEgjRs SFdycaE7e0IAZWcrwC3Qb0ATOOz+vKIEDzAmloxTZMvwDSa/SLxd45n5jwjdlxiNdwJeGOyb ULe5VFR6ZtUMCf4ZKN7edjsWd871rTtEJL+Uf7IcdNUb95wcQOK9Wdpf0HJhzLhl00lkKceP 5aHcJ/1Vi1HUvU7nWq7F7UHzLsm5iEi3meNF5r1+BSQ1+bMbnCiT7pYYkCFafo07f/frQiJo cxTMdCGl0dWXOHkOHSF6p8IMV0Pa2M8C4zpotZaMO+GLgdvXmY7BKaJk78mfoVkmYVTl/vJp yjmARIDmQau1XCXex+Xbn1Daa/0Wcgtp3wMPRsqYQSi1U8lbNv996wYbZY2IeIq+eELISSYl BXZlxhsw8ijSwgrPxwGfILhoYkkbxOlmR2HJSfjYT0zcpcmQBbGkjMhVhW67zEAV0JbquNny 4BMFCuCKXbAe+imJN3RZu6wxkm8+3kYlO97GUzSLbG/vW3ypZNyJXWZYuAfeqkxxNaq+tde/ x2RDwsHrPPA5Y4w/NTAw6eeoO9F1ge48lVyRwHm0Fp9CcUWEqdPD2ONvCZksA0xjF/JxZg=
  • Ironport-hdrordr: A9a23:PLr7E64X7RuhUNalNwPXwMfXdLJyesId70hD6qkQc3Jom6uj5q eTdZUgpHvJYVMqMhEdcL+7SdC9qB/nhOZICOoqTNKftXfdyQ2VxehZhOOIr1KAJ8SUzJ8+6U 4PSdkcNDQuNzVHsfo=
  • Ironport-phdr: A9a23:+RvSaxz80s08uXPXCzIew1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hWZvKgwxweXFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qq2+yo5pHeYwVFiDWhbb5zM R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9 KdrUAHnhzsbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJfUMhMWCNOHoyyY YgBAeQBJutYs4rwq0cSoReiGQWhBuXiwSJIiH/s2q061vwsHg7A2QghA90OrHPUrM/oP6kIV +W20rPIwivCbvhL3jr99onIfQw9ofGLR7J8a9LRxlc1Fwzbj1SdspflPzSb1uQRvWmU9fBgW vy1h24mrgF+vyagyd02honOnIIVxUnJ+CNky4k6OdO2UlR0YcK4EJROrSGaMZN7T80sTW9nt is3yb4LtJG0cSUJx5oqxgPTZv6GfoWW4x/tWumfLSpmiX9rZb6ymhS//FW8x+DiS8S50lJHo zZGn9TKq3sD2RvT6s2dRft8+EeswTmP1wfU6uFLJUA7i7DXJIImwr41kJcYrEfNHjfulUnri KKbeF8o9vWn5unleLnqu4OQOo1uhgzwKqgih8iyDOoiPgQTUGWW+/6w2KD/8UD7WrlHgPI7n 6/Eu57AP8sbvLS2AwpN34Yj9Rm/CzCm3cwDnXgHN1JFZAyIj43zN1HVJ/D4A+u/glq2nzdx2 f/KJLzhApDQIXfdirjtZ7F961RTyAYrzNBf4YxbCq0ZLf7uXkL8usbUAgI2PgG22errFclx2 4EEVW+BGqOZNbndsV6M5uIhOemMY4oVtS7jK/gk+/HukXg5mUUHcamxw5QXcm63H/V9LkWCZ nrsjMsBEGkQsQokUuPmklyCUTtOaHmsRa0w/DY7CJipDYvbXICinKSB3DunHp1Rfm1JFleME W7xe4qYX/cMdTmdL9R6kj0EULihU5Uu2QuvtA/80bpnL/Db9jcWtZL5h5BJ4LjYkgh3/jhpB eyc1XuMRid6hDAmXTgziZ7UZEdhzU3L6QO5mfFKXYhN5vhVVR18LZPGwv5SENf8Rh3IZNrPS VOqT9zgBis+GIFii+QSalpwTo3xxivI2DCnVuNE/1TqLJk986aGmmP0O9440XHNkq8ok1ghR MJLc2ygnK92sQbJVMbSi0vMsaGseOwH2TLVsn+ZxD+QvUpEVxQ2SajfUGI3fUzYscvw/E6ET rqiBL1hNRFOmoaZMqUfUtTylh1dQev7ftHXYma/gWC1UAiJza+Ldszydn8Qzg3GD0YYjAkJ8 DCHMAQzD2GmuW2NRCd2GwfXalj3ufJ7tGv9TkIwyFSSaFZ90rOu5hMPreeNUO8e2/Qfvyk9t DxuERC82t7bApyHvQUJkLx0R9Q77R8H0GvYs1Y4JZm8N+V4gVVYdQ1rvkTo3hExC4NakMFso ml4hAx1YbmV1l9MbVb6ldj5J6HXJ2/u/Ruud7+e21fQ18yT87sO7/JwokvqvQWgHE4vu3t91 Nwd33yZ75TMRA0cNPC5Glg2/AR9vffCbzMw9avP0nNwLqCuv3nD3t4kDa0i0BnhN9ZTPaWYF RPjRtUADpvLSqRikFyoYxQYeeFKofdlZIX/K6TAgfb0er0z+VDuxX5K6418zE+Woi91S+qSm o0A3+ndxAyMETH1kFamtMnz34FCfzAbWGSlmk2GTMZcYLN/eYETBCKgOcqyk59ghpXxXGQe7 FO5CkEuw8inZQWbdVG73Ahc2E1Rpmao03jdrXQ8g3Qyo6yT0TabifrjfwYAIChTSXNvn3/3J oaokNkAUQ6pagQknV2i/0mwlM057OxvamLUR0lPZS3/KWpvB7CxurS1aMlK8Jo0sC9TXYxQe HiiQ6Xm61sf2iLnRS5FwSwjMiutsdP/lgB7j2SUKDByqmDYcId+30WX6NvZTP9Xlj0IIUsww SfWDUS7JZ+x8M+Zhb/Yte6iSGu7W9tSdCXmxMWHriTz6WBxABK5luy+gZW+QFN8iHOkkYAyC mOT5B/nB+ujn7y3K+dmYlVlCBfn5sx2F5s/2oo8iZcM2GQL05Cc/H4Ji2D2Yp1Q3aPzamZIR CZemo+OplG5hws6di3PnNGcND3V2MZqatikb3lD3ys865oPE6KI9PlemiAzpFOkrAXXaPw7n zEHyPJo5mRJ5oNB8Acr0CiZBagfWEdCOim53QqJ5My5tuNPaXyiY5Cr00Rigtm7AfeDpw1RU TD+YJhoTkoSpo1vdUnB1nH+8NSuZtjbcdUJ8AWZiRrSp/NSJo4un+AHwytiNW/0+3o/xKRo6 H4mlYH/t4+BJWJ3+au/CRMNLTz5afQY/TT1hLpflMKbjMi/W49sETIRUN70XOqlRXgM4O//O V/EQ1he4j+LXKDSFgiF5AJ6omLTRtq1YmqPKiBRzM0+FkDMfwoG3F9SBW1l2MZ+TF7PpoSpc V8ntGpJvgeq9UEUmL4ya0v1ADWG/F/xOG9zEcHFZBtOslMbthyTaJDDqLsuWXkfpMHEzkTFK 3TFNV4QVThbBRbcVQy5Yuv3t4uZobDfX7DmZ/rWPefX8rwYDq/Qg8v0lNE8p1Pufo2OJiUwV qxgnBMfADYgR4KCx31YQigT3UohduajrQynsm1yp8G7qrHwXR73oJGIAP1UOMlu/Ba/heGCM fSRjWB3M2QQ2pQJzH7OgL8RuTxawzlpbCWoGK8cuDTlV7PLhqJSSQUcZT9sPdFFqaM50gREf 8nBhZv526V5gfg8F1peHQWwwYfwOZNMejnicgiiZg7DPa/OPTDRxsDrfa6wAaZdiulZrVz4u DqWFVPiIiXWlzTtUEPnOuVNgSeHeR1G7djsKVA0VTelFYq5LEboVb0/xSc7yrA1mH7QYGsVM DwmNlhIsqXV9yRTxPN2B21G6HNha+iCgSeQqefCefN0+bNmBDp5k+VC7TE00bxQuWtaRfdpn zGUttN0rkOOie6B1iVuShcIqzNHiYvNul9tc/a8lNEISTPf8RQB4H/FQQwNvMdgA8bztrp40 cnUiK/2bixF/c7L9NERQcnRJM+Odn07PlC6fVycRBtARjmtO2bFgkVbm/zH7XyZoK8xrZ30k YYPQLtWBxQlU+kXAUN/EJkeMY96C3k6xKWDgpdCth/c5FHBAd9XtZfdWreODOXzfXyH2KJca UJAwKukf91CbcuihxMkMwEl2tyNQRS1P5gFozU/PFVs+BwfryImHDFphxDvOFH0uCdKR6bzx 0dswgpmPbZ0pWyqugtqYAOX4nN3yhVU+52tgCjNImeqfOHpBdkQUnGy7RJpepLjHVQvNVXrz xM+bGWYHe4D1ukyLDIzz1aG4dMYEPpYB8WsgTcL1OqLavBuylNStjqu30IB5O7JBJIkkxElI 8fER51owAVtcME8P6GWJa9Fw1EWgbiB7HbAPgUZ2wgQO1kE6m7UeSsEtUVOMaMpdXLAww==
  • Ironport-sdr: +D2VgqCl52+K5t9Uy455xb79aDE20nK3jz7WrSOQA0ieMugXui3/6ZJWuq2yO2o24GE0giJBtK Yp0m9i7cUNJdLOb65EpbO6tsR5Gpt4qXCrwe7vxU4SDUF1QEiFHMBROUQmhFCHGtJzzPd1Bsas HZLURGQjbdkTnecFeGLG6k2h2ZJtjCAOH5BByUxML5twxd97zFpwY+qYQTva1gZ304H5vsP0Sw qbcT8f9kWXDeX7X6qhZc+2b4HFFmqGA7fkexw55Ga50AM3K0bOpGVnA1jfG3TCQE6D1dhJES5S KeH0w/I7AVyfNjZUPp6n6akT

========================================================================

CALL FOR PAPERS

MEandE-LP 2022

2nd Workshop on Machine Ethics and Explainability-The Role of Logic
Programming

https://sites.google.com/view/meande-lp2022/

July 31, 2022 (ICLP Workshop)

Affiliated with 38th International Conference on Logic Programming (ICLP),

July 31–August 8, 2022, Haifa, Israel

========================================================================

AIMS AND SCOPE

Machine Ethics, Explainability are two recent topics that have been
attracting a lot of attention and concern in the last years. This global
concern has manifested in many initiatives at different levels. There is an
intrinsic relation between these two topics. It is not enough for an
autonomous agent to behave ethically, it should also be able to explain its
behavior, i.e. there is a need for both ethical component and explanation
component. Furthermore, an explainable behavior is obviously not acceptable
if it is not ethical (i.e., does not follow the ethical norms of the society).

In many application domains especially when human lives are involved (and
ethical decisions must be made), users need to understand well the system
recommendations, so as to be able to explain the reasons for their decisions
to other people.One of the most important ultimate goals of explainable AI
systems is the efficient mapping between explainability and causality.
Explainability is the system ability to explain itself in natural language to
average user by being able to say, "I generated this output because x,y,z".
In other words, the ability of the system to state the causes behind its
decision is central for explainability.

However, when critical systems (ethical decisions) are concerned, is it
enough to explain system's decisions to the human user? Do we need to go
beyond the boundaries of the predictive model to be able to observe a cause
and effect within the system?

There exists a big corpus of research work on explainability, trying to
explain the output of some blackbox model following different approaches.
Some of them try to generate logical rules as explanations. However, It is
worth noting that most methods for generating post-hoc explanations are
themselves based on statistical tools, that are subject to uncertainty or
errors. Many of the post-hoc explainability techniques try to approximate
deep-learning black-box models with simpler interpretable models that can be
inspected to explain the black-box models. However, these approximate models
are not provably loyal with respect to the original model, as there are
always trade-offs between explainability and fidelity.

On the other side, a good corpus of researchers have used inherently
interpretable approaches to design and implement their ethical autonomous
agents. Most of them are based on logic programming, from deontic logics to
non-monotonic logics and other formalisms.

Logic Programming has a great potential in these two emerging areas of
research, as logic rules are easily comprehensible by humans, and favors
causality which is crucial for ethical decision making .

Anyway, in spite of the significant amount of interest that machine ethics
has received over the last decade mainly from ethicists and artificial
intelligence experts, the question "are artificial moral agents possible?" is
still roaming around.There have been several attempts for implementing
ethical decision making into intelligent autonomous agents using different
approaches. But, so far, no fully descriptive and widely acceptable model of
moral judgment and decision making exists. None of the developed solutions
seem to be fully convincing to provide a trusted moral behavior. The same
goes for explainability, in spite of the global concern about the
explainability of the autonomous agents' behaviour, existing approaches do
not seem to be satisfactory enough. There are many questions that remain open
in these two exciting, expanding fields.

This workshop aims to bring together researchers working in all aspects of
machine ethics and explainability, including theoretical work, system
implementations, and applications. The co-location of this workshop with ICLP
is intended also to encourage more collaboration with researchers from
different fields of logic programming.This workshop provides a forum to
facilitate discussions regarding these topics and a productive exchange of
ideas.

Topics of interest include (but not limited to):

• New approaches to programming machine ethics;
• New approaches to explainability of blackbox models;
• Evaluation and comparison of existing approaches;
• Approaches to verification of ethical behavior;
• Logic programming applications in machine ethics;
• Integrating logic programing with methods for machine ethics;
• Integrating logic programing with methods for explainability.
SUBMISSIONS

The workshop invites two types of submissions:

• original papers describing original research.
• non-original paper already published on formal proceedings or
journals.
Original papers must be formatted using the Springer LNCS style available
here:

• regular papers must not exceed 14 pages (including references)
• extended abstract must not exceed 4 pages (excluding references)
Authors are requested to clearly specify whether their submission is original
or not with a footnote on the first page. Authors are invited to submit their
manuscripts in PDF via the EasyChair system at the link:

IMPORTANT DATES

Paper submission deadline: 10 May 2022

Author Notification: 15 June 2022

Camera-ready articles due: TBA

Workshop: TBA

PROCEEDINGS

Authors of all accepted original contributions can opt for to publish their
work on formal proceedings. Accepted non-original contributions will be given
visibility on the workshop web site including a link to the original
publication, if already published.

Accepted original papers will be published (detailes will be added soon).

LOCATION

Fully Virtual.

WORKSHOP ORGANIZERS

Abeer Dyoub, DISIM, University of L'Aquila.
Fabio Aurelio D’Asaro, University of Verona.


  • [Coq-Club] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming, Víctor Pérez, 01/13/2022

Archive powered by MHonArc 2.6.19+.

Top of Page