harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Sian January" <sianjanu...@googlemail.com>
Subject Re: [general] Proposal for "first-order obvious logic" project
Date Tue, 01 Apr 2008 10:02:43 GMT
Good one :-)

On 01/04/2008, Alexei Zakharov <alexei.zakharov@gmail.com> wrote:
>
> LOL
> Thanks Tim, we like you too (as one pretty girl has said) :-)
>
> 2008/4/1, Tim Ellison <t.p.ellison@gmail.com>:
> > There are a number of interesting student projects being proposed at the
> >  moment, and I'd like to add another one for everyone's consideration.
> >
> >  It struck me this morning that since we have virtually got the entire
> >  platform working well, the remaining pieces could be deduced pretty
> well
> >  by simply describing the expected behaviour using the first-order
> >  'obvious logic' principle.
> >
> >  Using this principle we would simply write rules for the missing
> pieces,
> >  and implement an inference engine to evaluate these rules to complete
> >  the functionality.  While the rules can be written in any language, I'd
> >  suggest a good candidate would be the new 'actor participation rules
> >  intermediate language 1', and evaluate them using the Java obvious
> >  knowledge engine.
> >
> >  As an example of the rules we would need:
> >
> >    *drag and drop support*  Just implement drag.  After all, once you
> >  are dragging something the only option you have is to drop it.  That
> >  would be an obvious rule.
> >
> >    *rich text format support*  Just implement poor text support and
> >  invest in compounding instruments code.  After a few years the
> >  compounding effect will make the text increasing richer.
> >
> >    *not implemented exception*  Obviously the user's application doesn't
> >  want to see this exception.  Rather than throw the exception
> instrospect
> >  the stack and just return an object that will pass the application's
> >  validation checks instead.
> >
> >  I'm unwilling to mentor the project after today, but if anyone else
> >  wants to pick up the 'first-order obvious logic' (FOOL) project,
> writing
> >  code in 'actor participation rule intermediate language 1' (APRIL1) for
> >  the 'Java obvious knowledge engine' (JOKE) -- then I'd be facinated to
> >  see how well it works!
> >
> >  For more information see  http://tinyurl.com/395w9a
> >
> >  Regards,
> >
> > Tim
> >
> >
>



-- 
Unless stated otherwise above:
IBM United Kingdom Limited - Registered in England and Wales with number
741598.
Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message