[PlanetKR] Reminder: NMR Online Seminar – Next Talk on June 18 by Daniil Kozhemiachenko

[Jonas Haldimann]

Hi everyone,

this is a brief reminder of the next talk in the NMR Online Seminar on 
this Wednesday, 16:00 CEST.

https://us02web.zoom.us/j/86110993805?pwd=DQtah6Yg0kClZtYdr2iAHVyOpVIbn1.1
Meeting ID: 861 1099 3805
Passcode: 441685

Abduction in Łukasiewicz Logic

/_Abstract._ 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.
The talk is based on joint work with Katsumi Inoue. /

Kind regards,
Jonas and Giovanni


Am 10.06.25 um 10:54 schrieb Jonas Haldimann:
>
>
>       NMR Online Seminar
>
>
> -- Summary: 
> ------------------------------------------------------------------
>
> What?    Next talks in the NMR online talk series by Daniil Kozhemiachenko
> When?    Wednesday, 18. June 2025, 16:00 CEST (UCT+2)
> Where?   Online (Zoom)
>
> https://nmrseminar.krportal.org/
> ------------------------------------------------------------------------------
>
> We are happy to announce that the next talk in the NMR online talk 
> series will be given by
> *Daniil Kozhemiachenko* (Aix-Marseille Université, France)
>    on *Wednesday, 18. June 2025*, 16:00 CET:
>
> Abduction in Łukasiewicz Logic
>
> The talk will be given via Zoom.
>
> 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
> https://nmrseminar.krportal.org/
>
> 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.
>
> Kind regards,
> Jonas and Giovanni
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20250616/eb1e3bfd/attachment.htm>