Hilog support for query literals
by Mark Proctor
Hilog supports something called "generic programs". You can think of
these as query literals you can pass around and call, bit like function
literals.
Because Hilog is untyped it uses a separate parenthesis to allow query
literals to be passed:
http://www.cs.sunysb.edu/~warren/xsbbook/node46.html
"... snip ....
closure(R)(X,Y) :- R(X,Y).
closure(R)(X,Y) :- R(X,Z), closure(R)(Z,Y).
Now given any binary relation, one can use use this definition to
compute its closure. For example, we can define a binary predicate,
|parent| as follows:
:- hilog parent.
parent(able,adam).
parent(able,eve).
parent(cain,adam).
parent(cain,eve).
etc
and then we can use the generic definition of closure to find anscestors:
| ?- clo
... snip ...."
We could supprt this if we added generics to our query literals, probably something like:
query closure( Query<String, String> q, String x, String y )
q( x, y )
or
( q( x, z ) and q(z, y) )
end
Anyway something worth thinking on, when we start to look at function literal support in Drools, we should probably address the two at the same time.
Mark
13 years, 4 months
Fwd: Press Release: Call to Relieve Constraints on AI
by Mark Proctor
-------- Original Message --------
Rules Fest 2011
*PRESS RELEASE*
Forward this message to a friend
<http://oi.vresp.com/f2af/v4/send_to_friend.html?ch=a0cdd8f89d&lid=1471764...>
The Need to Relieve Constraints on Artificial Intelligence
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/02fa31...>
Addressed at Rules Fest 2011
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/17f81f...>
/Veteran AI Leaders Paul Haley and Said Tabet Slated to Address Developers /
/San Francisco, CA, August 2, 2011– /Organizers today posted the
abstracts for keynote speakers for Rules Fest 2011
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/b2063d...>,
the International Conference on Reasoning Technologies, a conference by
developers for developers scheduled for the San Francisco Bay Area this
October 2011.
In a session titled “Roadmap for Rules, Semantics, and Business,” Paul
Haley
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/819a3e...>,
who has been working to commercialize artificial intelligence for more
than three decades, says understanding the requirements for semantic
technology in enterprise vs. the capabilities of rules engines exposes
the need for more classic artificial intelligence and reasoning in our
technology, more emphasis on knowledge than rules in our services, and
more emphasis on knowledge technology strategy in the executive suite.
Haley will discuss the challenge that while semantic technology is
inevitably mainstream, it remains largely divorced from the activity of
knowledge engineering as practiced using business rule engines embedded
within business process management or complex event processing systems.
Semantic technology encodes meanings separately from data and content
files, and separately from application code. This enables machines as
well as people to understand, share and reason with them at execution
time. Semantic technologies make it easy to add, change and implement
new relationships or interconnecting programs in a different way. For
example, a context-aware, semantically-enabled system is able to
distinguish terms that are labeled differently but have the same
meaning, as well as terms that share the same label but have entirely
different meanings.
Cloud trust, information governance, risk management, and compliance,
distributed systems, mobile applications all offer a unique opportunity
to realize the true potential of knowledge technology. These systems are
usually covered by service level agreements that are rules-based.
Dr. Tabet’s discussion
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/dff655...>,
“Semantic Technologies and the Cloud: Rules for the Next Generation,”
addresses the major challenges in information management while the
business environment also witnesses the drastic shift to cloud
computing. Dr. Tabet will address the trend of constraining artificial
intelligence and knowledge technologies in legacy environments, and says
enterprise knowledge management needs strong semantic technologies,
powerful inferencing systems, and advanced machine learning capabilities
– not more sophisticated spreadsheets. Dr. Tabet was a co-founder of the
RuleML Initiative in 2000, involved in artificial intelligence and its
applications for well over a decade. He recently refocused his efforts
on RuleML and Business Rules, XML, RDF and the Semantic Web as well as
deductive reasoning in financial services.
Rules Fest
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/72cd85...>,
hosted by the non-profit Rules Fest Association, is a technical
conference geared toward software developers, engineers, programmers and
architects who create solutions to complex computing problems using
/reasoning technologies/
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/6c855e...>:
rule-engines, logical reasoners, constraint-solvers, and other such
building-blocks of practical artificial intelligence (AI). More than 200
developers, engineers, programmers, and architectsfrom around the globe
are expected to attend the conference in Burlingame, California.
The conference will also feature a Career Center to address the war for
developer talent in technology companies. Companies seeking advanced
programming talent are invited to submit their open positions for
posting at no charge.
*Conference Fee and Package Pricing
*The standard fee for the conference is $499. All bootcamps –
addressing specific programming challenges and technologies -- are $299.
For a limited time, Rules Fest organizers are offering an early bird
rate of $1249 including an all-access conference pass, four nights at
the Hyatt Regency Burlingame, a boot camp of choice, and 10% off from
next year’s conference. This “early bird” rate is available until
September 30. Early discounts are also available for general admission
and for bootcamps without a hotel stay. To register, attendees should
visit the conference registration site
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/c616b6...>
on the conference website.
*About Rules Fest*
The non-profit Rules Fest™ Association, Inc. produces the annual Rules
Fest conference, the world's only technical conference devoted to the
practical application of all reasoning technologies.
For a better understanding of reasoning systems, visit
http://en.wikipedia.org/wiki/Reasoning_System
<http://cts.vresp.com/c/?VisionArtsCommunicat/a0cdd8f89d/11698b4526/ae038d...>.
© Copyright 2011. All rights reserved. Rules Fest is a trademark of
Rules Fest Association.
For information, contact info(a)rulesfest.org
<mailto:info@rulesfest.org?subject=Question%20about%20Rules%20Fest%202011>
Media contact:**brenda@visionartscommunications.com
<mailto:brenda@visionartscommunications.com?subject=Rules%20Fest%202011>
------------------------------------------------------------------------
Click to view this email in a browser
<http://hosted.verticalresponse.com/756695/a0cdd8f89d/1471764023/11698b4526/>
If you no longer wish to receive these emails, please reply to this
message with "Unsubscribe" in the subject line or simply click on the
following link: Unsubscribe
<http://cts.vresp.com/u?a0cdd8f89d/11698b4526/mlpftw>
------------------------------------------------------------------------
Rules Fest Association, Inc.
4616 W. Sahara Ave #379
Las Vegas, NV 89102
US
Read <http://www.verticalresponse.com/content/pm_policy.html> the
VerticalResponse marketing policy.
Try Email Marketing with VerticalResponse!
<http://www.verticalresponse.com/landing/ef/?mm//a0cdd8f89d>
13 years, 4 months
Guvnor documentation
by Michael Anstis
Guvnor's documentation has been restructured, with coverage expanded
(admittedly to a number of "TODO" items).
Anybody fancy taking a look and checking it builds OK - git status shows
everything's committed, but confirmation from someone would be good :)
Feel free to complete any of the "TODO" sections over time too ;)
Cheers,
Mike
13 years, 4 months
5.3 beta N&N
by Mark Proctor
Don't forget to update the N&N with any work you've done for 5.3.
Geoffrey will be releasing within a few days.
Mark
13 years, 4 months
Call for Demos: RuleML2011 - 5th InternationalRule Challenge
by Mark Proctor
RuleML is just around the corner and will be in Fort Lauderdale this time.
The RuleML Challenge sessions are always interesting and fun and a great
way to show case your work and get noticed. So hurry up and submit now :)
If you aren't sure that your work it suitable to submit, just email me
and we will be happy to discuss it with you.
Mark
On 01/08/2011 10:38, Adrian Paschke wrote:
>
> Latest News
>
> ====================================================================*
>
> * RuleML2011@BRF - 5th International Rule Challenge *
>
> * Nov 4th *
>
> * Westin Diplomat, Ft Lauderdale, Florida *
>
> * http://2011.ruleml.org/america/?page_id=126 *
>
> ====================================================================*
>
> * Call for Demos - Submission Deadline - Sept. 2nd, 2011 *
>
> * New categories in the Challenge with prestigious prizes *
>
> * Demo papers published as CEUR proceedings *
>
> * 15% RuleML2011@BRF Partner discounts - see registration page *
>
> * http://2011.ruleml.org/america/ *
>
> * http://www.businessrulesforum.com/register.php *
>
> *********************************************************************
>
> Overview and Aim
>
> ======================================================
>
> The RuleML2011@BRF Challenge is one of the highlights at RuleML2011@BRF
>
> Conference.The RuleML2011@BRF Challenge is dedicated to practical
> experiences
>
> with rule-oriented applications. In particular, submissions of benchmarks
>
> / evaluations, demos, case studies / use cases, experience reports, best
>
> practice solutions (e.g. design patterns, reference architectures,
> models),
>
> rule-based implementations / tools / applications, demonstrations of
>
> engineering methods, implementations of rule standards (e.g. RuleML, RIF,
>
> SBVR, PRR, rule-based Event Processing languages, BPMN+rules, BPEL+rules,
>
> ...), rules + industrial standards (e.g. XBRL, MISMO, Accord, ...), and
>
> industrial problem statements are particularly encouraged.
>
> Key themes of the RuleML2011@BRF Challenge include the following:
>
> * Demos related to the RuleML2011@BRF Track Topics
>
> * Extensions and implementations of rule standards: W3C RIF, RuleML,
>
> SBVR, ...
>
> * Editing environments and IDEs for Web rules
>
> * Benchmarks and comparison results for rule engines
>
> * Distributed rule bases and rule services
>
> * Reports on industrial experience about rule systems
>
> A dedicated track of RuleML2011@BRF Challenge will be focused on the
> theme:
>
> **Combining Rules, Objects, and Ontologies: Implementations and
> Applications**
>
> - Loose/tight integrations of rules and knowledge bases
>
> - Knowledge Modelling and Reasoning
>
> - Real cases and practical experiences
>
> Ideally, demos submitted to the Challenge track should tackle
> knowledge-rich
>
> domain problems. The proposed solution should address such problem using a
>
> combination of rule-based modelling and semantic knowledge-based
> modelling.
>
> Solutions ranging from loosely coupled hybrid systems (i.e. where
> different
>
> frameworks are put together), to unified homogeneous architectures
> (i.e. where
>
> a unified model / semantics, within a single framework, is proposed)
> will be
>
> of great interest for the special track.
>
> Prizes will be awarded to the two best applications from the main
> focus theme
>
> and for the all categories. All accepted demos will be presented in a
> special
>
> Challenge Session.
>
> Submission
>
> ======================================================
>
> The submission is composed of two parts:
>
> - open-source or commercial demo
>
> - demo papers describing research, implementation, and technical
> details of
>
> your submission.
>
> Submissions to the Rules Challenge 2011 consist of a demo paper of 4-8
> pages,
>
> describing the demo show case, and a link to the demo/show case, e.g. a
>
> project site, an online demonstration, a presentation about the
> demonstration,
>
> or a download site for the demonstration.
>
> Demo and papers submission website:
>
> https://www.easychair.org/conferences/?conf=ruleml2011challenge
>
> Please upload all demo papers submissions as PDF files in LNCS format
>
> (http://www.springer.de/comp/lncs/authors.html).
>
> To ensure high quality, submitted papers will be carefully peer-reviewed
>
> according to the evaluation criteria indicated below.
>
> To better disseminate your work, please also udpate your demo in the
> systems
>
> submission website with a brief abstract presentation:
>
> http://2011.ruleml.org/america/?page_id=184
>
> Challenge Evaluation Criteria
>
> ======================================================
>
> Submissions to the RuleML2011@BRF Challenge general Track will be
> evaluated
>
> according to the following criteria:
>
> - clear exposition of the objectives, outcomes, benefits for going
> beyond the
>
> state of the art in the application domain (25%)
>
> - demos should demonstrate a good level of effectiveness to manage complex
>
> rules according to statistical/analytical/benchmarking evaluations (25%)
>
> - demos have to demonstrate the results with a concrete example balancing
>
> conciseness and completeness (25%)
>
> - demos should preferably (but not necessarily) be embedded into a
> web-based
>
> or distributed environment (15%)
>
> - demos should pay attention to end-user interactions, providing an
> adequate
>
> and usable interface that favors a concrete usage of the application
> (10%).
>
> Submissions focused on this year's special theme (Knowledge-Based
> Applications
>
> combining Rules and Ontologies) should show the potential and benefits of
>
> combining rule-based reasoning and taxonomic/frame/description-logic
> reasoning
>
> in a realistic application. Demos submitted to the Special Theme will be
>
> evaluated according to the following criteria:
>
> - papers should clearly expose the objectives, outcomes, benefits for
> going
>
> beyond the state of the art in the application domain (20%)
>
> - demos should demonstrate a good level of integration or interaction
> between
>
> rules and ontologies (40%)
>
> - demos should demonstrate their results with a simple but meaningful case
>
> study, balancing conciseness and completeness (20%)
>
> - demos should preferably be deployed in a web-based or distributed
>
> environment where multiple nodes exchange information (10%)
>
> - demos should pay attention to end-user interactions, providing an
> adequate
>
> and usable interface that favors a concrete usage of the application
> (10%).
>
> Proceedings
>
> ======================================================
>
> Authors are invited to submit original contributions of practical
> relevance
>
> and technical rigor in the field, benchmarks, evaluations, experience
> reports
>
> and show/use case demonstrations of effective, practical, deployable
>
> rule-based technologies or applications in web-distributed environments.
>
> Papers must be in English.
>
> Accepted papers will be published as CEUR Workshop Proceedings.
>
> Exhibition Room
>
> ======================================================
>
> The RuleML2011@BRF Chairs are currently evaluating the possibility to
> have an
>
> exhibition space where to present the demo live to the participants
> throughout
>
> the Symposium.
>
> More information will be released with the notification of acceptance
> of the
>
> demo papers and demo systems.
>
> Important Dates
>
> ======================================================
>
> Submission deadline for demo papers and demo systems: Sept. 2nd, 2011
>
> Notification of accepted demo papers and demo systems: Sept. 23rd, 2011
>
> Camera ready papers: Sept. 30th, 2011
>
> RuleML2011@BRF Challenge Chairs
>
> ======================================================
>
> Stefano Bragaglia, University of Bologna, Italy
>
> Marco Montali, KRDB, Free University of Bozen-Bolzano, Italy
>
> Charles Petrie, Stanford University, USA
>
> Mark Proctor, Red Hat, UK
>
>
>
> _______________________________________________
> rules-users mailing list
> rules-users(a)lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
13 years, 4 months
