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...