1 / 5

The ?*&! Straw Proposal (formerly CTR++)

This document outlines a proposal for advancing rule-based systems, focusing on integrating concepts from F-Logic and Concurrent Transaction Logic (CTR). It emphasizes the need for prioritized rules, reification of process runs, and integration with OWL, thereby enhancing system capabilities. The proposal is aligned with Benjamin's ideas, presenting a comprehensive framework that supports automata-based approaches and co-exists with PSL. Three use cases—money transfer, travel reservations, and service discovery—illustrate practical applications of these enhancements.

vincent-hernandez
Télécharger la présentation

The ?*&! Straw Proposal (formerly CTR++)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. The ?*&! Straw Proposal(formerly CTR++) Michael Kifer 5/2004 SWSI F2F

  2. ?*&! At a Glance • Rule-based • Defaults (so somewhat at odds with the FOL-based proposals) • In spirit the same as Benjamin’s – essentially a significant (almost) extension of his • Can (I believe) express automata-based proposals (The Lucent & Rome gangs) • Can co-exist with parts of PSL (modulo first-orderness) 5/2004 SWSI F2F

  3. ?*&! Technical Foundations • F-logic: object-oriented logic; allows convenient frame-based representation of services as elements of ontologies • HiLog: provides reification and important tractable higher-order features, which make life better • Concurrent Transaction Logic (CTR): provides process modeling capabilities, including messaging 5/2004 SWSI F2F

  4. What ?*&! Would Like to Have • Prioritized rules • a la Benjamin’s • I believe this is the only thing from Benjamin’s desiderata, which is not covered by the three technical pillars of ?*&! • Reification of process runs – activity occurrences of PSL • In CTR executions are not reified • I think capturing activity occurrences is just a matter of proper modeling of this concept – haven’t given it too much thought • Some integration with the OWL world • Possible at the level of DLP • Treating OWL things as modules (this is loosely coupled, but acceptable, I believe) 5/2004 SWSI F2F

  5. Showcasing ?*&! • Three use cases: • Money transfer developed to a decent level of detail • Daniela/Rick’s travel reservation • Service discovery • Also travel use case • Scenario taken from WSMO 5/2004 SWSI F2F

More Related