<!DOCTYPE html>
<html data-lt-installed="true">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body style="padding-bottom: 1px;">
<p>Hi everyone,</p>
<p>this is a brief reminder of the next talk in the NMR Online
Seminar on this Wednesday, 16:00 CEST.</p>
<div><span><a class="moz-txt-link-freetext" href="https://us02web.zoom.us/j/86110993805?pwd=DQtah6Yg0kClZtYdr2iAHVyOpVIbn1.1">https://us02web.zoom.us/j/86110993805?pwd=DQtah6Yg0kClZtYdr2iAHVyOpVIbn1.1</a></span></div>
<div><span>Meeting ID: 861 1099 3805</span></div>
<div><span>Passcode: 441685</span></div>
<div><span><br>
</span></div>
<div><span><span style="font-weight: bold;">Abduction in Łukasiewicz
Logic</span></span>
<p><i><u>Abstract.</u> We explore the problem of explaining
observations in contexts involving statements with truth
degrees such as 'the lift is loaded', 'the symptoms are
severe', etc. To formalise these contexts, we consider
infinitely-valued Łukasiewicz fuzzy logic Ł. We define and
motivate the notions of abduction problems and explanations in
the language of Ł expanded with 'interval literals' of the
form p≤c, p≥c, and their negations that express the set of
values a variable can have. We analyse the complexity of
standard abductive reasoning tasks (solution recognition,
solution existence, and relevance/necessity of hypotheses) in
Ł for the case of the full language and for the case of
theories containing only disjunctive clauses and show that in
contrast to classical propositional logic, the abduction in
the clausal fragment has lower complexity than in the general
case.<br>
The talk is based on joint work with Katsumi Inoue. </i><br>
</p>
</div>
<p></p>
Kind regards,<br>
Jonas and Giovanni
<p><br>
</p>
<div class="moz-cite-prefix">Am 10.06.25 um 10:54 schrieb Jonas
Haldimann:<br>
</div>
<blockquote type="cite"
cite="mid:469df7a4-a536-4308-b0d0-b25ebddcbc68@haldimann.de">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p> </p>
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-html" lang="x-unicode">
<h3>NMR Online Seminar</h3>
<p><br>
<font face="monospace"><font size="4">-- Summary:
------------------------------------------------------------------<br>
<br>
What? Next talks in the NMR online talk series by
Daniil Kozhemiachenko<br>
When? Wednesday, 18. June 2025, 16:00 CEST (UCT+2)<br>
Where? Online (Zoom)<br>
<br>
<a class="moz-txt-link-freetext"
href="https://nmrseminar.krportal.org/"
moz-do-not-send="true">https://nmrseminar.krportal.org/</a><br>
------------------------------------------------------------------------------</font><br>
</font><br>
We are happy to announce that the next talk in the NMR
online talk series will be given by<br>
<b>Daniil Kozhemiachenko</b> (Aix-Marseille <span><span>Université</span></span>,
France)<br>
on <b>Wednesday, 18. June 2025</b>, 16:00 CET: </p>
<p><span><span style="font-weight: bold;">Abduction in
Łukasiewicz Logic</span></span></p>
<p>The talk will be given via Zoom.</p>
<p>The plan of this series to have a talk roughly once per
month. If you are interested in learning the next
speakers, please visit the website at<br>
<a class="moz-txt-link-freetext"
href="https://nmrseminar.krportal.org/"
moz-do-not-send="true">https://nmrseminar.krportal.org/</a></p>
<p>We are still looking for speakers for future talks. If
there is something you would like to present in this
seminar series, please do not hesitate to contact us.</p>
Kind regards,<br>
Jonas and Giovanni<br>
<br>
</div>
</div>
</div>
<p><br>
</p>
<lt-container></lt-container>
</blockquote>
</body>
</html>