300 likes | 419 Views
A Tool for DILIGENT Argumentation: Experiences, Requirements and Design. Denny Vrandecic, York Sure AIFB. Michael Engler British Telecom plc. Research & Venturing. Motivation: Legal Domain. Problem: New Judges have theoretical knowledge, but little practical knowledge On Duty:
E N D
A Tool for DILIGENT Argumentation:Experiences, Requirements and Design Denny Vrandecic,York Sure AIFB Michael Engler British Telecom plc.Research & Venturing
Motivation: Legal Domain • Problem: • New Judges have theoretical knowledge, but little practical knowledge • On Duty: • When they are confronted with situations in which they are not sure what to do • “Disturb” experienced judges with typical questions. • Solution: • Design an intelligent system to help new judges with their typical problems. • Extended FAQ system using Semantic Web technologies • Connect the FAQ system with the exiting jurisprudence. • Search Jurisprudence using Semantic Web technologies. Building a new ontology
First Approach + Based on 800 competency questions + Questions were clustered + Middle-out strategy – Usage of ontology not considered – Repetitive discussions – Long discussions
Improvements • Usage of DILIGENT • Speedier discussions • Restriction of arguments • Usage of a wiki • Tracking of arguments • Access from geographical dispersed locations
DILIGENT 1. Build 2. Local adaption 3. Analysis 4. Revision 5. Local update
Argumentation ontology defined Based on Case Studies to identify the most effective types of arguments Argument type recognition based on RST Diligent Argumentation Ontology
Improvements, but… • Visualisation in wiki not supported • Lacking tool cooperation • Management of sources harder • Argument classification harder • No tight integration in an ontology editor • No notification • (No voting)
Design of DILIGENT-Tool • Visualisation: Idea sets • Allows exploring alternative modelling • Sources • URIs, e.g. competency questions • Arguments need to be classified • Notification by IM or E-Mail • Voting • Quick way of expressing opinion • Threshold? • Final decision?
Connection to DILIGENT • Supports the steps build, analysis, revision
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 Issues Common law guardianship Sources Ideas Issue agree disagree
File Edit View Search Window Help C R Tasks Visualization C R I Common law TaskCQ315 CQ315 CQ220 Task: CQ315 CQ237 Assigned to: Justine Sources: CQ315 open done postponed Issues Issues: Status: Common law guardianship Create concepts, relations and instances from the competency question CQ315 Text: Sources Ideas Issue ok cancel agree disagree
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 Issues Common law guardianship Sources Ideas Issue agree CQ315 disagree How are foreign marriages approved?
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 New Issue Issue: open postponed Status: Issues Modeling primitives: Sources: CQ315 Common law guardianship Text: Sources Ideas Issue agree CQ315 disagree How are foreign marriages approved? ok cancel
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 New Issue Issue: Partnership open postponed Status: Issues Modeling primitives: Sources: CQ315 Common law guardianship Text: We need to model partnership, and relations between men and women in a partnership. Sources Ideas Issue agree CQ315 disagree How are foreign marriages approved? ok cancel
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 Issues Common law guardianship Partnership Sources Ideas Issue: Partnership Status: under discussion agree [Issue] Justine: We need to model partnership, and relations between men and women with partnership. CQ315 disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 New Concept Label: Comment: Synonyms: URI: Issues Argumentation: Common law guardianship Partnership Example Sources Ideas Issue agree ok cancel [Issue] Justine: We need to model partnership, and relations between men and women with partnership. CQ315 disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 New Concept Label: Comment: Partnership Synonyms: URI: http://www.law_ontology.de/#Partnership Issues Argumentation: Common law We need P as a more general concept because of same-sex partnerships. They are not marriages. guardianship Partnership Example Sources Ideas Issue agree ok cancel [Issue] Justine: We need to model partnership, and relations between men and women with partnership. CQ315 disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law CQ315 CQ220 CQ237 Issues Common law guardianship Partnership Sources Ideas Issue: Partnership C: Partnership C: Partnership agree [pro] Justine: We need P as a general concept because of same-sex unions. They cannot be marriages. CQ315 disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 Issues Common law guardianship Partnership Sources Ideas Issue agree disagree
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership TaskReview Partnership Review Citzenship CQ819 Task: Review Partnership Assigned to: Justine Sources: CQ217 Issues open done postponed Issues: Partnership Status: Common law guardianship Partnership Review issue and ideas. Text: Sources Ideas Issue agree ok cancel disagree
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 Issues Common law guardianship Partnership Sources Ideas Issue agree disagree
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 Issues Common law guardianship Partnership Sources Ideas Issue: Partnership C: Partnership C: Marriage is-a Partnersh… C: Human C: Man is-a Human C: Woman is-a Human R: isMarriedIn C: RegistredPartnership R: isPartnerIn Status: under discussion agree [Issue] Justine: We need to model partnership, and relations between men and women with partnership. CQ315 disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 Issues Common law guardianship Partnership Sources Ideas Issue: Partnership C: Partnership C: Marriage is-a Partnersh… C: Human C: Man is-a Human C: Woman is-a Human R: isMarriedIn C: RegistredPartnership R: isPartnerIn Status: under discussion agree CQ315 [Issue] Justine: We need to model partnership, and relations between men and women with partnership. disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 New Argument Argument: Was already modeled in CQ801. Issues Common law guardianship Partnership Classification: Pro Example Contra ok cancel Sources Ideas Issue: Partnership C: Partnership C: Marriage is-a Partnersh… C: Human C: Man is-a Human C: Woman is-a Human R: isMarriedIn C: RegistredPartnership R: isPartnerIn Status: under discussion agree CQ315 [Issue] Justine: We need to model partnership, and relations between men and women with partnership. disagree How are foreign marriages approved? Pro: Justine
File Edit View Search Window Help C R Tasks Visualization C R I Common law Review Partnership Review Citzenship CQ819 Issues Common law guardianship Partnership Sources Ideas Issue: Partnership C: Partnership C: Marriage is-a Partnersh… C: Human C: Man is-a Human C: Woman is-a Human R: isMarriedIn C: RegistredPartnership R: isPartnerIn Status: under discussion agree [Issue] Justine: We need to model partnership, and relations between men and women with partnership. [con] Jack: Was already modeled in CQ801. CQ315 disagree How are foreign marriages approved? Pro: Justine Con: Jack
Conclusion • We found no off-the-shelf solution sufficient • Design for a collaborative ontology engineering tool using DILIGENT using the DILIGENT argumentation model
Future Work • Automatic classification of arguments • Automatic clustering of sources • Agent participation in discussion • Evaluate voting