As some other posts have shown in images, we can translate completely natural sentences into formal logic. We actually do the reasoning using Vulcan’s SILK, which has great capabilities, including defeasibility. We can also output to RIF or SBVR, but the temporal aspects and various things such as modality and the need for defeasibility favor SILK or Cyc for the best reasoning and QA performance.
One thing in particular is worth noting: this approach does better with causality and temporal logic than is typically considered by most controlled natural language systems, whether they are translating to a business rules engine or a logic formalism, such as first order or description logic. The approach promises better application development and knowledge management capabilities for more of the business process management and complex event processing markets.
The call transcript from TIBCO’s Dec 21 review of Q4 results is great reading. Starting from a simple Rete Algorithm and the insightful acquisition of Spotfire, TIBCO has transformed itself from a technical middleware vendor to a promising enterprise platform.
TIBCO has a long way to go in making its business optimization offerings less technical, but for those that can tolerate less alignment between IT and the business than may be ideal, TIBCO is leading the way in integrating technical agility with business visibility.
It will be tough for Oracle or IBM or SAP to close the gap with what TIBCO has. Don’t be surprised if rule-based event-driven business processing drives the acquisition of TIBCO by one of these over the next two years. The growth rate certainly justifies it! And it won’t stop.
The slides for my Business Rules Forum presentation on event semantics and focusing on events in order to simplify process definition and to facilitate more robust governance and compliance are at Event-centric BPM.
After the talk I spoke with Jan Verbeek and Gartjan Grijzen of Be Informed and reviewed their software, which is excellent. They have been quite successful with various government agencies in applying the event-centric methodology to produce goal-driven processing. Their approach is elegant and effective. It clearly demonstrates the merits of an event-centric approach and the power that emerges from understanding event-dependencies. Also, it is very semantic, ontological, and logic-programming oriented in its approach (e.g., they use OWL and a backward-chaining inference engine).
They do not have the top-down knowledge management approach that I advocate nor do they provide the logical verification of governing policies and compliance (i.e., using theorem provers) that I mention in the talk (see Guido Governatori‘s 2010 publications and Travis Breaux‘s research at CMU, for example) but theirs is the best commercially deployed work in separating business process description from procedural implementation that comes to mind. (Note that Ed Barkmeyer of NIST reports some use of SBVR descriptions of manufacturing processes with theorem provers. Some in automotive and aerospace industries have been interested in this approach for quality purposes, too.)
BeInformed is now expanding into the United States with the assistance of Mills Davis and others. Their software is definitely worth consideration and, in my opinion, is more elegant and effective than the generic BPMN approach.
The slides for my keynote at RuleFest 2011 are here.
Excellent presentations on complex event processing by Paul Vincent of TIBCO and Mauricio Salatano who showed simple, effective integration of events and rules using Drools. Mauricio’s was a good demo and Paul’s slides are worth perusing once they go on-line. (Some comments from Carlos about Paul’s, Mauricio’s, and my presentations are here, here and here, FYI.)
Christian St. Marie and Hugues Citeau each of Ilog (IBM) on improving RIF support in JRules and the worthy ONTORULE project, respectively. Both presentations confirm the gulf between production rules and sufficient logical expressiveness to support natural language or natural logic knowledge management, but IBM is clearly aware of and trying to address the challenges raised in my presentation.
I’ve been working for a while now on an ontology for representing events (which includes process, of course). One of the requirements of a system that is to monitor, govern, implement, or reason about processes is that it consider “situations”, which are things that happen or occur, including events and states. (See, for example, the perdurants of the DOLCE ontology, BFO‘s occurents, or OpenCyc’s situations.) This requires the representation of time-variant information at various points or during various intervals of time (more than just the Allen relations or OWL Time). If you’re interested in such things, I’d recommend Parsons‘ “Events in the Semantics of English” or Pustejovsky‘s “Syntax of Event Structure“, both of which look at the subject from a linguistic rather than inferential perspective. When you pursue this to the point that you implement the axioms that an artificial intelligence needs to provide assistance in defining or governing a business process (or answering questions about molecular biological processes) you land up in some pretty abstract stuff, including the Stanford Encyclopedia of Philosophy. I found the title of this post entertaining within the page on temporal logic.
…we need to take a different view of BPM technology and try to see how it can be used to make knowledge-based business more ‘operationally responsive’……the potential for creating real business value by bringing together the two disciplines of event processing and BPM is substantial…
Today, I came upon some commentary by a business rule colleague, Carlos Serranos-Morales, of Fair Isaac concerning a presentation I made at the Business Rules Forum. During the presentation I showed some sentences that are beyond the current state of the art in the business rules industry. Generally speaking, these were logical statements that did not use the word “if”. (Note, however, that many of the them could be expressed in SBVR, OMG’s semantics of business vocabulary and rules standard). Carlos argued that such statements should be more precisely articulated within the specific context of a business process.
On the heels of IBM’s acquisition of Lombardi comes Progress Software’s acquisition of Savvion. The salient similarities are that IBM is adding BPM applications to its middleware stack as is Progress, at least with regard to its enterprise service bus offerings. More interesting is the relationship between Progress’ complex event processing software and Savvion’s BPM. Also of note is the vendor-provided integration of JBOSS Rules within Savvion versus the unrealized potential of IBM’s Ilog with respect to Lombardi.
In preparing for my workshop at the Business Rules Forum in Las Vegas on November 5th, I have focused on the following needs in reasoning about processes, about events, and about or over time:
Reasoning at a point within a [business] process
Reasoning about events that occur over time.
Reasoning about a [business] process (as in deciding what comes next)
Reasoning about and across different states (as in planning)
Enterprise decision management (EDM) addresses the first. Complex event processing (CEP) is concerned with the second. In theory, EDM could address the third but it does not in practice. This third item includes the issue of governing and defining workflow or event-driven business processes rather than point decisions within such business processes.
Business applications of rules have not advanced to include the fourth item. That is to say, business has yet to significantly leverage reasoning or problem solving techniques that are common in artificial intelligence. For example, artificially intelligent question and answer systems, which are being developed for the semantic web, can do more than retrieve data – they perform inference. Commercial database and business intelligence queries are typically much less intelligent, which presents a number of opportunities that I don’t want to go into here but would happy to discuss with interested parties. The point here is that business does not use reasoning much at all, let alone to search across the potential ramifications of alternative decisions or courses of action before making or taking one. Think of playing chess or a soccer-playing robot planning how to advance the ball on goal. Why shouldn’t business strategies or tactical business decisions benefit from a little simulated look-ahead along with a lot of inference and evaluation?
Even though I have recently become more interested in the fourth of these areas, I expect the audience at the business rules forum to be most interested in the first two points above. There will also be some who have enough experience with complex business processes, which are common in larger enterprises. These folks will be interested in the third item. Only the most advanced applications, such as in biochemical process planning, will be interested in the fourth. I don’t expect many of them to attend!
The notion of enterprise decision management (EDM) is focused on point decision making within a business process. For enterprises that are concerned with governing business processes, a model of the process itself must be available to the business rules that govern its operation. I’ve written elsewhere about the need for an ontology of events and processes in order to effectively integrate business process management (BPM) with business rules. Here, and in the workshop, I intend to get a little more specific about the requirements, what is lacking in current standards and offerings, and what we’re trying to do about it. Continue reading “Time for the next generation of knowledge automation”
Have you heard the one about how to drive BPM people crazy?
Ask them the question that drives CEP people crazy!
Last fall, at the RuleML conference in Orlando, was the first time I heard a consensus that a standard ontology of events and processes was sorely needed. I’ve had a number of discussions with others on this over the interim until today’s posts by Paul Vincent, summing up an OMG meeting in Washington, DC, and Sandy Kelmsley’s comments on a survey of 590 business process modeling notation users. Continue reading “In the names of CEP and BPM”