X-Mozilla-Status: 0013 X-Mozilla-Status2: 00000000 X-Mozilla-Keys: Delivered-To: hassanaitkaci@gmail.com Received: by 10.79.12.12 with SMTP id 12csp7815857ivm; Fri, 20 Oct 2017 00:56:13 -0700 (PDT) X-Received: by 10.28.74.144 with SMTP id n16mr898841wmi.151.1508486172896; Fri, 20 Oct 2017 00:56:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1508486172; cv=none; d=google.com; s=arc-20160816; b=q+J5rhICN9a/1XLQFV3R6tRzJD0pdQWUQjWPgyrtnT2MZb+/d/sJK0AMdRNg14uxYN SLr/3z62WN1FSWgonuOtl7W+v9xp/hmpjpSMKzhXLPrGCwtytMkJheivzthPAzLdRlJN 4JeQCGYYaJL+lGBWHVl9VIY9kH2D94uyeJupQq3QudAfXDKMxXwfdTu6mS/5SMdXQV0P iGOS9CMnaAkOcfEojxqpfUNSPwd5Iw9NC76x6qf9Y1RMYV3VgG5Oj4W6yYzWqTiMwA5I hOESyJIk7FeEn5rmVIj7mOdGtHhyYw07nI/yCKavwxhcIwUyrRg6iYMTnEaKv7Zzfzap 5LRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:arc-authentication-results; bh=5lovMgrobJfNm5Iy8FqtYYtUUiUACecqj4YYw3oX5xA=; b=y4kIJTJCbMJGb2/ZTVtADKW/0BTMpG/Hd3BVtyhJNssdH9zVKC62nf5FINHrdNulgT azGXozm23s1lWvPUWjP6xaFktLhfn0on4F5WUQi0DZPPhfRsDaCCTkcYVlhi2FGBPHEJ fzU7a1SqI0de3w/WVDITu3Ux4cazJd4PQgvGmrSRZXiurOnPxigKW+5vEBF2KGI7uwOp r1cPMSX3qyGh3mV0B3Kv/OZtpSJLdPqMOKDwJiDREz2XoRvrlF5+knMb74wV7Y+uZwlQ ph6TDVilNb2ZP+V6ja6rlmK7zR3Sy8XSID4R1Uh131VqyInQB/FrRqoCA3yB+E/xjXgo LeDA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of michael.schroeder@tu-dresden.de designates 141.30.67.74 as permitted sender) smtp.mailfrom=michael.schroeder@tu-dresden.de Return-Path: Received: from mailout5.zih.tu-dresden.de (mailout5.zih.tu-dresden.de. [141.30.67.74]) by mx.google.com with ESMTPS id 8si544416wmy.65.2017.10.20.00.56.12 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 20 Oct 2017 00:56:12 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of michael.schroeder@tu-dresden.de designates 141.30.67.74 as permitted sender) client-ip=141.30.67.74; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of michael.schroeder@tu-dresden.de designates 141.30.67.74 as permitted sender) smtp.mailfrom=michael.schroeder@tu-dresden.de Received: from [172.26.34.105] (helo=msx.tu-dresden.de) by mailout5.zih.tu-dresden.de with esmtps (TLSv1.2:AES256-SHA:256) (Exim 4.84_2) (envelope-from ) id 1e5SA7-0008SS-VM for hassanaitkaci@gmail.com; Fri, 20 Oct 2017 09:56:12 +0200 Received: from mail-yw0-f176.google.com (209.85.161.176) by MSX-L105.msx.ad.zih.tu-dresden.de (172.26.34.105) with Microsoft SMTP Server (TLS) id 15.0.1320.4; Fri, 20 Oct 2017 09:56:09 +0200 Received: by mail-yw0-f176.google.com with SMTP id q1so5697787ywh.5 for ; Fri, 20 Oct 2017 00:56:09 -0700 (PDT) X-Gm-Message-State: AMCzsaXe9bxt6pvniu2dnHTzyPhZzocOcfM8cvEQYkU1pKcvCBQffQnf nDLTul4rzSZRmElxP0GFibkpEKciLp67b+IHiag= X-Google-Smtp-Source: ABhQp+TimQ/z9AeegJGSi3Uw06MTm7c4YFW4+Lxjy5Qy4ZwJFl54q35jvxmkEMpEoQWY92EeNOCL8LGAO59727ybjPo= X-Received: by 10.37.193.71 with SMTP id r68mr2465013ybf.272.1508486167993; Fri, 20 Oct 2017 00:56:07 -0700 (PDT) MIME-Version: 1.0 References: <7bcdcf9f-111c-409b-1b27-6c1b77d399e0@gmail.com> In-Reply-To: <7bcdcf9f-111c-409b-1b27-6c1b77d399e0@gmail.com> From: Michael Schroeder Date: Fri, 20 Oct 2017 07:55:57 +0000 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: Your work on FURY To: , Michale Schroeder CC: David Gilbert , Pasi Gabriella Content-Type: multipart/alternative; boundary="001a114ea91031270d055bf5cef0" X-ClientProxiedBy: MSX-L105.msx.ad.zih.tu-dresden.de (172.26.34.105) To MSX-L105.msx.ad.zih.tu-dresden.de (172.26.34.105) X-PMWin-Version: 4.0.3, Antivirus-Engine: 3.69.2, Antivirus-Data: 5.44 X-TUD-Virus-Scanned: mailout5.zih.tu-dresden.de --001a114ea91031270d055bf5cef0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Dr. Ait-Kaci, thanks for your interest in our paper. It has been a very long time! I quickly skimmed over your argument (the box in red in your document) and it appears sensible to me. I did not pursue our work further and I have no doubt that there are many ways how to improve or correct the initial approach. Best, Michael Schroeder Hassan A=C3=AFt-Kaci schrieb am Fr., 20. Okt. 201= 7 um 09:11 Uhr: > Hi, > This is forwarded after initial address "msch@soi.city.ac.uk" > bounced back. > Hope this email "ms@biotec.tu-dresden.de" is > correct. (Copied all other previous addressees.) > Sorry. > -hak > > > -------- Forwarded Message -------- > Subject: Your work on FURY > Date: Fri, 20 Oct 2017 08:50:22 +0200 > From: Hassan A=C3=AFt-Kaci > Reply-To: hassanaitkaci@gmail.com > To: David Gilbert > , Michael Schroeder > > CC: Pasi Gabriella > > Dear Profs. Gilbert and Schroeder, > > I am taking the liberty of contacting you regarding your joint work, a > couple of decades ago, on the fuzzy LP system FURY. > > I myself am no expert in Fuzzy Logic nor its use in implemented systems, > having a more solid background and experience in (Constraint) Logic > Programming (whether theory, implementation, or application). Lately, I > have been interacting with Prof. Pasi > of U. of > Milano-Bicocca (cc'ed), a well-known expert in approximate Information > Retrieval on her use of Fuzzy Informatics for interpreting and filtering > information despite its many possible distinct, though similar, encodings > as data and knowledge. > > One such issue for us has been understanding previous work on "fuzzy > unification". Our interest was on the CLP side of this topic. We eventual= ly > formalized some of our ideas proposing a general declarative scheme viewi= ng > fuzzy FOT unification and generalization (a.k.a. "anti-unification") as l= attice-theoretic > fuzzy constraint processing > . > However, in the course of this research, we also reviewed the history of > relevant work in related areas, taking notes as we proceeded. Your work o= n > FURY was among those that interested us , so we reviewed its LP technolog= y > in some detail. (We paid less attention to your biological information > processing applications - although we appreciate the relevance and worth = of > using the former for the latter.) > > Although the specifics of FURY turned out to be not exactly what we were > after, your publications still gave us some appreciation of what had been > realized at the cross of Fuzzy Logic and Unification technologies. > > While reviewing your work on FURY (essentially this paper > > - and correlates), there were a couple of questions that we could not > resolve. Attempting to settle those, we wrote this short set of notes > > describing your approach to fuzzy unification based on edit distance in > some detail. Where we could not understand, we made some comments (in red= ). > We would thus be very grateful if you would be so kind as to take a look = at > these notes and give us your comments confirming what we understood > correctly as well as addressing our misunderstandings. (The reference > citation numbers in the notes correspond to this bibliography > ). > > Thanks. > > Cordial Regards, > > -- > *-hak* > --=20 Michael Schroeder, Professor in Bioinformatics CMCB/Biotec, TU Dresden, Germany +49 351 463 400 60 michael.schroeder@tu-dresden.de --001a114ea91031270d055bf5cef0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Dr. Ait-Kaci,

thanks for your inte= rest in our paper. It has been a very long time! I quickly skimmed over you= r argument (the box in red in your document)
and it appears sensi= ble to me. I did not pursue our work further and I have no doubt that there= are many ways how to improve or correct
the initial approach.

Best, Michael Schroeder

Hassan A=C3=AFt-Kaci <hassanaitkaci@gmail.com> schrieb am Fr., 20.= Okt. 2017 um 09:11=C2=A0Uhr:
=20
Hi,
This is forwarded after initial address "msch@soi.city.ac.uk" bounced back.
Hope this email "ms@biotec.= tu-dresden.de" is correct. (Copied all other previous addressees.)
Sorry.
-hak


-------- Forwarded Message --------
Subject: Your work on FURY
Date: Fri, 20 Oct 2017 08:50:22 +0200
From: Hassan A=C3=AFt-Kaci <hassanaitkaci@gmail.com>
Reply-To: hassanaitkaci@gma= il.com
To: David Gilbert <= ;david.gilbert@brunel.ac.uk>, Michael Schroeder <msch= @soi.city.ac.uk>
CC: Pasi Gabriella <pasi= @disco.unimib.it>


=20 Dear Profs. Gilbert and Schroeder,

I am taking the liberty of contacting you regarding your joint work, a couple of decades ago, on the fuzzy LP system FURY.

I myself am no expert in Fuzzy Logic nor its use in implemented systems, having a more solid background and experience in (Constraint) Logic Programming (whether theory, implementation, or application). Lately, I have been interacting with Prof. Pasi of U. of Milano-Bicocca (cc'ed), a well-known expert i= n approximate Information Retrieval on her use of Fuzzy Informatics for interpreting and filtering information despite its many possible distinct, though similar, encodings as data and knowledge.

One such issue for us has been understanding previous work on "fuzzy unification". Our interest was on the CLP side of th= is topic. We eventually formalized some of our ideas proposing a general declarative scheme viewing fuzzy FOT unification and generalization (a.k.a. "anti-unification") as lattice-theoretic fuzzy constraint processing. However,=C2=A0 in the course of th= is research, we also reviewed the history of relevant work in related areas, taking notes as we proceeded. Your work on FURY was among those that interested us , so we reviewed its LP technology in some detail. (We paid less attention to your biological information processing applications - although we appreciate the relevance and worth of using the former for the latter.)

Although the specifics of FURY turned out to be not exactly what we were after, your publications still gave us some appreciation of what had been realized at the cross of Fuzzy Logic and Unification technologies.

While reviewing your work on FURY (essentially this paper - and correlates), there were a couple of questions that we could not resolve. Attempting to settle those, we wrote this short set of notes describing your approach to fuzzy unification based on edit distance in some detail. Where we could not understand, we made some comments (in red). We would thus be very grateful if you would be so kind as to take a look at these notes and give us your comments confirming what we understood correctly as well as addressing our misunderstandings. (The reference citation numbers in the notes correspond to this bibliography).

Thanks.

Cordial Regards,

--
-hak
--
Michael Schroeder, Professor in Bioinformatics
CMCB/Biotec, TU= Dresden, Germany
+49 351 463 400 60
<= /div>
--001a114ea91031270d055bf5cef0--