<br><br><div class="gmail_quote">2010/7/11 Gabriele Kahlout <span dir="ltr"><<a href="mailto:gabriele@mysimpatico.com">gabriele@mysimpatico.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <br><br><div class="gmail_quote">2010/7/11 George Herson <span dir="ltr"><<a href="mailto:gherson@snet.net" target="_blank">gherson@snet.net</a>></span><div class="im"><br><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex"> A brilliant solution, agreed, but something that requires brilliance is only<br> usable by the consistently brilliant. I would like to see a tool that allows<br> users to paste in normal English and stepwise translate it into ACE. Unless<br> that's known to be too difficult it would also be really interesting (and thesis<br> worthy) to try. </blockquote></div><div><br>I daresay it's agreed too difficult, as most of my 'logic-oriented' english sentences couldn't be parsed. Besides, for normal english you don't mean the ambiguous, right?<br> </div></div></blockquote><div><br></div><div>My opinion is that Attempto can (and needs to) be augmented with more english syntaxes that are commonly used by humans. I think that there is no technical obstacle to that .</div> <div>It's just that the Attempto team was more concerned by scientific achievement than by developing a software with all the desirable features, which is quite natural for an academic project.</div><div>And now the issue is to make Attempto work more like a real Open Source project, with users, testers, bug trackers, roadmap, tutorials, etc .</div> <div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="gmail_quote"><div> Even simplified english (which I think is not a machine understandable controlled language) requires expensive tools.<br><br><br></div><div class="im"><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex"> Attempto, its authors will agree, is an existance proof that<br> audacious experiments can resolve in the affirmative.<br> <br> George<br> ________________________________<br> From: Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>><br> To: Gabriele Kahlout <<a href="mailto:gabriele@mysimpatico.com" target="_blank">gabriele@mysimpatico.com</a>><br> Cc: <a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a><br> Sent: Sun, July 11, 2010 10:46:04 AM<br> Subject: Re: [Attempto] or is interpreted as inclusive or , or xor?<br> <div><div></div><div><br> <br> On 11 Jul 2010, at 16:40, Gabriele Kahlout wrote:<br> <br> > While the 2nd solution is brilliant. The paraphrase of it is:<br> > If a thing X1 is inserted and a thing X2 is inserted then the thing X2 is the<br> >thing X1.<br> > This paraphrase is the same for inserted prefixed with a lexicon or not.<br> > I take this 2nd solution as to be the way to express exclusiveness of the kind<br> <br> >in Attempto (until I find other ways, possibly more natural).<br> ><br> <br> Is this more natural?<br> <br> If something X and something Y are inserted then X is Y.<br> <br> --- nef<br> </div></div><div><div></div><div>_______________________________________________<br> attempto mailing list<br> <a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a><br> <a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a><br> <br> </div></div></blockquote></div></div><br><br clear="all"><div><div></div><div class="h5"><br>-- <br>Regards, <br>K. Gabriele<br><br>--- unchanged since 25/1/10 ---<br>P.S. Unless a notification (LON), please reply either with an answer OR with " ACK" appended to this subject within 48 hours. Otherwise, I might resend.<br> In(LON, this) ∨ In(48h, TimeNow) ∨ ∃x. In(x, MyInbox) ∧ IsAnswerTo(x, this) ∨ (In(subject(this), subject(x)) ∧ In(ACK, subject(x)) ∧ ¬IsAnswerTo(x,this)) ⇒ ¬IResend(this).<br><br>Also note that correspondence may be received only from specified a priori senders, or if the subject of this email ends with a code, eg. -LICHT01X, then also from senders whose reply contains it.<br> ∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y, subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).<br><br> </div></div><br>_______________________________________________<br> attempto mailing list<br> <a href="mailto:attempto@lists.ifi.uzh.ch">attempto@lists.ifi.uzh.ch</a><br> <a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a><br> <br></blockquote></div><br><br clear="all"><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<br> +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br>