[rules-users] Expert Systems and Functional programming?

[Mark Proctor]

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 at gmail.com> 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 at codehaus.org> wrote:
>> OPS83?
>> http://repository.cmu.edu/cgi/viewcontent.cgi?article=2478&context=compsci
>> 
>> 
>> 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 at gmail.com> wrote:
>> 
>>> Indeed, this thesis mentions a few features of the system I was
>>> talking about :-)
>>> ([13])
>>> -W
>>> 
>>> On 11/03/2013, Mark Proctor <mproctor at codehaus.org> 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=rep1&type=pdf
>>>> 
>>>> Mark
>>>> 
>>>> 
>>>> On 11 Mar 2013, at 18:03, Wolfgang Laun <wolfgang.laun at gmail.com> wrote:
>>>> 
>>>>> On 11 March 2013 16:19, Mark Proctor <mproctor at codehaus.org> 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 at lists.jboss.org
>>>>> https://lists.jboss.org/mailman/listinfo/rules-users
>>>> 
>>>> 
>>> _______________________________________________
>>> rules-users mailing list
>>> rules-users at lists.jboss.org
>>> https://lists.jboss.org/mailman/listinfo/rules-users
>> 
>> 
>> _______________________________________________
>> rules-users mailing list
>> rules-users at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/rules-users
>> 
> 
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users