SlideShare una empresa de Scribd logo
1 de 20
Applying Problem Solving Methods for Process Knowledge Acquisition, Representation, and Reasoning Jose Manuel Gómez-Pérez iSOCO, S.A [email_address] K-CAP 2007
The Halo Project ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
The Relevance of Process Knowledge ,[object Object],[object Object],[object Object],[object Object],[object Object]
Motivation ,[object Object],[object Object],[object Object],[object Object],[object Object]
Outline: Problem Solving Methods and Process Knowledge ,[object Object],[object Object],[object Object],[object Object],[object Object]
A Metamodel for Process Knowledge ,[object Object],[object Object],[object Object],[object Object],[object Object]
The Process Metamodel ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Using PSMs  for Process Knowledge ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Methodology ,[object Object],[object Object],[object Object],Identification Decomposition and abstraction
The PSM library for Process Modelling
A PSM example:  decompose & combine Combination, Byproduct output roles Recombination set, Decomposer, Combinator input roles combine output action decompose input action decompose, combine actions member(Recombination set, Element) and  member(Constituents set, Piece) and part-of(Piece, Element) and  part-of(Piece, Combination) and properties(Element, ep) and properties(Combination, cp) and  not equal(ep, cp) goal decompose & combine name
The Process Editor: Enabling SMEs to Formulate Process Knowledge Domain-level reasoning and control flow evaluation  Process metamodel PSM library (e.g.  decompose & recombine) Domain process to which this process diagram is bound Associated process explanation
Representation and Reasoning Formalism ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
The Frame Problem ,[object Object],[object Object]
Solving the Frame Problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Sample transition rule
Validating Process Knowledge: The Testing & Debugging Perspective Test set Query Test results
Evaluation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Evaluation Results ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conclusions and Future Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
iSOCO Valencia +34 96 3467143 Oficina 107 C/ Prof. Beltrán Báguena 4, 46009 Valencia iSOCO Barcelona +34 93 5677200 Edifici Testa A C/ Alcalde Barnils 64-68  St. Cugat del Vallès 08190 Barcelona iSOCO Madrid +34 91 3349797 C/Pedro de Valdivia, 10 28006  Madrid iSOCO http://www.isoco.com Jose Manuel Gómez-Pérez [email_address] #T  +34 91 334 9778 #M +34 609 077 103 Thanks for your attention!

Más contenido relacionado

Destacado

INACP News de 23Ago2015
INACP News de 23Ago2015INACP News de 23Ago2015
INACP News de 23Ago2015Paulo Moral
 
Рішення "Віртуальний музей"
Рішення "Віртуальний музей"Рішення "Віртуальний музей"
Рішення "Віртуальний музей"E_L_A_U
 
Dustin Todd Sample Work
Dustin Todd Sample WorkDustin Todd Sample Work
Dustin Todd Sample WorkUnderDogX
 
OWL reasoning with WebPIE: calculating the closer of 100 billion triples
OWL reasoning with WebPIE: calculating the closer of 100 billion triplesOWL reasoning with WebPIE: calculating the closer of 100 billion triples
OWL reasoning with WebPIE: calculating the closer of 100 billion triplesMahdi Atawneh
 
crop production ppt by sahil shaikh
crop production ppt by sahil shaikhcrop production ppt by sahil shaikh
crop production ppt by sahil shaikhSahil Shaikh
 
Ignite! Meme-ing the Innovative World of Learning
Ignite! Meme-ing the Innovative World of LearningIgnite! Meme-ing the Innovative World of Learning
Ignite! Meme-ing the Innovative World of LearningCammy Bean
 
Clustering CDS: algorithms, distances, stability and convergence rates
Clustering CDS: algorithms, distances, stability and convergence ratesClustering CDS: algorithms, distances, stability and convergence rates
Clustering CDS: algorithms, distances, stability and convergence ratesGautier Marti
 
How to Build a Proactive Candidate Sourcing Strategy
How to Build a Proactive Candidate Sourcing Strategy How to Build a Proactive Candidate Sourcing Strategy
How to Build a Proactive Candidate Sourcing Strategy Lever Inc.
 
Methods for Ontology Design Patterns reuse
Methods for Ontology Design Patterns reuseMethods for Ontology Design Patterns reuse
Methods for Ontology Design Patterns reuseValentina Presutti
 
ภาคสนามชั้น 8
ภาคสนามชั้น 8 ภาคสนามชั้น 8
ภาคสนามชั้น 8 Orange Wongwaiwit
 
Smart Industry Newsletter Vol.28
Smart Industry Newsletter Vol.28Smart Industry Newsletter Vol.28
Smart Industry Newsletter Vol.28Chanpen Thawornsak
 
Security and Privacy on the Web in 2016
Security and Privacy on the Web in 2016Security and Privacy on the Web in 2016
Security and Privacy on the Web in 2016Francois Marier
 
On Clustering Financial Time Series - Beyond Correlation
On Clustering Financial Time Series - Beyond CorrelationOn Clustering Financial Time Series - Beyond Correlation
On Clustering Financial Time Series - Beyond CorrelationGautier Marti
 
What is knowledge representation and reasoning ?
What is knowledge representation and reasoning ?What is knowledge representation and reasoning ?
What is knowledge representation and reasoning ?Anant Soft Computing
 
Gdit 726 education in a global society, south korea
Gdit 726 education in a global society, south koreaGdit 726 education in a global society, south korea
Gdit 726 education in a global society, south koreaemtinanalqurashi
 

Destacado (18)

INACP News de 23Ago2015
INACP News de 23Ago2015INACP News de 23Ago2015
INACP News de 23Ago2015
 
Рішення "Віртуальний музей"
Рішення "Віртуальний музей"Рішення "Віртуальний музей"
Рішення "Віртуальний музей"
 
WISE Pune
WISE PuneWISE Pune
WISE Pune
 
Diseño Grafico Integral
Diseño Grafico IntegralDiseño Grafico Integral
Diseño Grafico Integral
 
Dustin Todd Sample Work
Dustin Todd Sample WorkDustin Todd Sample Work
Dustin Todd Sample Work
 
OWL reasoning with WebPIE: calculating the closer of 100 billion triples
OWL reasoning with WebPIE: calculating the closer of 100 billion triplesOWL reasoning with WebPIE: calculating the closer of 100 billion triples
OWL reasoning with WebPIE: calculating the closer of 100 billion triples
 
crop production ppt by sahil shaikh
crop production ppt by sahil shaikhcrop production ppt by sahil shaikh
crop production ppt by sahil shaikh
 
Ignite! Meme-ing the Innovative World of Learning
Ignite! Meme-ing the Innovative World of LearningIgnite! Meme-ing the Innovative World of Learning
Ignite! Meme-ing the Innovative World of Learning
 
Clustering CDS: algorithms, distances, stability and convergence rates
Clustering CDS: algorithms, distances, stability and convergence ratesClustering CDS: algorithms, distances, stability and convergence rates
Clustering CDS: algorithms, distances, stability and convergence rates
 
How to Build a Proactive Candidate Sourcing Strategy
How to Build a Proactive Candidate Sourcing Strategy How to Build a Proactive Candidate Sourcing Strategy
How to Build a Proactive Candidate Sourcing Strategy
 
Methods for Ontology Design Patterns reuse
Methods for Ontology Design Patterns reuseMethods for Ontology Design Patterns reuse
Methods for Ontology Design Patterns reuse
 
ภาคสนามชั้น 8
ภาคสนามชั้น 8 ภาคสนามชั้น 8
ภาคสนามชั้น 8
 
Smart Industry Newsletter Vol.28
Smart Industry Newsletter Vol.28Smart Industry Newsletter Vol.28
Smart Industry Newsletter Vol.28
 
Security and Privacy on the Web in 2016
Security and Privacy on the Web in 2016Security and Privacy on the Web in 2016
Security and Privacy on the Web in 2016
 
On Clustering Financial Time Series - Beyond Correlation
On Clustering Financial Time Series - Beyond CorrelationOn Clustering Financial Time Series - Beyond Correlation
On Clustering Financial Time Series - Beyond Correlation
 
Introduction To Seo
Introduction To SeoIntroduction To Seo
Introduction To Seo
 
What is knowledge representation and reasoning ?
What is knowledge representation and reasoning ?What is knowledge representation and reasoning ?
What is knowledge representation and reasoning ?
 
Gdit 726 education in a global society, south korea
Gdit 726 education in a global society, south koreaGdit 726 education in a global society, south korea
Gdit 726 education in a global society, south korea
 

Similar a Halo Pcs Kcap2007 V2

Simulating Enterprise Architecture Models
Simulating Enterprise Architecture Models Simulating Enterprise Architecture Models
Simulating Enterprise Architecture Models balbirbarn
 
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLSSBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLScsandit
 
B2 2006 sizing_benchmarking
B2 2006 sizing_benchmarkingB2 2006 sizing_benchmarking
B2 2006 sizing_benchmarkingSteve Feldman
 
B2 2006 sizing_benchmarking (1)
B2 2006 sizing_benchmarking (1)B2 2006 sizing_benchmarking (1)
B2 2006 sizing_benchmarking (1)Steve Feldman
 
Engineering Ambient Intelligence Systems using Agent Technology
Engineering Ambient Intelligence Systems using Agent TechnologyEngineering Ambient Intelligence Systems using Agent Technology
Engineering Ambient Intelligence Systems using Agent TechnologyNikolaos Spanoudakis
 
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS cscpconf
 
Mturi licentiate presentation
Mturi licentiate presentationMturi licentiate presentation
Mturi licentiate presentationpajo01
 
Situational Method Engineering
Situational Method EngineeringSituational Method Engineering
Situational Method EngineeringAnatoly Levenchuk
 
A Framework For Unifying Problem-Solving Knowledge And Workflow Modelling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModellingA Framework For Unifying Problem-Solving Knowledge And Workflow Modelling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModellingAndrew Parish
 
A Framework For Unifying Problem-Solving Knowledge And Workflow Modeling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModelingA Framework For Unifying Problem-Solving Knowledge And Workflow Modeling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModelingLinda Garcia
 
UNIT V TESTING.pptx
UNIT V TESTING.pptxUNIT V TESTING.pptx
UNIT V TESTING.pptxanguraju1
 
Unit-1_Notes(OOAD).pdf
Unit-1_Notes(OOAD).pdfUnit-1_Notes(OOAD).pdf
Unit-1_Notes(OOAD).pdfganeshkarthy
 
15 object orienteddesign
15 object orienteddesign15 object orienteddesign
15 object orienteddesignrandhirlpu
 
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...guest070fdd
 
Modeling Search Computing Applications
Modeling Search Computing ApplicationsModeling Search Computing Applications
Modeling Search Computing ApplicationsMarco Brambilla
 
Object Oriented Design
Object Oriented DesignObject Oriented Design
Object Oriented DesignAMITJain879
 
Cybernetics in supply chain management
Cybernetics in supply chain managementCybernetics in supply chain management
Cybernetics in supply chain managementLuis Cabrera
 
Process Definition Management using ISA-88 and BatchML
Process Definition Management using ISA-88 and BatchMLProcess Definition Management using ISA-88 and BatchML
Process Definition Management using ISA-88 and BatchMLPaul Wlodarczyk
 

Similar a Halo Pcs Kcap2007 V2 (20)

Simulating Enterprise Architecture Models
Simulating Enterprise Architecture Models Simulating Enterprise Architecture Models
Simulating Enterprise Architecture Models
 
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLSSBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
 
B2 2006 sizing_benchmarking
B2 2006 sizing_benchmarkingB2 2006 sizing_benchmarking
B2 2006 sizing_benchmarking
 
B2 2006 sizing_benchmarking (1)
B2 2006 sizing_benchmarking (1)B2 2006 sizing_benchmarking (1)
B2 2006 sizing_benchmarking (1)
 
Engineering Ambient Intelligence Systems using Agent Technology
Engineering Ambient Intelligence Systems using Agent TechnologyEngineering Ambient Intelligence Systems using Agent Technology
Engineering Ambient Intelligence Systems using Agent Technology
 
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
SBML FOR OPTIMIZING DECISION SUPPORT'S TOOLS
 
Mturi licentiate presentation
Mturi licentiate presentationMturi licentiate presentation
Mturi licentiate presentation
 
Situational Method Engineering
Situational Method EngineeringSituational Method Engineering
Situational Method Engineering
 
A Framework For Unifying Problem-Solving Knowledge And Workflow Modelling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModellingA Framework For Unifying Problem-Solving Knowledge And Workflow Modelling
A Framework For Unifying Problem-Solving Knowledge And Workflow Modelling
 
A Framework For Unifying Problem-Solving Knowledge And Workflow Modeling
A Framework For Unifying Problem-Solving Knowledge And Workflow ModelingA Framework For Unifying Problem-Solving Knowledge And Workflow Modeling
A Framework For Unifying Problem-Solving Knowledge And Workflow Modeling
 
UNIT V TESTING.pptx
UNIT V TESTING.pptxUNIT V TESTING.pptx
UNIT V TESTING.pptx
 
Unit-1_Notes(OOAD).pdf
Unit-1_Notes(OOAD).pdfUnit-1_Notes(OOAD).pdf
Unit-1_Notes(OOAD).pdf
 
15 object orienteddesign
15 object orienteddesign15 object orienteddesign
15 object orienteddesign
 
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...
Transforming Technology Transfer and Recipe Management: From Spreadsheets to ...
 
Modeling Search Computing Applications
Modeling Search Computing ApplicationsModeling Search Computing Applications
Modeling Search Computing Applications
 
Object Oriented Design
Object Oriented DesignObject Oriented Design
Object Oriented Design
 
-linkedin
-linkedin-linkedin
-linkedin
 
Cybernetics in supply chain management
Cybernetics in supply chain managementCybernetics in supply chain management
Cybernetics in supply chain management
 
Les week 7 BPM
Les week 7 BPMLes week 7 BPM
Les week 7 BPM
 
Process Definition Management using ISA-88 and BatchML
Process Definition Management using ISA-88 and BatchMLProcess Definition Management using ISA-88 and BatchML
Process Definition Management using ISA-88 and BatchML
 

Más de Jose Manuel Gómez-Pérez

Más de Jose Manuel Gómez-Pérez (9)

Science religion-dsmeetupv1.0
Science religion-dsmeetupv1.0Science religion-dsmeetupv1.0
Science religion-dsmeetupv1.0
 
Scientific data management from the lab to the web
Scientific data management   from the lab to the webScientific data management   from the lab to the web
Scientific data management from the lab to the web
 
Trust and linked data jmgomez-v1.1
Trust and linked data jmgomez-v1.1Trust and linked data jmgomez-v1.1
Trust and linked data jmgomez-v1.1
 
Acquisition And Understanding Of Process Knowledgev1 1
Acquisition And Understanding Of Process Knowledgev1 1Acquisition And Understanding Of Process Knowledgev1 1
Acquisition And Understanding Of Process Knowledgev1 1
 
NeOn: Lifecycle Support for Networked Ontologies - Case Studies in the Pharma...
NeOn: Lifecycle Support for Networked Ontologies - Case Studies in the Pharma...NeOn: Lifecycle Support for Networked Ontologies - Case Studies in the Pharma...
NeOn: Lifecycle Support for Networked Ontologies - Case Studies in the Pharma...
 
Next Challenges in Corporate Knowledge Management
Next Challenges in Corporate Knowledge ManagementNext Challenges in Corporate Knowledge Management
Next Challenges in Corporate Knowledge Management
 
Provenance: From e-Science to the Web Of Data
Provenance: From e-Science to the Web Of DataProvenance: From e-Science to the Web Of Data
Provenance: From e-Science to the Web Of Data
 
Tecnologías Semánticas en Salud
Tecnologías Semánticas en SaludTecnologías Semánticas en Salud
Tecnologías Semánticas en Salud
 
Provenance and Trust
Provenance and TrustProvenance and Trust
Provenance and Trust
 

Último

From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .Alan Dix
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):comworks
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenDevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenHervé Boutemy
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteDianaGray10
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsSergiu Bodiu
 
DSPy a system for AI to Write Prompts and Do Fine Tuning
DSPy a system for AI to Write Prompts and Do Fine TuningDSPy a system for AI to Write Prompts and Do Fine Tuning
DSPy a system for AI to Write Prompts and Do Fine TuningLars Bell
 
What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024Stephanie Beckett
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.Curtis Poe
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr BaganFwdays
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfRankYa
 

Último (20)

From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):
 
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxE-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenDevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache Maven
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platforms
 
DSPy a system for AI to Write Prompts and Do Fine Tuning
DSPy a system for AI to Write Prompts and Do Fine TuningDSPy a system for AI to Write Prompts and Do Fine Tuning
DSPy a system for AI to Write Prompts and Do Fine Tuning
 
What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL Certs
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
 
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special EditionDMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdf
 

Halo Pcs Kcap2007 V2

  • 1. Applying Problem Solving Methods for Process Knowledge Acquisition, Representation, and Reasoning Jose Manuel Gómez-Pérez iSOCO, S.A [email_address] K-CAP 2007
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10. The PSM library for Process Modelling
  • 11. A PSM example: decompose & combine Combination, Byproduct output roles Recombination set, Decomposer, Combinator input roles combine output action decompose input action decompose, combine actions member(Recombination set, Element) and member(Constituents set, Piece) and part-of(Piece, Element) and part-of(Piece, Combination) and properties(Element, ep) and properties(Combination, cp) and not equal(ep, cp) goal decompose & combine name
  • 12. The Process Editor: Enabling SMEs to Formulate Process Knowledge Domain-level reasoning and control flow evaluation Process metamodel PSM library (e.g. decompose & recombine) Domain process to which this process diagram is bound Associated process explanation
  • 13.
  • 14.
  • 15.
  • 16. Validating Process Knowledge: The Testing & Debugging Perspective Test set Query Test results
  • 17.
  • 18.
  • 19.
  • 20. iSOCO Valencia +34 96 3467143 Oficina 107 C/ Prof. Beltrán Báguena 4, 46009 Valencia iSOCO Barcelona +34 93 5677200 Edifici Testa A C/ Alcalde Barnils 64-68 St. Cugat del Vallès 08190 Barcelona iSOCO Madrid +34 91 3349797 C/Pedro de Valdivia, 10 28006 Madrid iSOCO http://www.isoco.com Jose Manuel Gómez-Pérez [email_address] #T +34 91 334 9778 #M +34 609 077 103 Thanks for your attention!

Notas del editor

  1. Analysis of AP syllabus resulted into a number of knowledge types
  2. Processes are special concepts that…
  3. Partially inspired by existing process ontologies e.g. EO, GLIF Many of these preexisting resources were domain specific. We abstracted them for a generic use and completed the remnants
  4. First two points of the slide: We intended to produce a PSM library which allows describing a particular process and also providing the means to reason about and solve process-related problems. Therefore, we have approached processes as special types of problems and PSM as the way to represent and solve them.
  5. Two main phases: Identification of domain-specific processes in the syllabi Decomposition and abstraction of the domain-specific processes into domain-independent processes expressed in terms of the metamodel
  6. Each process category specialized into a number of generic, abstract processes, which can be achieved by one or more PSM.
  7. We focus on one of the methods of the “Split” category: “decompose & recombine”
  8. The Process Editor allows SMEs to author themselves process knowledge without intervention of Knowledge Engineers Graphical representations of process metamodel entities and methods of the PSM library provide SMEs with guidance during Knowledge Formulation and avoid the blank page syndrome The components of a process diagram are first modelled by choosing a role of the process metamodel from the palette. Then, these components are mapped to concrete domain entities by means of the interface shown. In the example, domain-level concept Ionic Compound is modelled as a process metamodel Resource . This perspective allows importing rules into process actions enabling domain-level reasoning within processes
  9. FLogic representation and reasoning language Process diagrams authored by SMEs using the process metamodel and the PSM library are automatically translated into FLogic (OntoBroker) code
  10. The frame of action “Dissolve” is comprised by all the “Ionic Compounds” of the Solutions contained in the knowledge base. However, action “Crystallize” is applicable exclusively to the “Cations” and “Anions” produced by action “Dissolve”.
  11. The execution of an action allows transition from its pre to its post state
  12. Though process knowledge is accessible via the overall Question Formulation system, the most comfortable and complete way to use the authored process knowledge is by means of the test & debugging perspective, which executes queries and is also helpful to validate the formulated knowledge bases.
  13. Performed in the context of the overall Halo evaluation. This explains why some parts of the syllabus showed not very representative for processes, while their domains are actually very rich in this kind of knowledge. The intermediate evaluation is not to be understood as a usability test in a formative sense, but as an empirical assessment of DarkMatter’s performance in a setting that is representative, in terms of the profile of recruited SMEs and their assigned tasks. In the case of PCS, since our approach is focused on enabling SMEs to model executable processes at the knowledge level without intervention of KEs, the evaluation was specially aimed towards collecting direct experience of SMEs on PCS knowledge formulation and reasoning. This was measured according to two main dimensions: usability and utility. These metrics must be modulated by the actual relevance of the PCS knowledge type with respect to the selected syllabi, which we measured in terms of the number of issues raised by SMEs on PCS in specific domains and the number of processes modeled by SMEs in each domain.
  14. Physics SMEs did not use processes Not so important for Chemistry SMEs but… Biology SMEs found it very useful with a score of 3 out of 4. Being the domain with a more representative amount of process knowledge in the evaluation syllabus (the selected Chemistry and Physics syllabi contained a negligible amount of process knowledge) this mark can be considered representative as well.
  15. Key Concepts: Encapsulation Reusability: small number of entities and PSMs in metamodel and library which can be reused (generic enough) and aligned with particular domains of application SMEs building KBs instead of KEs (mess up domain KBs and are expensive) They know the domain and are willing to formalize this knowledge Ex: heart inheriting from diaphragm pump. Inheritance is not always a good idea (e.g. one chamber a the pump, four in the heart) Process diagrams can be easily moved from one domain to a different one where an analogous process happens. Data Flow view simplifies visualization and keeps representation to the Process-level (unlike in Aura) Similarities with CLib (Ken Barker) To provide SMEs with the means required to acquire , formally represent and reason about processes in the target domains by Creating an abstract process metamodel that supports these tasks Supporting the creation and edition of user-tailored process diagrams based on this terminology, without intervention of knowledge engineers Automatically translating process diagrams into executable code Based on Problem Solving Methods (PSM) , which represent an abstract formalization of the reasoning strategies needed for processes