SlideShare une entreprise Scribd logo
1  sur  43
Télécharger pour lire hors ligne
Using Controlled Natural Language & First Order Logic to Improve  E-Consultation Discussion Forums Jodi Schneider DERI Reading Group 2011-09-07 Galway, Ireland
Based on 3 Papers (FP7 IMPACT) ,[object Object],[object Object],[object Object]
IMPACT Project is developing 4 tools ,[object Object],[object Object],[object Object],[object Object]
Motivation: e-Participation ,[object Object],[object Object],[object Object]
 
 
Online forum offer challenges!  ,[object Object],[object Object],[object Object],[object Object]
Why Knowledge Engineering? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Extracted 16 sample statements  (1) ,[object Object],[object Object],[object Object],[object Object]
Not just statements:  Arguments ,[object Object],[object Object],[object Object],(1) (4)   (1) (3)   (1)
Extracted 16 sample statements  (2) ,[object Object],[object Object],[object Object],[object Object]
Extracted 16 sample statements  (3) ,[object Object],[object Object],[object Object],[object Object]
Extracted 16 sample statements  (4) ,[object Object],[object Object],[object Object],[object Object]
Objective: Make policy ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
3 theoretical approaches are used ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Controlled Natural Languages ,[object Object],Man-eating shark Man eating shark
Attempto Controlled English (ACE) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sample translations to ACE ,[object Object],[object Object],[object Object],[object Object]
Detailed example of translation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Translation issues ,[object Object],[object Object],[object Object],[object Object],[object Object]
First Order Logic (FOL) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
ACE can be translated to FOL ,[object Object],[object Object]
ACE can also be translated to OWL! ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Applying FOL to the 16 sentences ,[object Object],[object Object],[object Object]
To fully determine consistency, need more granularity. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Recall our objectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Recall:  Arguments ,[object Object],[object Object],[object Object],[object Object],Arrow: premise
Graphing the Recycling Debate Arrow: premise Dashed arrow: attacks
Maximal consistent sets
Argumentation Framework for the Recycling Debate Arrow: attacks
I thought USERS were doing this?! ,[object Object]
ACEWiki aids input by clarification
Summary ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Questions for Future Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Relation to my work ,[object Object],[object Object],[object Object],[object Object]
Thank you! ,[object Object],[object Object],[object Object]
Using Controlled Natural Language and First Order Logic to improve e-consultation discussion forums (DERI reading group talk)
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
a1 = 1,3,4,9,10 ,[object Object],[object Object],[object Object],[object Object],[object Object]
a2 = 11,12,13 ,[object Object],[object Object],[object Object]
a3 = 2,5,6,7,8,14,15 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
a4 = 16  ,[object Object]
Research goals of IMPACT ,[object Object],[object Object],[object Object],[object Object]

Contenu connexe

En vedette

Social Semantic Web (Social Activity and Facebook)
Social Semantic Web (Social Activity and Facebook)Social Semantic Web (Social Activity and Facebook)
Social Semantic Web (Social Activity and Facebook)Myungjin Lee
 
Gamification for Sales Reps
Gamification for Sales RepsGamification for Sales Reps
Gamification for Sales RepsXactlyCorp
 
Community at Mobile Casinos
Community at Mobile CasinosCommunity at Mobile Casinos
Community at Mobile CasinosDroid Slots
 
The Social Semantic Web and Linked Data
The Social Semantic Web and Linked DataThe Social Semantic Web and Linked Data
The Social Semantic Web and Linked DataAlexandre Passant
 
Introduction to Gamification
Introduction to GamificationIntroduction to Gamification
Introduction to GamificationMedia Evolution
 
Semantic Wiki: Social Semantic Web in Use
Semantic Wiki: Social Semantic Web in UseSemantic Wiki: Social Semantic Web in Use
Semantic Wiki: Social Semantic Web in UseJesse Wang
 
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...Enabling reuse of arguments and opinions in open collaboration systems PhD vi...
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...jodischneider
 
Social Media and Scholarly Communication
Social Media and Scholarly CommunicationSocial Media and Scholarly Communication
Social Media and Scholarly CommunicationCrossref
 
The Social Semantic Web
The Social Semantic WebThe Social Semantic Web
The Social Semantic WebJohn Breslin
 
Increase your college’s visibility with content curation
Increase your college’s visibility with content curationIncrease your college’s visibility with content curation
Increase your college’s visibility with content curationHigher Education Marketing
 
PLNs, CoPs, and Connectivism
PLNs, CoPs, and ConnectivismPLNs, CoPs, and Connectivism
PLNs, CoPs, and ConnectivismDavid Mulder
 
The digital traces of user generated content
The digital traces of user generated contentThe digital traces of user generated content
The digital traces of user generated contentKatrin Weller
 
Using narratives in enterprise gamification for sales, training, service and ...
Using narratives in enterprise gamification for sales, training, service and ...Using narratives in enterprise gamification for sales, training, service and ...
Using narratives in enterprise gamification for sales, training, service and ...Centrical
 

En vedette (14)

Social Semantic Web (Social Activity and Facebook)
Social Semantic Web (Social Activity and Facebook)Social Semantic Web (Social Activity and Facebook)
Social Semantic Web (Social Activity and Facebook)
 
Gamification for Sales Reps
Gamification for Sales RepsGamification for Sales Reps
Gamification for Sales Reps
 
Community at Mobile Casinos
Community at Mobile CasinosCommunity at Mobile Casinos
Community at Mobile Casinos
 
The Social Semantic Web and Linked Data
The Social Semantic Web and Linked DataThe Social Semantic Web and Linked Data
The Social Semantic Web and Linked Data
 
Introduction to Gamification
Introduction to GamificationIntroduction to Gamification
Introduction to Gamification
 
Semantic Wiki: Social Semantic Web in Use
Semantic Wiki: Social Semantic Web in UseSemantic Wiki: Social Semantic Web in Use
Semantic Wiki: Social Semantic Web in Use
 
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...Enabling reuse of arguments and opinions in open collaboration systems PhD vi...
Enabling reuse of arguments and opinions in open collaboration systems PhD vi...
 
Social Media and Scholarly Communication
Social Media and Scholarly CommunicationSocial Media and Scholarly Communication
Social Media and Scholarly Communication
 
The Social Semantic Web
The Social Semantic WebThe Social Semantic Web
The Social Semantic Web
 
Increase your college’s visibility with content curation
Increase your college’s visibility with content curationIncrease your college’s visibility with content curation
Increase your college’s visibility with content curation
 
PLNs, CoPs, and Connectivism
PLNs, CoPs, and ConnectivismPLNs, CoPs, and Connectivism
PLNs, CoPs, and Connectivism
 
The digital traces of user generated content
The digital traces of user generated contentThe digital traces of user generated content
The digital traces of user generated content
 
About the Social Semantic Web
About the Social Semantic WebAbout the Social Semantic Web
About the Social Semantic Web
 
Using narratives in enterprise gamification for sales, training, service and ...
Using narratives in enterprise gamification for sales, training, service and ...Using narratives in enterprise gamification for sales, training, service and ...
Using narratives in enterprise gamification for sales, training, service and ...
 

Similaire à Using Controlled Natural Language and First Order Logic to improve e-consultation discussion forums (DERI reading group talk)

College Essay Example Summary Of Research Paper
College Essay Example Summary Of Research PaperCollege Essay Example Summary Of Research Paper
College Essay Example Summary Of Research PaperRebecca Buono
 
The Price To Become Green
The Price To Become GreenThe Price To Become Green
The Price To Become GreenToya Shamberger
 
Is Your House Killing You
Is Your House Killing You Is Your House Killing You
Is Your House Killing You v2zq
 
Richard Thaler Econs
Richard Thaler EconsRichard Thaler Econs
Richard Thaler EconsLorie Harris
 
Examples Of Autobiography Essay For College
Examples Of Autobiography Essay For CollegeExamples Of Autobiography Essay For College
Examples Of Autobiography Essay For CollegeVictoria Coleman
 
Prompt Engineering - an Art, a Science, or your next Job Title?
Prompt Engineering - an Art, a Science, or your next Job Title?Prompt Engineering - an Art, a Science, or your next Job Title?
Prompt Engineering - an Art, a Science, or your next Job Title?Maxim Salnikov
 
Essay On Global Environmental Issues And Problems
Essay On Global Environmental Issues And ProblemsEssay On Global Environmental Issues And Problems
Essay On Global Environmental Issues And ProblemsAllison Gilbert
 
Harvard Format Essay Sample. Online assignment writing service.
Harvard Format Essay Sample. Online assignment writing service.Harvard Format Essay Sample. Online assignment writing service.
Harvard Format Essay Sample. Online assignment writing service.Christina Gomez
 
Synthesis Essay Example Ap Language
Synthesis Essay Example Ap LanguageSynthesis Essay Example Ap Language
Synthesis Essay Example Ap LanguageVanessa Marin
 
Marketing Plan For A New Factory
Marketing Plan For A New FactoryMarketing Plan For A New Factory
Marketing Plan For A New FactoryMaggie Turner
 
How To Write A Peer Recommendation Let. Online assignment writing service.
How To Write A Peer Recommendation Let. Online assignment writing service.How To Write A Peer Recommendation Let. Online assignment writing service.
How To Write A Peer Recommendation Let. Online assignment writing service.Luicina Davis
 
Economic Growth
Economic GrowthEconomic Growth
Economic Growthkisnaneo
 
Argumentative Essay On Recycling.pdf
Argumentative Essay On Recycling.pdfArgumentative Essay On Recycling.pdf
Argumentative Essay On Recycling.pdfCarrie Brooks
 
Essay Roadmap Definition
Essay Roadmap DefinitionEssay Roadmap Definition
Essay Roadmap DefinitionRenee Spahn
 
Split Cherry Tree Essay
Split Cherry Tree EssaySplit Cherry Tree Essay
Split Cherry Tree EssayEmily Parrish
 
Evaluating The Performance Of E Waste Recycling Programs...
Evaluating The Performance Of E Waste Recycling Programs...Evaluating The Performance Of E Waste Recycling Programs...
Evaluating The Performance Of E Waste Recycling Programs...Adriana Wilson
 
3Environmental ImpactThe Big PictureThe planet’s .docx
3Environmental ImpactThe Big PictureThe planet’s .docx3Environmental ImpactThe Big PictureThe planet’s .docx
3Environmental ImpactThe Big PictureThe planet’s .docxgilbertkpeters11344
 
Eight Two-Centimeter Lab Report
Eight Two-Centimeter Lab ReportEight Two-Centimeter Lab Report
Eight Two-Centimeter Lab ReportGinger Martin
 
Essay Writing Workshops Sydney
Essay Writing Workshops SydneyEssay Writing Workshops Sydney
Essay Writing Workshops SydneyJacqueline Simpson
 

Similaire à Using Controlled Natural Language and First Order Logic to improve e-consultation discussion forums (DERI reading group talk) (20)

College Essay Example Summary Of Research Paper
College Essay Example Summary Of Research PaperCollege Essay Example Summary Of Research Paper
College Essay Example Summary Of Research Paper
 
The Price To Become Green
The Price To Become GreenThe Price To Become Green
The Price To Become Green
 
Is Your House Killing You
Is Your House Killing You Is Your House Killing You
Is Your House Killing You
 
Richard Thaler Econs
Richard Thaler EconsRichard Thaler Econs
Richard Thaler Econs
 
Examples Of Autobiography Essay For College
Examples Of Autobiography Essay For CollegeExamples Of Autobiography Essay For College
Examples Of Autobiography Essay For College
 
Prompt Engineering - an Art, a Science, or your next Job Title?
Prompt Engineering - an Art, a Science, or your next Job Title?Prompt Engineering - an Art, a Science, or your next Job Title?
Prompt Engineering - an Art, a Science, or your next Job Title?
 
Essay On Global Environmental Issues And Problems
Essay On Global Environmental Issues And ProblemsEssay On Global Environmental Issues And Problems
Essay On Global Environmental Issues And Problems
 
Harvard Format Essay Sample. Online assignment writing service.
Harvard Format Essay Sample. Online assignment writing service.Harvard Format Essay Sample. Online assignment writing service.
Harvard Format Essay Sample. Online assignment writing service.
 
Synthesis Essay Example Ap Language
Synthesis Essay Example Ap LanguageSynthesis Essay Example Ap Language
Synthesis Essay Example Ap Language
 
Marketing Plan For A New Factory
Marketing Plan For A New FactoryMarketing Plan For A New Factory
Marketing Plan For A New Factory
 
How To Write A Peer Recommendation Let. Online assignment writing service.
How To Write A Peer Recommendation Let. Online assignment writing service.How To Write A Peer Recommendation Let. Online assignment writing service.
How To Write A Peer Recommendation Let. Online assignment writing service.
 
Economic Growth
Economic GrowthEconomic Growth
Economic Growth
 
Argumentative Essay On Recycling.pdf
Argumentative Essay On Recycling.pdfArgumentative Essay On Recycling.pdf
Argumentative Essay On Recycling.pdf
 
Essay Roadmap Definition
Essay Roadmap DefinitionEssay Roadmap Definition
Essay Roadmap Definition
 
Split Cherry Tree Essay
Split Cherry Tree EssaySplit Cherry Tree Essay
Split Cherry Tree Essay
 
Model question paper_english_2
Model question paper_english_2Model question paper_english_2
Model question paper_english_2
 
Evaluating The Performance Of E Waste Recycling Programs...
Evaluating The Performance Of E Waste Recycling Programs...Evaluating The Performance Of E Waste Recycling Programs...
Evaluating The Performance Of E Waste Recycling Programs...
 
3Environmental ImpactThe Big PictureThe planet’s .docx
3Environmental ImpactThe Big PictureThe planet’s .docx3Environmental ImpactThe Big PictureThe planet’s .docx
3Environmental ImpactThe Big PictureThe planet’s .docx
 
Eight Two-Centimeter Lab Report
Eight Two-Centimeter Lab ReportEight Two-Centimeter Lab Report
Eight Two-Centimeter Lab Report
 
Essay Writing Workshops Sydney
Essay Writing Workshops SydneyEssay Writing Workshops Sydney
Essay Writing Workshops Sydney
 

Plus de jodischneider

Continued citation of bad science and what we can do about it--2021-04-20
Continued citation of bad science and what we can do about it--2021-04-20Continued citation of bad science and what we can do about it--2021-04-20
Continued citation of bad science and what we can do about it--2021-04-20jodischneider
 
Continued citation of bad science and what we can do about it--2021-02-19
Continued citation of bad science and what we can do about it--2021-02-19Continued citation of bad science and what we can do about it--2021-02-19
Continued citation of bad science and what we can do about it--2021-02-19jodischneider
 
The problems of post retraction citation - and mitigation strategies that wor...
The problems of post retraction citation - and mitigation strategies that wor...The problems of post retraction citation - and mitigation strategies that wor...
The problems of post retraction citation - and mitigation strategies that wor...jodischneider
 
Towards knowledge maintenance in scientific digital libraries with the keysto...
Towards knowledge maintenance in scientific digital libraries with the keysto...Towards knowledge maintenance in scientific digital libraries with the keysto...
Towards knowledge maintenance in scientific digital libraries with the keysto...jodischneider
 
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...jodischneider
 
Annotation examples--Fribourg--2019-09-03
Annotation examples--Fribourg--2019-09-03Annotation examples--Fribourg--2019-09-03
Annotation examples--Fribourg--2019-09-03jodischneider
 
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02Argumentation mining--an introduction for linguists--Fribourg--2019-09-02
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02jodischneider
 
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...jodischneider
 
Problem-citations--CrossrefLive18--2018-11-13
Problem-citations--CrossrefLive18--2018-11-13Problem-citations--CrossrefLive18--2018-11-13
Problem-citations--CrossrefLive18--2018-11-13jodischneider
 
Problematic citations--Workshop-on-Open-Citations--2018-09-03
Problematic citations--Workshop-on-Open-Citations--2018-09-03Problematic citations--Workshop-on-Open-Citations--2018-09-03
Problematic citations--Workshop-on-Open-Citations--2018-09-03jodischneider
 
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...jodischneider
 
Innovations in reasoning about health: the case of the Randomized Clinical Tr...
Innovations in reasoning about health: the case of the Randomized Clinical Tr...Innovations in reasoning about health: the case of the Randomized Clinical Tr...
Innovations in reasoning about health: the case of the Randomized Clinical Tr...jodischneider
 
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04jodischneider
 
Rhetorical moves and audience considerations in the discussion sections of ra...
Rhetorical moves and audience considerations in the discussion sections of ra...Rhetorical moves and audience considerations in the discussion sections of ra...
Rhetorical moves and audience considerations in the discussion sections of ra...jodischneider
 
Citation practices and the construction of scientific fact--ECA-facts-preconf...
Citation practices and the construction of scientific fact--ECA-facts-preconf...Citation practices and the construction of scientific fact--ECA-facts-preconf...
Citation practices and the construction of scientific fact--ECA-facts-preconf...jodischneider
 
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...jodischneider
 
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...jodischneider
 
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...Acquiring and representing drug-drug interaction knowledge and evidence, Litm...
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...jodischneider
 
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...jodischneider
 
Persons, documents, models: organising and structuring information for the We...
Persons, documents, models: organising and structuring information for the We...Persons, documents, models: organising and structuring information for the We...
Persons, documents, models: organising and structuring information for the We...jodischneider
 

Plus de jodischneider (20)

Continued citation of bad science and what we can do about it--2021-04-20
Continued citation of bad science and what we can do about it--2021-04-20Continued citation of bad science and what we can do about it--2021-04-20
Continued citation of bad science and what we can do about it--2021-04-20
 
Continued citation of bad science and what we can do about it--2021-02-19
Continued citation of bad science and what we can do about it--2021-02-19Continued citation of bad science and what we can do about it--2021-02-19
Continued citation of bad science and what we can do about it--2021-02-19
 
The problems of post retraction citation - and mitigation strategies that wor...
The problems of post retraction citation - and mitigation strategies that wor...The problems of post retraction citation - and mitigation strategies that wor...
The problems of post retraction citation - and mitigation strategies that wor...
 
Towards knowledge maintenance in scientific digital libraries with the keysto...
Towards knowledge maintenance in scientific digital libraries with the keysto...Towards knowledge maintenance in scientific digital libraries with the keysto...
Towards knowledge maintenance in scientific digital libraries with the keysto...
 
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...
Methods Pyramids as an Organizing Structure for Evidence-Based Medicine--SIGC...
 
Annotation examples--Fribourg--2019-09-03
Annotation examples--Fribourg--2019-09-03Annotation examples--Fribourg--2019-09-03
Annotation examples--Fribourg--2019-09-03
 
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02Argumentation mining--an introduction for linguists--Fribourg--2019-09-02
Argumentation mining--an introduction for linguists--Fribourg--2019-09-02
 
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...
Beyond Randomized Clinical Trials: emerging innovations in reasoning about he...
 
Problem-citations--CrossrefLive18--2018-11-13
Problem-citations--CrossrefLive18--2018-11-13Problem-citations--CrossrefLive18--2018-11-13
Problem-citations--CrossrefLive18--2018-11-13
 
Problematic citations--Workshop-on-Open-Citations--2018-09-03
Problematic citations--Workshop-on-Open-Citations--2018-09-03Problematic citations--Workshop-on-Open-Citations--2018-09-03
Problematic citations--Workshop-on-Open-Citations--2018-09-03
 
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...
Modeling Alzheimer’s Disease research claims, evidence, and arguments from a ...
 
Innovations in reasoning about health: the case of the Randomized Clinical Tr...
Innovations in reasoning about health: the case of the Randomized Clinical Tr...Innovations in reasoning about health: the case of the Randomized Clinical Tr...
Innovations in reasoning about health: the case of the Randomized Clinical Tr...
 
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04
Viewing universities as landscapes of scholarship, VIVO keynote, 2017-08-04
 
Rhetorical moves and audience considerations in the discussion sections of ra...
Rhetorical moves and audience considerations in the discussion sections of ra...Rhetorical moves and audience considerations in the discussion sections of ra...
Rhetorical moves and audience considerations in the discussion sections of ra...
 
Citation practices and the construction of scientific fact--ECA-facts-preconf...
Citation practices and the construction of scientific fact--ECA-facts-preconf...Citation practices and the construction of scientific fact--ECA-facts-preconf...
Citation practices and the construction of scientific fact--ECA-facts-preconf...
 
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...
What WikiCite can learn from biomedical citation networks--Wikicite2017--2017...
 
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...
Medication safety as a use case for argumentation mining, Dagstuhl seminar 16...
 
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...Acquiring and representing drug-drug interaction knowledge and evidence, Litm...
Acquiring and representing drug-drug interaction knowledge and evidence, Litm...
 
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...
Acquiring and representing drug-drug interaction knowledge and evidence, TRIA...
 
Persons, documents, models: organising and structuring information for the We...
Persons, documents, models: organising and structuring information for the We...Persons, documents, models: organising and structuring information for the We...
Persons, documents, models: organising and structuring information for the We...
 

Dernier

Basic Building Blocks of Internet of Things.
Basic Building Blocks of Internet of Things.Basic Building Blocks of Internet of Things.
Basic Building Blocks of Internet of Things.YounusS2
 
Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Commit University
 
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAAnypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAshyamraj55
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Will Schroeder
 
20230202 - Introduction to tis-py
20230202 - Introduction to tis-py20230202 - Introduction to tis-py
20230202 - Introduction to tis-pyJamie (Taka) Wang
 
UiPath Platform: The Backend Engine Powering Your Automation - Session 1
UiPath Platform: The Backend Engine Powering Your Automation - Session 1UiPath Platform: The Backend Engine Powering Your Automation - Session 1
UiPath Platform: The Backend Engine Powering Your Automation - Session 1DianaGray10
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPathCommunity
 
AI You Can Trust - Ensuring Success with Data Integrity Webinar
AI You Can Trust - Ensuring Success with Data Integrity WebinarAI You Can Trust - Ensuring Success with Data Integrity Webinar
AI You Can Trust - Ensuring Success with Data Integrity WebinarPrecisely
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...DianaGray10
 
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...Aggregage
 
Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsSeth Reyes
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1DianaGray10
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfDianaGray10
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding TeamAdam Moalla
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXTarek Kalaji
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostMatt Ray
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Adtran
 
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve Decarbonization
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve DecarbonizationUsing IESVE for Loads, Sizing and Heat Pump Modeling to Achieve Decarbonization
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve DecarbonizationIES VE
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesMd Hossain Ali
 

Dernier (20)

Basic Building Blocks of Internet of Things.
Basic Building Blocks of Internet of Things.Basic Building Blocks of Internet of Things.
Basic Building Blocks of Internet of Things.
 
Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)Crea il tuo assistente AI con lo Stregatto (open source python framework)
Crea il tuo assistente AI con lo Stregatto (open source python framework)
 
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPAAnypoint Code Builder , Google Pub sub connector and MuleSoft RPA
Anypoint Code Builder , Google Pub sub connector and MuleSoft RPA
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
 
20230202 - Introduction to tis-py
20230202 - Introduction to tis-py20230202 - Introduction to tis-py
20230202 - Introduction to tis-py
 
UiPath Platform: The Backend Engine Powering Your Automation - Session 1
UiPath Platform: The Backend Engine Powering Your Automation - Session 1UiPath Platform: The Backend Engine Powering Your Automation - Session 1
UiPath Platform: The Backend Engine Powering Your Automation - Session 1
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation Developers
 
AI You Can Trust - Ensuring Success with Data Integrity Webinar
AI You Can Trust - Ensuring Success with Data Integrity WebinarAI You Can Trust - Ensuring Success with Data Integrity Webinar
AI You Can Trust - Ensuring Success with Data Integrity Webinar
 
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
 
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
The Data Metaverse: Unpacking the Roles, Use Cases, and Tech Trends in Data a...
 
Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and Hazards
 
20150722 - AGV
20150722 - AGV20150722 - AGV
20150722 - AGV
 
Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1Secure your environment with UiPath and CyberArk technologies - Session 1
Secure your environment with UiPath and CyberArk technologies - Session 1
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBX
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™
 
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve Decarbonization
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve DecarbonizationUsing IESVE for Loads, Sizing and Heat Pump Modeling to Achieve Decarbonization
Using IESVE for Loads, Sizing and Heat Pump Modeling to Achieve Decarbonization
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
 

Using Controlled Natural Language and First Order Logic to improve e-consultation discussion forums (DERI reading group talk)

Notes de l'éditeur

  1. ==== Reading Group ==== *Presenter:* Jodi Schneider *Supervisor:* Alexandre Passant *date:* 7.9.2011 *time:* 11am - 12pm *location:* Conference Room *Title:* Using Controlled Natural Language and First Order Logic to Improve E-Consultation Discussion Forums *Abstract:* Online consultation has become a common way to increase participation in policy-making, yet ensuring that citizens' input is adequately understood remains challenging, since standard discussion forums offer few possibilities for structuring posts based on their meaning. This reading group will discuss efforts to structure the forums while retaining ease-of-use, based on a trio of papers from the IMPACT project [1]. The underlying idea is to construct possible policies by finding the maximal set of consistent viewpoints, since a policy statement must avoid internally contradictions (e.g. be consistent). The first paper is a requirements analysis, providing a justification and overview of the work they propose: adding structure with controlled natural language, argumentation frameworks, and user input of term relationships (e.g. "contradicts, "is premise of", or "is an exception to"). It also introduces a running example: 16 propositional statements, extracted from an online debate "Should people be paid to recycle?" [2], such as "Paying tax for garbage is unfair." or "No householder should pay tax for the garbage which the householder throws away." The statements from the running example are analyzed in the second paper, using a controlled natural language, Attempto Controlled English (ACE) [3], which are then modified in order to ensure that ACE can parse the sentences, and that they yield the intended interpretation. In order to derive possible policies, based on the sentences, the authors use a first-order inference engine to analyze the consistency of sets of sentences. They explore some of the problems they encountered. Extending that work, the third paper envisions using ACEWiki [4] to construct a consistent knowledge base incrementally, based on users' input and using the Pellet inference engine to test for consistency. It presents an argumentation framework for the recycling debate--a graph showing the relationships between the 16 sentences of the running example--in order to find the maximal set of consistent propositions, i.e. a possible policy. ==== based on ==== *Paper title:*A Framework for Enriched, Controlled On-line Discussion Forums for e-Government Policy-making *Authors:* Adam Wyner and Tom van Engers *Published at:* EGOVIS 2010 *Abstract:* The paper motivates and proposes a framework for enriched on-line discussion forums for e-government policy-making, where pro and con statements for positions are structured, recorded, represented, and evaluated. The framework builds on current technologies for multi-threaded discussion lists by integrating modes, natural language processing, ontologies, and formal argumentation frameworks. With modes other than the standard "reply comment", users specify the semantic relationship between a new statement and the previous statement; the result is an argument graph. Natural language processing with a controlled language constrains the domain of discourse, eliminates ambiguity and unclarity, allows a logical representation of statements, and facilitates information extraction. However, the controlled language is highly expressive and natural. Ontologies represent the knowledge of the domain. Argumentation frameworks evaluate the argument graph and generate sets of consistent statements. The output of the system is a rich and articulated representation of a set of policy statements which supports queries, information extraction, and inference. *Link:* http://wyner.info/research/Papers/WynerVanEngersForum2010.pdf *Paper title:* From Policy-making Statements to First-order Logic *Authors:* Adam Wyner, Tom van Enger, and Kiavash Bahreini. *Published at:* Electronic Government and Electronic Participation 2010 *Abstract:*Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically represented and evaluated. The framework builds on current technologies for multi-threaded discussion, natural language processing, ontologies, and formal argumentation frameworks. This paper focuses on the natural language processing of statements in the framework. A small sample policy discussion is presented. We adopt and apply a controlled natural language (Attempto Controlled English) to constrain the domain of discourse, eliminate ambiguity and unclarity, allow a logical representation of statements which supports inference and consistency checking, and facilitate information extraction. Each of the policy statements is automatically translated into first-order logic. The result is logical representation of the policy discussion which we can query, draw inferences (given ground statements), test for consistency, and extract detailed information. *Link:* http://wyner.info/research/Papers/WynerVanEngersBahreini2010.pdf *Paper title:* Towards Web-based Mass Argumentation in Natural Language *Authors:* Adam Wyner and Tom van Enger *Published at:* long version submitted to EKAW 2010 *Abstract:* Within the artificial intelligence community, argumentation has been studied for quite some years now. Despite progress, the field has not yet succeeded in creating support tools that members of the public could use to contribute their views to discussions of public policy. One important reason for that is that the input statements of participants in policy-making discussions are put forward in natural language, while translating the statements into the formal models used by argumentation scientists is cumbersome. These formal models can be used to automatically reason with, query, or transmit domain knowledge using web-based technologies. Making this knowledge explicit, formal, and expressed in a language which a machine can process is a labour, time, and knowledge intensive task. To make such translation and it requires expertise that most participants in policy-making debates do not have. In this paper we describe an approach with which we aim at contributing to a solution of this knowledge acquisition bottle-neck. We propose a novel, integrated methodology and framework which adopts and adapts existing technologies. We use semantic wikis which support mass, collaborative, distributive, dynamic knowledge acquisition. In particular, ACEWiki incorporates NLP tools, enabling linguistically competent users to enter their knowledge in natural language, while yielding a logical form that is suitable for automated processing. In the paper we will explain how we can extend the ACEWiki and augment it with argumentation tools which elicit knowledge from users, making implicit information explicit, and generate subsets of consistent knowledge bases from inconsistent knowledge bases. To a set of consistent propositions, we can apply automated reasoners, allowing users to draw inferences and make queries. The methodology and framework take a fragmentary, incremental development approach to knowledge acquisition in complex domains. *Link:* http://wyner.info/research/Papers/WynerVanEngersEKAW2010.pdf [1] http://www.policy-impact.eu/project-summary [2] http://newsforums.bbc.co.uk/nol/thread.jspa?forumID=7269 [3] http://attempto.ifi.uzh.ch/site/ [4] http://attempto.ifi.uzh.ch/acewiki/ ====Why you should attend?==== This is a very practical approach to overcoming the knowledge acquisition bottleneck while retaining ease-of-use, allowing information to be added by a wide range of non-experts. Controlled natural languages, first order logic reasoners, semantic wikis, and argumentation frameworks will be briefly introduced.
  2. Context: IMPACT Project, an FP7 program, “ Integrated Method for Policy Making Using Argument Modelling and Computer Assisted Text Analysis" http://www.policy-impact.eu/ “ The research goals of the project aim to further the state-of-the-art of computational models of argumentation about policy issues; contribute to computational linguistics by developing methods for mining arguments in natural language texts; discover ways to increase the inclusiveness and quality of public participation in consultation processes, in ways which cut across language barriers; and, finally, discover or invent user-interfaces and visualizations for computational models of policy argumentation which make these models accessible and usable to a broad public.” - http://www.policy-impact.eu/project-summary They’re developing a toolbox of 4 tools: an argument reconstruction tool, policy modelling and analysis tool, a structured consultation tool, an argument analysis, tracking and visualization tool.
  3. 700+ comments! http://newsforums.bbc.co.uk/nol/thread.jspa?forumID=7269&edition=2&ttl=20110906115945
  4. http://newsforums.bbc.co.uk/nol/thread.jspa?sortBy=2&forumID=7269&edition=2&ttl=20110906115945&#paginator Limitations of existing systems * Participant must understand (and specify) the relationships between statements * Statements cannot be context-dependent (e.g. where the conclusion of one argument is the premise of another argument) * The architecture is not modular (e.g. to allow an administrator to add different relationships or debate components) * "The linguistic content of the statements is unanalysed and unconstrained; that is, the statements are not parsed, or given a semantic interpretation, or required to be relevant and novel to the current discussion, or constrained in terms of terminology and length" * There is no formally specified argumentation semantics, which would allow determination of sets of consistent statements.
  5. Manual reading?!
  6. They don’t say how they extracted these – but they say Someone makes statement (1) Someone else gives (4) as a reason/premise for (1) Someone else gives (3) as an additional reason for (1) (2) Is a counterproposal with a range of supporting reasons
  7. They don’t say how they extracted these – but they say Someone makes statement (1) Someone else gives (4) as a reason/premise for (1) Someone else gives (3) as an additional reason for (1) (2) Is a counterproposal with a range of supporting reasons === Icons: http://findicons.com/icon/27954/girl_5?id=27964# http://findicons.com/icon/27930/boy_8?id=27939# http://findicons.com/icon/27955/girl_4?id=27965#
  8. However (4) is criticised by the claim that the Professor is not objective (11) (implying that his statement (9) does not hold) (16) attacks (15) – this is one of the premises of (2) [hence negates a premise]
  9. However (4) is criticised by the claim that the Professor is not objective (11) (implying that his statement (9) does not hold) (16) attacks (15) – this is one of the premises of (2) [hence negates a premise]
  10. However (4) is criticised by the claim that the Professor is not objective (11) (implying that his statement (9) does not hold) (16) attacks (15) – this is one of the premises of (2) [hence negates a premise]
  11. CNL & FOL details is where we get into the 2 nd paper -- From Policy-making Statements to First-order Logic.
  12. http://www.cafepress.com/+man_eating_shark_sticker_rectangle,410247547 http://www.movieposterdb.com/poster/730f3df5
  13. Note that this “intricate expression” simplifies coreference resolution: “A man… the man”
  14. Simplify lexicon & syntax. Avoid gerunds, participles, complex nouns. Make implicit knowledge explicit, state all relevant participants. Use determiners on nouns (some, a, every). Use possessive nouns, not pronouns. Full list of translations to ACE (1) Every household should pay some tax for the household’s garbage. (2) No household should pay some tax for the household’s garbage. (3) Every household which pays some tax for the household’s garbage increases an amount of the household’s garbage which the household recycles. (4) If a household increases an amount of the household’s garbage which the household recycles then the household benefits the household’s society. (5) If a household pays a tax for the household’s garbage then the tax is unfair to the household. (6) Every household should pay an equal portion of the sum of the tax for the household’s garbage. (7) No household which receives a benefit which is paid by a council recycles the household’s garbage. (8) Every household which does not receive a benefit which is paid by a council supports a household which receives a benefit which is paid by a council. (9) Tom says that every household which recycles the household’s garbage re- duces a need of a new dump which is for the garbage. (10) Every household which reduces a need of a new dump benefits the house- hold’s society. (11) Tom is not objective. (12) Tom owns a company that recycles some garbage. (13) Every person who owns a company that recycles some garbage earns some money from the garbage which is recycled. (14) Every supermarket creates some garbage. (15) Every supermarket should pay a tax for the garbage that the supermarket creates. (16) Every tax which is for some garbage which the supermarket creates is passed by the supermarket onto a household.
  15. Getting rid of modal verbs
  16. (Side note)
  17. This is where we get to the 3 rd paper: Towards Web-based Mass Argumentation in Natural Language
  18. They don’t say how they extracted these – but they say Someone makes statement (1) Someone else gives (4) as a reason/premise for (1) Someone else gives (3) as an additional reason for (1) (2) Is a counterproposal with a range of supporting reasons === Icons: http://findicons.com/icon/27954/girl_5?id=27964# http://findicons.com/icon/27930/boy_8?id=27939# http://findicons.com/icon/27955/girl_4?id=27965#
  19. a1 = 1,3,4,9,10 a2 = 11,12,13 a3 = 2,5,6,7,8,14,15 a4 = 16
  20. From http://attempto.ifi.uzh.ch/site/pubs/papers/semwiki2009_kuhn.pdf http://attempto.ifi.uzh.ch/acewiki/
  21. From http://attempto.ifi.uzh.ch/site/pubs/papers/semwiki2009_kuhn.pdf
  22. ACE was the main manual work
  23. Integrated Method for Policy Making Using Argument Modelling and Computer Assisted Text Analysis