The document discusses semantic decision tables (SDTs), which combine decision tables with ontologies. It provides examples of constructing SDTs by defining lexons to represent facts, commitments to specify rules and semantics, and instantiating decision items. It also describes analyzing SDTs to ensure validity, identify impossible, overlapping or missing rules. The document aims to explain how using ontologies can help create well-formed, validated SDTs for knowledge representation and decision making.
Describing, with example, how creating better visibility can turn anonymity to cooperation. I gave this presentation in the Tieto sponsored seminar Leanest 2011.
UiPath Test Automation using UiPath Test Suite series, part 5DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 5. In this session, we will cover CI/CD with devops.
Topics covered:
CI/CD with in UiPath
End-to-end overview of CI/CD pipeline with Azure devops
Speaker:
Lyndsey Byblow, Test Suite Sales Engineer @ UiPath, Inc.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
In his public lecture, Christian Timmerer provides insights into the fascinating history of video streaming, starting from its humble beginnings before YouTube to the groundbreaking technologies that now dominate platforms like Netflix and ORF ON. Timmerer also presents provocative contributions of his own that have significantly influenced the industry. He concludes by looking at future challenges and invites the audience to join in a discussion.
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...SOFTTECHHUB
The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing.
One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.
UiPath Test Automation using UiPath Test Suite series, part 6DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 6. In this session, we will cover Test Automation with generative AI and Open AI.
UiPath Test Automation with generative AI and Open AI webinar offers an in-depth exploration of leveraging cutting-edge technologies for test automation within the UiPath platform. Attendees will delve into the integration of generative AI, a test automation solution, with Open AI advanced natural language processing capabilities.
Throughout the session, participants will discover how this synergy empowers testers to automate repetitive tasks, enhance testing accuracy, and expedite the software testing life cycle. Topics covered include the seamless integration process, practical use cases, and the benefits of harnessing AI-driven automation for UiPath testing initiatives. By attending this webinar, testers, and automation professionals can gain valuable insights into harnessing the power of AI to optimize their test automation workflows within the UiPath ecosystem, ultimately driving efficiency and quality in software development processes.
What will you get from this session?
1. Insights into integrating generative AI.
2. Understanding how this integration enhances test automation within the UiPath platform
3. Practical demonstrations
4. Exploration of real-world use cases illustrating the benefits of AI-driven test automation for UiPath
Topics covered:
What is generative AI
Test Automation with generative AI and Open AI.
UiPath integration with generative AI
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Removing Uninteresting Bytes in Software FuzzingAftab Hussain
Imagine a world where software fuzzing, the process of mutating bytes in test seeds to uncover hidden and erroneous program behaviors, becomes faster and more effective. A lot depends on the initial seeds, which can significantly dictate the trajectory of a fuzzing campaign, particularly in terms of how long it takes to uncover interesting behaviour in your code. We introduce DIAR, a technique designed to speedup fuzzing campaigns by pinpointing and eliminating those uninteresting bytes in the seeds. Picture this: instead of wasting valuable resources on meaningless mutations in large, bloated seeds, DIAR removes the unnecessary bytes, streamlining the entire process.
In this work, we equipped AFL, a popular fuzzer, with DIAR and examined two critical Linux libraries -- Libxml's xmllint, a tool for parsing xml documents, and Binutil's readelf, an essential debugging and security analysis command-line tool used to display detailed information about ELF (Executable and Linkable Format). Our preliminary results show that AFL+DIAR does not only discover new paths more quickly but also achieves higher coverage overall. This work thus showcases how starting with lean and optimized seeds can lead to faster, more comprehensive fuzzing campaigns -- and DIAR helps you find such seeds.
- These are slides of the talk given at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2022.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIVladimir Iglovikov, Ph.D.
Presented by Vladimir Iglovikov:
- https://www.linkedin.com/in/iglovikov/
- https://x.com/viglovikov
- https://www.instagram.com/ternaus/
This presentation delves into the journey of Albumentations.ai, a highly successful open-source library for data augmentation.
Created out of a necessity for superior performance in Kaggle competitions, Albumentations has grown to become a widely used tool among data scientists and machine learning practitioners.
This case study covers various aspects, including:
People: The contributors and community that have supported Albumentations.
Metrics: The success indicators such as downloads, daily active users, GitHub stars, and financial contributions.
Challenges: The hurdles in monetizing open-source projects and measuring user engagement.
Development Practices: Best practices for creating, maintaining, and scaling open-source libraries, including code hygiene, CI/CD, and fast iteration.
Community Building: Strategies for making adoption easy, iterating quickly, and fostering a vibrant, engaged community.
Marketing: Both online and offline marketing tactics, focusing on real, impactful interactions and collaborations.
Mental Health: Maintaining balance and not feeling pressured by user demands.
Key insights include the importance of automation, making the adoption process seamless, and leveraging offline interactions for marketing. The presentation also emphasizes the need for continuous small improvements and building a friendly, inclusive community that contributes to the project's growth.
Vladimir Iglovikov brings his extensive experience as a Kaggle Grandmaster, ex-Staff ML Engineer at Lyft, sharing valuable lessons and practical advice for anyone looking to enhance the adoption of their open-source projects.
Explore more about Albumentations and join the community at:
GitHub: https://github.com/albumentations-team/albumentations
Website: https://albumentations.ai/
LinkedIn: https://www.linkedin.com/company/100504475
Twitter: https://x.com/albumentations
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionAggregage
Join Maher Hanafi, VP of Engineering at Betterworks, in this new session where he'll share a practical framework to transform Gen AI prototypes into impactful products! He'll delve into the complexities of data collection and management, model selection and optimization, and ensuring security, scalability, and responsible use.
Pushing the limits of ePRTC: 100ns holdover for 100 daysAdtran
At WSTS 2024, Alon Stern explored the topic of parametric holdover and explained how recent research findings can be implemented in real-world PNT networks to achieve 100 nanoseconds of accuracy for up to 100 days.
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
More Related Content
Similar to Course material: semantic decision tables for open information systems
Describing, with example, how creating better visibility can turn anonymity to cooperation. I gave this presentation in the Tieto sponsored seminar Leanest 2011.
UiPath Test Automation using UiPath Test Suite series, part 5DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 5. In this session, we will cover CI/CD with devops.
Topics covered:
CI/CD with in UiPath
End-to-end overview of CI/CD pipeline with Azure devops
Speaker:
Lyndsey Byblow, Test Suite Sales Engineer @ UiPath, Inc.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
In his public lecture, Christian Timmerer provides insights into the fascinating history of video streaming, starting from its humble beginnings before YouTube to the groundbreaking technologies that now dominate platforms like Netflix and ORF ON. Timmerer also presents provocative contributions of his own that have significantly influenced the industry. He concludes by looking at future challenges and invites the audience to join in a discussion.
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...SOFTTECHHUB
The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing.
One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.
UiPath Test Automation using UiPath Test Suite series, part 6DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 6. In this session, we will cover Test Automation with generative AI and Open AI.
UiPath Test Automation with generative AI and Open AI webinar offers an in-depth exploration of leveraging cutting-edge technologies for test automation within the UiPath platform. Attendees will delve into the integration of generative AI, a test automation solution, with Open AI advanced natural language processing capabilities.
Throughout the session, participants will discover how this synergy empowers testers to automate repetitive tasks, enhance testing accuracy, and expedite the software testing life cycle. Topics covered include the seamless integration process, practical use cases, and the benefits of harnessing AI-driven automation for UiPath testing initiatives. By attending this webinar, testers, and automation professionals can gain valuable insights into harnessing the power of AI to optimize their test automation workflows within the UiPath ecosystem, ultimately driving efficiency and quality in software development processes.
What will you get from this session?
1. Insights into integrating generative AI.
2. Understanding how this integration enhances test automation within the UiPath platform
3. Practical demonstrations
4. Exploration of real-world use cases illustrating the benefits of AI-driven test automation for UiPath
Topics covered:
What is generative AI
Test Automation with generative AI and Open AI.
UiPath integration with generative AI
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Removing Uninteresting Bytes in Software FuzzingAftab Hussain
Imagine a world where software fuzzing, the process of mutating bytes in test seeds to uncover hidden and erroneous program behaviors, becomes faster and more effective. A lot depends on the initial seeds, which can significantly dictate the trajectory of a fuzzing campaign, particularly in terms of how long it takes to uncover interesting behaviour in your code. We introduce DIAR, a technique designed to speedup fuzzing campaigns by pinpointing and eliminating those uninteresting bytes in the seeds. Picture this: instead of wasting valuable resources on meaningless mutations in large, bloated seeds, DIAR removes the unnecessary bytes, streamlining the entire process.
In this work, we equipped AFL, a popular fuzzer, with DIAR and examined two critical Linux libraries -- Libxml's xmllint, a tool for parsing xml documents, and Binutil's readelf, an essential debugging and security analysis command-line tool used to display detailed information about ELF (Executable and Linkable Format). Our preliminary results show that AFL+DIAR does not only discover new paths more quickly but also achieves higher coverage overall. This work thus showcases how starting with lean and optimized seeds can lead to faster, more comprehensive fuzzing campaigns -- and DIAR helps you find such seeds.
- These are slides of the talk given at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2022.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIVladimir Iglovikov, Ph.D.
Presented by Vladimir Iglovikov:
- https://www.linkedin.com/in/iglovikov/
- https://x.com/viglovikov
- https://www.instagram.com/ternaus/
This presentation delves into the journey of Albumentations.ai, a highly successful open-source library for data augmentation.
Created out of a necessity for superior performance in Kaggle competitions, Albumentations has grown to become a widely used tool among data scientists and machine learning practitioners.
This case study covers various aspects, including:
People: The contributors and community that have supported Albumentations.
Metrics: The success indicators such as downloads, daily active users, GitHub stars, and financial contributions.
Challenges: The hurdles in monetizing open-source projects and measuring user engagement.
Development Practices: Best practices for creating, maintaining, and scaling open-source libraries, including code hygiene, CI/CD, and fast iteration.
Community Building: Strategies for making adoption easy, iterating quickly, and fostering a vibrant, engaged community.
Marketing: Both online and offline marketing tactics, focusing on real, impactful interactions and collaborations.
Mental Health: Maintaining balance and not feeling pressured by user demands.
Key insights include the importance of automation, making the adoption process seamless, and leveraging offline interactions for marketing. The presentation also emphasizes the need for continuous small improvements and building a friendly, inclusive community that contributes to the project's growth.
Vladimir Iglovikov brings his extensive experience as a Kaggle Grandmaster, ex-Staff ML Engineer at Lyft, sharing valuable lessons and practical advice for anyone looking to enhance the adoption of their open-source projects.
Explore more about Albumentations and join the community at:
GitHub: https://github.com/albumentations-team/albumentations
Website: https://albumentations.ai/
LinkedIn: https://www.linkedin.com/company/100504475
Twitter: https://x.com/albumentations
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionAggregage
Join Maher Hanafi, VP of Engineering at Betterworks, in this new session where he'll share a practical framework to transform Gen AI prototypes into impactful products! He'll delve into the complexities of data collection and management, model selection and optimization, and ensuring security, scalability, and responsible use.
Pushing the limits of ePRTC: 100ns holdover for 100 daysAdtran
At WSTS 2024, Alon Stern explored the topic of parametric holdover and explained how recent research findings can be implemented in real-world PNT networks to achieve 100 nanoseconds of accuracy for up to 100 days.
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
Maruthi Prithivirajan, Head of ASEAN & IN Solution Architecture, Neo4j
Get an inside look at the latest Neo4j innovations that enable relationship-driven intelligence at scale. Learn more about the newest cloud integrations and product enhancements that make Neo4j an essential choice for developers building apps with interconnected data and generative AI.
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!SOFTTECHHUB
As the digital landscape continually evolves, operating systems play a critical role in shaping user experiences and productivity. The launch of Nitrux Linux 3.5.0 marks a significant milestone, offering a robust alternative to traditional systems such as Windows 11. This article delves into the essence of Nitrux Linux 3.5.0, exploring its unique features, advantages, and how it stands as a compelling choice for both casual users and tech enthusiasts.
Threats to mobile devices are more prevalent and increasing in scope and complexity. Users of mobile devices desire to take full advantage of the features
available on those devices, but many of the features provide convenience and capability but sacrifice security. This best practices guide outlines steps the users can take to better protect personal devices and information.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Course material: semantic decision tables for open information systems
1. Open Information Systems ( WE-DINF-13880 ) 2011 - 2012
Semantic Decision Tables
dr. Yan Tang
Yan.tang@vub.ac.be
May 11, 2011, 4:00~6:00 PM
11/05/2011 | pag. 1
3. What is a decision table?
• CSA, (1970): Z243.1-1970 for Decision Tables, Canadian Standards
Association Condition
entry
Condition
stub
Condition 1 2 3 4 5 6
Age <18 >=18,<40 >=40 <18 >=18,<40 >=40
Speak required language (s) Yes Yes Yes No No No
Action
Hire *
Train *
Action
Reject * *
entry * *
Action stub
Decision
rule
11/05/2011 | pag. 3
4. Other Decision Tools
Decision
tree
Balanced
scorecard
Bayesian
11/05/2011 | pag. 4
network
6. Decision tables in IS and
business
• Easily learned, undstandable and readable
• Concise and precise
• Clear relations of decisional alternatives
• Decision rule set
– Completeness
– Correctness
– Exclusivity
11/05/2011 | pag. 6
10. Existing Decision Table
Applications and Tools
• PROLOGA: DT editor and analyser
11/05/2011 | pag. 10
11. Importance of Group
Decision Making
“Most discussions of decision making
assume that only senior executives make
decisions or that only senior executives’
decisions matter. This is a dangerous
mistake.”
Need to involve a
– Peter Drucker community of
experts!
11/05/2011 | pag. 11
12. Semantic Decision Table
(SDT)
• SDT = Semantics + DT
– Agreements among stakeholders
– Use ontologies to store semantics
• Analysis result of (a) DT(s) designed by an acting
group (McGrath’s study)
– Community based agreements
– Role of natural language in groups Semantics in SDT is
expressed through
annotations,
commitments,
definitions, instantiation
11/05/2011 | pag. 12
13. Compare to DT, SDT …
• Can support group decision
• Can deal with large tables
• No conceptual ambiguity
• Hidden/implicit decision rules are specified
• Meta decision rules are specified
11/05/2011 | pag. 13
14. Modelling Issues
• DOGMA approach to ontology engineering (OE):
– Double articulation: ontology = ontology base (lexon base)+
commitment (Prof. R. Meersman, 1999)
– Linguistic fact oriented and scalable
– Facilitates and supports deployment
– Community grounded (agreement based)
11/05/2011 | pag. 14
15. DOGMA
• Lexon: plausible binary fact, e.g., <iPhone, rings with, is
rang with, RingTone>
• commitment
– Provides multiple views on the stored SDT lexons.
– Describes particular application views of reality, e.g.,
Each iPhone rings with AT LEAST ONE Ring Tone.
– Needs to be expressed by a commitment language
e.g. p1 = [iPhone, rings with, is rang with, RingTone]:
MAND (p1).
11/05/2011 | pag. 15
16. Use ORM to Graphically
Model Commitments
• ORM – a method for designing models at
the conceptual level, where the application
is described in terms easily understood by
non-technical users.
11/05/2011 | pag. 16
17. An SDT Example
Condition 1 2 3 4
People move Ear Yes No Yes No
Pressure on Crib Yes Yes No No
Action
Screen shows Message Message1
iPhone rings RingTone1
SDT Lexons
Lexon 1 <Bunny, has, is of, Ear>
Lexon 2 <Bunny, has, is of, Name>
Lexon 3 <Ear, is moved by, move, People>
Lexon 4 <Crib, has, is of, Name>
Lexon 5 <Screen, shows, is shown by, Message>
Lexon 6 <iPhone, rings with, is rang with, RingTone>
SDT Commitments
Commitment 1 EACH Bunny has EXACT ONE name.
Commitment 2 EACH Crib has EXACT ONE name.
Commitment 3 EACH Screen shows AT LEAST ONE Message
Commitment 4 Each iPhone rings with AT LEAST ONE Ring Tone.
Instantiation of Decision Items
People move Ear “People” is James. “Ear” is the ear from the Bunny in the living room.
Pressure on Crib “Crib” is James’ crib. “Pressure on Crib – Yes” means that James is in his crib.
Screen shows Messages “Screen” is the smart screen in the living room.
iPhone rings “iPhone” is Mary’s iPhone. She has only one iPhone.
11/05/2011 | pag. 17
18. How to Construct an SDT?
Study decision Define Scope
maker environment decision To study the
To form decision individuals input problems
decision maker
group and define
candidates and
decision tasks
problem
background
Define
Define a Define
thresholds for
group decision tasks
group behaviour
To create
decision tables
and make into
Design Extract SDT
Design SDT
decision SDT
commitments
table lexons
11/05/2011 | pag. 18
19. What is Inside an SDT
Commitment?
Constraint types:
Uniqueness
Mandatory
Occurrence frequency Operators:
Negation
Subset
Conjunction
Equality Disjunction
Exclusion Implication
Value constraint
Sequence
Subtype
Other dependencies
11/05/2011 | pag. 19
20. Be Careful!
• Top common supertype.
– It is impossible to have an object type that has two (or more than two)
mutually exclusive super types, unless the instance set of this type is
empty.
• Exclusion-mandatory.
– If an object type plays a mandatory role and it participates in an
exclusion constraint with other roles, then only the role that connects to
both the mandatory constraint and the exclusion constraint is played.
Other roles are never played.
• Set-comparison constraints.
– It is impossible to apply both the subset constraint and the exclusion
constraint at the same time to two lexons.
• …
11/05/2011 | pag. 20
21. Use Ontology to Make a Good Semantic Decision Table
SEMANTIC DECISION TABLE –
ANALYSIS (PART I)
11/05/2011 | pag. 21
22. Validation and Verification
• In order to make a “good” SDT, it needs to
be validated and verified
11/05/2011 | pag. 22
23. SDT Analyser (Part I)
• Completeness Validation and
verification
• Entries Validity issues
• Transaction Test
• Identification of Impossible Rules
• Identification of Overlapping Rules
• Identification of Rule Gaps
11/05/2011 | pag. 23
24. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser –
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Completeness
Completeness
11/05/2011 | pag. 24
25. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser –
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Completeness
11/05/2011 | pag. 25
26. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Entries
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Validity
• Example 1 – invalid Boolean stub
11/05/2011 | pag. 26
27. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Entries
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Validity
• Example 2 – Invalid Set Entry
11/05/2011 | pag. 27
28. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Entries
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Validity
• Example 3 – Invalid Float Entries
11/05/2011 | pag. 28
29. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Entries
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Validity
• Example 4 – Invalid Integer Entries
11/05/2011 | pag. 29
30. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Transaction
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Test
11/05/2011 | pag. 30
31. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Horizontal
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Impossible Rules
• Example 1 – Condition Entry is a String
Set
What if
X=Y?
11/05/2011 | pag. 31
32. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Horizontal
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Impossible Rules
• Example 2 – Using Implication Operator in
the SDT Commitment
P1 = [CONDITION, has, is of,
CONDIT ION_ENTRY]: IMPLIES (P1
( C O N D I T I O N _ E N T RY ) = ” ” , O R ( ( P 1
(CONDITION_ENTRY) =”J”), P1
(CONDITION_ENTRY) =”N”)).
11/05/2011 | pag. 32
33. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Vertical
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Impossible Rules
• Example 1 – use constraints of
equivalence and value range
11/05/2011 | pag. 33
34. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Vertical
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Impossible Rules
• Example 2 – use constraints of
equivalence and set
11/05/2011 | pag. 34
35. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser – Vertical
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Impossible Rules
• Example 3 – use constraints of exclusion
11/05/2011 | pag. 35
36. • Completeness
SDT Analyser –
• Entries Validity
•
•
•
Transaction Test
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Overlapping
• Identification of Rule Gaps
Rules
• Example 1 – Value
What If
C1=C2?
11/05/2011 | pag. 36
37. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser –
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Identification of Rule Gaps
• Example 1
11/05/2011 | pag. 37
38. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser –
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Identification of Rule Gaps
• Example 2
11/05/2011 | pag. 38
39. •
•
•
Completeness
Entries Validity
Transaction Test
SDT Analyser –
•
•
•
Identification of Impossible Rules
Identification of Overlapping Rules
Identification of Rule Gaps
Identification of Rule Gaps
• Example 3
11/05/2011 | pag. 39
40. Use Ontology to Make a Good Semantic Decision Table
SEMANTIC DECISION TABLE –
ANALYSIS (PART II)
11/05/2011 | pag. 40
41. SDT Analyser –
Unreachable Rules
• Example 1 – condition entries are sets
11/05/2011 | pag. 41
42. Applied constraint types –
Subtyping
• P = [Lecturer, is a, is, Teacher]: SUBTYPE (P).
11/05/2011 | pag. 42
47. Applied Constraint Types –
Exclusive-Or
• P = [TABLE, has, is of, ACTION]: OR (P (ACTION) = “Accept”, P
(ACTION) = “Refuse”).
• (P6 = [Lecturer, is a, is, Person], P7 = [Driver, is a, is, Person]): OR
(P6 (is), P7 (is)).
11/05/2011 | pag. 47
48. Other Extensions to
Decision Tables
• Second-Order Decision Tables (SODT)
• Fuzzy Decision Tables (FDT)
• Rough Set Decision Tables (RSDT)
11/05/2011 | pag. 48
49. Conclusion
• What is SDT?
• How to build an SDT?
• How to build a good SDT?
11/05/2011 | pag. 49