|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Home | About Us | Who we are | Research Groups |
Research GroupsInternet LogicThe group's research focus is on: Semantic Web techniques, business rules, (Policy) RuleML, procurement systems and reasoning systems for supporting business processes.
The objectives of the newly formed Internet Logic group fall into two main areas: rules for business logic and the electronic marketplace. We seek to develop and apply logic tools to express and enforce the intentions of business partners as they delegate economic activity to electronic agents. This requires the precise semantics of logic languages for expressing people's intentions before they can trust and delegate tasks to their e-agents. Within this, we see four main avenues: (1) to promote RuleML as a knowledge representation and reasoning language across the web, (2) to allow business partners to specify what transactions they intend to allow and under what conditions, (3) to guide prospective partners through interactions that allow them to establish credentials and meet eligibility criteria set by other partners, and (4) to assist users to create logical descriptions of policies, interactively ensuring they meet the users' intentions. Within these four avenues with long-term goals, we have established short-term goals of delivering prototypes. We also (5) investigate and intend to build electronic marketplaces that provide rich protocols for expressing business intentions to potential partners, specifically to share probabilistic and temporal information about offers: what they are likely to be and when the exact offers will be exchanged. The objectives above offer an end-to-end solution to assist people to create logic policies, to assess a given situation for compliance with the policy, and to assist people in interactively applying the policy to their situation. The Internet Logic group's research has led to:
The Internet Logic group's research could have the following impacts and benefits. The group is working toward creating standards with OASIS and with W3C for rule languages for expressing business policy, and concurrently creating prototypes to support such business applications. We are promoting RuleML as the basis of these languages. The Internet Logic group's key competencies are: Additional InformationResearch ContactDr. Bruce Spencer Business ContactMarc-Alain Mallet |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|