Re: [rules-users] Expert Systems and Functional programming?

Who are the primary researchers of expert-systems today? On Tue, Mar 12, 2013 at 8:21 PM, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: > Actually Pamela is one of the papers I've been trying to track down, can't get it on the internet any more. As I first saw it referenced in "Production matching for large learning systems". > > You don't by chance have the paper still? > Barachini, F. (1991) The evolution of PAMELA. Expert Systems, 8(2):87-98 > > I'm building up a collection of relevant research papers, over at mendelay. That is one of my missing papers, that I've been unable to track: > http://www.mendeley.com/groups/2918061/rule-systems/papers/ > > Mark > On 12 Mar 2013, at 18:28, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: > >> Mark, >> >> no, the system I'm talking about is PAMELA, developed here in Vienna. >> You may find references to papers citing PAMELA, authored by >> F.Barachini and N.Theuretzbacher (one is referenced in the thesis you >> quoted, see [13]), but I doubt that you'l find one of the papers on >> the web. It was pre-internet days way back then :-) >> >> If you could produce an RBS ranking based on rules fired in >> production, I think that PAMELA would be in an excellent position. >> There's a three-digit number of installations by now, but they're >> running 24/7. >> >> -W >> >> >> On 12/03/2013, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: >>> OPS83? >>> http://repository.cmu.edu/cgi/viewcontent.cgi?article=2478&context=co... >>> >>> >>> or YES/L1? (seems information on this is out of print and not online >>> either) >>> http://www.amazon.com/dp/B00070YQSU/ref=r_soa_w_d >>> "YES/L1: Integrating expert systems technology with traditional programming >>> languages (Research Report RC. International Business Machines Inc. Research >>> Division)" >>> >>> >>> I definitely find linq interesting, as it's straight out of the research >>> pages from these projects - I wonder if the linq/database propel know about >>> these… The first time I saw it was in this paper "procedural match augments >>> data-driven match" >>> http://www.aaai.org/Papers/AAAI/1986/AAAI86-037.pdf >>> >>> They move the "lhs" logic into the consequence block, using the actual >>> "when" part as a simple goal trigger - allowing the 'lhs' to be used >>> procedurally, like linq. This allows them to control when a rule is >>> evaluated and that it's evaluation is atomic, and can have cleanup work >>> done. >>> >>> Mark >>> >>> On 12 Mar 2013, at 06:04, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: >>> >>>> Indeed, this thesis mentions a few features of the system I was >>>> talking about :-) >>>> ([13]) >>>> -W >>>> >>>> On 11/03/2013, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: >>>>> There were a number of research efforts that looked at combining >>>>> procedural >>>>> and rule base programming. >>>>> This one is quite interesting: >>>>> Combining Rule-Based and Procedural Programming in the XC and XE >>>>> Programming >>>>> Lanaugages >>>>> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.9.1106&rep=r... >>>>> >>>>> Mark >>>>> >>>>> >>>>> On 11 Mar 2013, at 18:03, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: >>>>> >>>>>> On 11 March 2013 16:19, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: >>>>>> So thinking really long term here. Can we build a "java layer" that >>>>>> provide all the rule functionality we need - but fit ontop of the java >>>>>> language neatly. We'd probably need to allow "rule" keyword and have it >>>>>> in >>>>>> Classes, at the method level. All class members and methods would be >>>>>> available to the rules in that class. >>>>>> >>>>>> There is this production rule system where you can write your rules >>>>>> embedded in compiling units, and alongside the legacy program units, of >>>>>> a >>>>>> procedural, modular, strongly type HLL, and where you use expressions >>>>>> in >>>>>> the language's own syntax in constraints... >>>>>> >>>>>> We've been using it ever since 1986. Rabbi Akiva was right, wasn't he >>>>>> ;-) >>>>>> >>>>>> -W >>>>>> >>>>>> _______________________________________________ >>>>>> rules-users mailing list >>>>>> rules-users(a)lists.jboss.org >>>>>> https://lists.jboss.org/mailman/listinfo/rules-users >>>>> >>>>> >>>> _______________________________________________ >>>> rules-users mailing list >>>> rules-users(a)lists.jboss.org >>>> https://lists.jboss.org/mailman/listinfo/rules-users >>> >>> >>> _______________________________________________ >>> rules-users mailing list >>> rules-users(a)lists.jboss.org >>> https://lists.jboss.org/mailman/listinfo/rules-users >>> >> >> _______________________________________________ >> rules-users mailing list >> rules-users(a)lists.jboss.org >> https://lists.jboss.org/mailman/listinfo/rules-users > > > _______________________________________________ > rules-users mailing list > rules-users(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/rules-users -- Grant Rettke | ACM, AMA, COG, IEEE grettke(a)acm.org | http://www.wisdomandwonder.com/ Wisdom begins in wonder. ((λ (x) (x x)) (λ (x) (x x))) _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users