Prologa Jan Vanthienen, K.U.Leuven Modeling decision tables PrologaProloga

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven PrologaProloga

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Katholieke Universiteit Leuven Department of Applied Economics LIRIS Leuven Institute for Research on Information Systems

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Computer supported  Design  Validation  Manipulation  Use, and  Transformation of Decision tables Prologa (PROcedural Logic Analyzer)

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Importance and applications 1. Conditional logic – systems analysis – business rules – software engineering – procedures, texts, regulations – test case specifications

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Importance and applications 2. Knowledge-based systems  Knowledge acquisition  Validation and verification of knowledge systems (consistency, completeness, correctness)  Implementation of decision logic

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven PROcedural Logic Analyzer

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Emphasis on:  Interactive specification of decision logic  User friendly and automatic manipulations  Automatic verification and validation  Interfaces to various representations (trees, code, rules)  Optimizations

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven ImplementationAcquisitionModeling An integrated development approach

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Research topics: a)Knowledge base decomposition (modularisation) clustering, factoring b)Filling incomplete knowledge Induction algorithms (ID3), Neural networks c)Visual Modeling d)Fuzzy DTs Fuzzy conditions, actions, implications Fuzzy decision making Fuzzy V&V e)Temporal aspects f)Constructed negation ModelingModeling

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven OptimizationOptimization Research topics: a)Optimal table contraction (rule reduction) Contraction: min # columns (given condition order) Optimal order: min # columns (with ordering constraints) b)Optimal test sequences (decision tree) (given condition test times and column frequencies). c)Minimization of rules per action rewriting specifications d)Comparison of decision tree induction with the generation of optimal execution trees e)Developing heuristic algorithms

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven ImplementationImplementation Research topics: a)The choice: trees, rules,... b)KBS performance c)Integration with OO d)Generating applications e)Descriptive theories of the relationship between visual querying and decision making performance

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Modeling Basic Modeling Process Basic Modeling Process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven  Start new table  Input conditions and actions  Input decision rules  Display table  Optimize table Basic modeling process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Start new table

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven  Start new table  Input conditions and actions  Input decision rules  Display table  Optimize table Basic modeling process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Detecting decision criteria, relevant states and possible outcomes Conditions and actions

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Action and condition input

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven  Start new table  Input conditions and actions  Input decision rules  Display table  Optimize table Basic modeling process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Decision rules Relations between decision criteria and actions to be be executed: – General rules, exceptions,... – Based upon starting text, interview, examples, etc.

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Decision rules Action(s) IF Condition combination(s) Various refinements: – Generally if – If and only if – Always if – Only possible if – Impossible if –...

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Decision rule input

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven  Start new table  Input conditions and actions  Input decision rules  Display table  Optimize table Basic modeling process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Table display

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Expanded table

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Verification & Validation Automatic checking for: n Completeness n Consistency n Correctness n Redundant conditions n Redundant actions n Redundant combinations

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Avoiding contradictions

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Verification report

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Various manipulations  Add, update, delete, reorder conditions and actions ==> immediately reflected in table  Table layout

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven  Start new table  Input conditions and actions  Input decision rules  Display table  Optimize table Basic modeling process

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Various optimizations Layout Contraction Optimal condition order Optimal execution time Optimal rules

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Contracted decision table

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Modeling Additional features

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Additional features 4 Fill by mouse 4 Table manipulation 4 Automatic verification 4 Optimal contraction 4 Action and condition dictionary 4 Table structures 4 Interface features 4 Consultation of tables

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Fill by mouse

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Fuzzy tables

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Import from MS Excel

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Import from MS Excel

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Decision Tree

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Export options

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Pascal generation

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven COBOL generation

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven AionDS table generation

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Optimal execution code

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Minimal rules

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Modeling Structures of decision tables

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Structures of decision tables

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Decision table modularization

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Verification between tables

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Consultation of the knowledge Consultation environment

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Tables (logic) Text, explanation multimedia Consultation mechanism Application

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Filling in criteria

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven Result of the consultation

Introduction Applications Basic functions Features Interfaces Structures Consultation Prologa Jan Vanthienen, K.U.Leuven...