83
Config Systems (Subject) / Config Systems (Lesson)
Advertisement
- QuickXPlain … determines one minimal conflict set
- Each diagnosis for an inconsistent CSP ... resolves all conflicts
- FastDiag ... determines one minimal diagnosis at a time is based on divide-and-conquer
- Given the conflict sets {c1,c2}, {c2}, and {c4}. What is a corresponding minimal-cardinality diagnosis? {c2,c4}
- A diagnosis is ... represented by a set of constraints
- Given the variables v1, v2, and v3, each with domain (1..3) and the constraints c1:v1<1, c2:v2>2, and c3:v3>v2. What is a minimal conflict set? {c2,c3} {c1}
- If there are two minimal conflict set in a CSP, then there exist at least two minimal diagnoses to resolve them. no
- Given the constraints c1:v1>v2, c2:v2>v3, and c3:v3>v1 for variables with domain size 5. What is a corresponding minimal conflict? {c1,c2,c3}
- Given a diagnosis {c1,c2}. What could have been the corresponding conflict sets? {c1},{c2} {c1},{c2,c3}
- For using a diagnosis task in a knowledge base debugging scenario, ... the constraints of the knowledge base are analyzed whereas appropriate variable-value assignments represented as constraints are the background knowledge
- Advertisement
- Given a knowledge base KB = B U C comprising background knowledge B and other constraints C, ... a conflict set CS is a subset of C so that B U CS is inconsistent a diagnosis D is a subset of C so that B U (C - D) is consistent
- For using a diagnosis task in a configuration repair scenario, ... the knowledge base is the background knowledge and the variable-value assignments represented as constraints are analyzed
- Positive test cases for a knowledge base ... represent intended behavior
- High variability can lead to ... mass confusion
- Standardization and Modularization have different strengths ... Modularization increases re-use Standardization reduces variability
- Adding variants to a product family, ... typically increases costs
- The variability of a product family is defined ... by the available subparts, their properties, and restrictions on their combinations
- Widely used technologies for configuration knowledge are … SAT solving Binary decision diagrams Constraint satisfaction Rule-based systems
- Advantages of feature models are ... easy translation into formal representations, e.g., SAT solving easy to understand knowledge representation
- Example modeling concepts for building feature models are ... optional alternative excludes requires or mandatory
- Advantages of rule-based systems are ... flexibility of specifyable properties in the „then“ part of a rule
- A variable in SAT solving has domain size ... 2
- On the logical level, "a excludes b" can be represented as ... not (a and b) not a or not b a implies not b
- On the logical level, "a requires b" can be represented as ... not a or b not b implies not a a implies b
- Product Variant Master is used to specify ... kind-of structure (inheritance) part-of structure (sub-parts)
- Feature Models (classically) ... are a tree-like representation of a product family
- Model-based systems ... help the knowledge engineer to specify what makes a configuration valid separate domain knowledge from solving algorithms
- In variant tables, a c-tuple (cartesian tuple) ... represents an unconstrained subset of property values has a size corresponding to the sum of the number of value symbols
- Variant tables ... require compression to be usable in practice enumerate all variants of a product
- In variant tables, ... columns correspond to product properties rows correspond to (valid) combinations of property values
- Advertisement
- Feature Models (classically) allow to specify ... commonalities (features that occury in every variant) part-of structure (sub-parts)
- Binary decision diagrams (BDD) can be used to implement ... variant tables feature models
- In Feature Models, optional features are represented by ... a circle with white interior (i.e. ring)