A Broad View Knowledge Engineering Competition Roman Barták Charles University, Prague What can we.

Slides:



Advertisements
Similar presentations
Convegno Progetto FIRB LSNO – Capri 19/20 aprile ESOPO: an Environment for Solving Optimization Problems Online M. DApuzzo *, M.L. De Cesare **,
Advertisements

Robust Window-based Multi-node Technology- Independent Logic Minimization Jeff L.Cobb Kanupriya Gulati Sunil P. Khatri Texas Instruments, Inc. Dept. of.
GUI Testing By Norbert Haché. Contents b What is GUI testing b Elements of GUI testing b Old Approach (TRUMP Project) b Scripting b Capture / Replay b.
On the Boundary of Planning and Scheduling: A Study Roman Barták Charles University, Prague
Firewall Query Engine and Firewall Comparison Engine Mohamed Gouda Alex X. Liu Computer Science Department The University of Texas at Austin.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
2 We need programming languages to communicate with a computer. The two broad classifications of programming languages are: Low-level and High- level.
ICKEP International Competition for Knowledge Engineering in Planning - A PROPOSAL Lee McCluskey KE TCU.
Spreadsheet Management. Field Interviews with Senior Managers by Caulkins et. al. (2007) report that Spreadsheet errors are common and have been observed.
Knowledge and Systems Research Group, University of Huddersfield B vs OCL: Comparing Specification Languages for Planning Domains Diane Kitchin, Lee McCluskey,
Lecture 14 Go over midterm results Algorithms Efficiency More on prime numbers.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
School of Computing and Mathematics, University of Huddersfield Knowledge Engineering: Issues for the Planning Community Lee McCluskey Department of Computing.
& CLP Group at Charles Uni. Roman Barták Charles University, Prague PLANSERVE.
ICKEP International Competition for Knowledge Engineering in Planning Lee McCluskey PLANET Knowledge Engineering.
© 2005 Prentice Hall, Decision Support Systems and Intelligent Systems, 7th Edition, Turban, Aronson, and Liang 3-1 Chapter 3 Decision Support Systems:
Integrity through Visibility - End user Application Software.
July 29, 2007Community Modeling - Shine Useful Community Modeling Capabilities – One Perspective J. Todd Hoeksema Shine 2007.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
Matthew J Mattia CSC  Cumbersome Code  Consistent/Predictable design (GUEPs #5, CD’s #10)  Display “proper” amount of information  Including.
Your Interactive Guide to the Digital World Discovering Computers 2012.
Software Engineering 2003 Jyrki Nummenmaa 1 REQUIREMENT SPECIFICATION Today: Requirements Specification Requirements tell us what the system should.
1 Welcome The Design Process Engineering Design. 2 Today’s Learning Outcomes By the completion of today's meeting, students should be able to: Prescribe.
Chapter 10 Artificial Intelligence. © 2005 Pearson Addison-Wesley. All rights reserved 10-2 Chapter 10: Artificial Intelligence 10.1 Intelligence and.
SE-02 SOFTWARE ENGINEERING LECTURE 3 Today: Requirements Analysis Requirements tell us what the system should do - not how it should do it. Requirements.
Development and Impact of Software Solutions Application of software development approaches.
 Knowledge Acquisition  Machine Learning. The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
PLANSERVE - overview of an EU proposal for the “Future and Emerging Technologies” Program Lee McCluskey Artform Research.
SITUATION ANALYSIS. CONTENT Why do we do a situation analysis? What needs to be achieved? Steps in development of the Situation analysis Defining provisional.
Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Software Confederations and the Maintenance of Global Software Systems Jaroslav Král, Michal Žemlička Charles University, Prague
CS62S: Expert Systems Requirements Specification and Design Based on Chap. 12: The Engineering of Knowledge-based Systems: Theory and Practice, A. J. Gonzalez.
ASys: Demo Problem to solve ASys (Assessment system) Analisys of the properties Architecture of the system DFD to mark one exam Testing using test cases.
WEEK INTRODUCTION CSC426 SOFTWARE ENGINEERING.
Chapter 5: Software Re-Engineering Omar Meqdadi SE 3860 Lecture 5 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
OHTO -01 SOFTWARE ENGINEERING LECTURE 3 Today: Requirements Analysis Requirements tell us what the system should do - not how it should do it.
Testing and Evaluating Software Solutions Reporting on the Testing Process.
Methods of Software Development Karl Lieberherr Spring 2007.
Decision Support Systems: An Overview by Dr.S.Sridhar,Ph.D., RACI(Paris),RZFM(Germany),RMR(USA),RIEEEProc. web-site :
CSI 1340 Introduction to Computer Science II Chapter 1 Software Engineering Principles.
Expert System Participants
Requirements Engineering Requirements Validation and Management Lecture-24.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
ANALYSIS PHASE OF BUSINESS SYSTEM DEVELOPMENT METHODOLOGY.
Conceptual Models for Combined Planning and Scheduling Roman Barták Charles University, Prague
Using the Tool for schools to quality assure an assessment instrument.
How can Data Analytics help the Agri Sector? Dr Andrew McCarren Suzanne McCarthy.
1 Object-Oriented Programming Using C++ CLASS 17 Honors.
 Problem Analysis  Coding  Debugging  Testing.
The PLA Model: On the Combination of Product-Line Analyses 강태준.
Process engineering Quality controls.
Chapter 3 Decision Support Systems: An Overview
Software Testing Strategies for building test group
Word Problems Involving Ratios
Chapter 12 Section 1.
Lexical and Syntax Analysis
Lecture 2 Introduction to Programming
Continuous Automated Chatbot Testing
Introduction to Problem Solving
Assistive System Progress Report 1
Chapter 1 (pages 4-9); Overview of SDLC
Vendor Optimizer Part of Radar/Space-Time
CSc4730/6730 Scientific Visualization
System Analysis and Design
Research activities.
Chapter 3 Decision Support Systems: An Overview
Overview Activities from additional UP disciplines are needed to bring a system into being Implementation Testing Deployment Configuration and change management.
SIDE: The Summarization IDE
Overview of Computer system
System Model Acquisition from Requirements Text
Presentation transcript:

A Broad View Knowledge Engineering Competition Roman Barták Charles University, Prague What can we do in addition to solving?

KE Competition, Roman Barták The role of a formal model a formal model GUI modelling solver output machinery ERP benchmarks

KE Competition, Roman Barták Modelling tools Assist the user to formulate formally the problem Automatic model extraction Solver-independent! Formal modelling languages Formal modelling languages Expressivity what features can be modelled Built-in robustness prevent users to make wrong models Translators be compatible with other modelling frameworks Model validation Model validation Identifying problems that make the model unsolvable Model visualisation Model visualisation

KE Competition, Roman Barták Pre-solving tools Assist the solver to find solution more effectively Solver dependent! Model pre-processing Model pre-processing Converting model to equivalent model that is easier to solve –Input: model –Output: equivalent but easier to solve model –Requires: modelling framework + solver Model analysing Model analysing Extracting heuristics and other info for the solver –Input: model –Output: heuristics for the solver –Requires: modelling framework that supports expressing heuristics + solver

KE Competition, Roman Barták Other tools Audit Audit Validating plans/schedules –Input: model + plan –Output: list of inconsistencies –Requires: modelling framework + specification of inconsistencies Modelling by examples Modelling by examples Assist the user when changing the model to remove some unwanted features of the output plan –Input: model + plan + list of „inconsistencies“ –Output: modified model –Requires: modelling framework + specification of inconsistencies

KE Competition, Roman Barták Competition CategoryInputOutputCriteriaComment modellersproblem (NL or DB) modelExpressivity Support by solvers Solver independent Subjective for NL validatorsmodelbugsNumber of found bugs Solver independent pre-processorsmodel Efficiency Output quality Solver dependent analysersmodelheuristicsEfficiency Output quality Solver dependent integratedproblemAll we can deduce

ICKEP ends where IPC starts

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.