![Page 1: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/1.jpg)
Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich
Struss Eco − 1
Case Studies inModel-based Systems
for Ecological and Environmental Applications
Case Studies inModel-based Systems
for Ecological and Environmental Applications
Peter StrussTechnical University of Munich
andOCC’M Software GmbH
Thanks to Ulrich Heller
Peter StrussTechnical University of Munich
andOCC’M Software GmbH
Thanks to Ulrich Heller
![Page 2: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/2.jpg)
Peter Struss − 2Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Optimism - „We will preserve local flora and fauna“
„In this area the Forest Department of the Pichavaram Mangroves has started management activities in 1995 in order to preserve the local flora and fauna.“
„In this area the Forest Department of the Pichavaram Mangroves has started management activities in 1995 in order to preserve the local flora and fauna.“
![Page 3: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/3.jpg)
Struss Eco − 3Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Meanwhile, Upstream ...Dams in Cauvery River
Reduction of Sedimentsin the River
Less Deposition inRiver Delta
Trough-shaped Basin
Stagnant Water
Increased Salinity
Degradation of Mangroves
Reduced Shelter Against Cyclones
![Page 4: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/4.jpg)
Struss Eco − 4Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
The World - Simply Our “Environment”!
“Environmental Protection”Limit direct damagePreserve continued exploitation
“Environmental Protection”Limit direct damagePreserve continued exploitation
Question “Do you believe, Earth is approaching an ecologicalcatastrophy?“Answer: “The are certain hints we have to notice. But human skills for invention can solve the problems, if politicians pave the way.”
“Environment”
![Page 5: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/5.jpg)
Struss Eco − 5Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
“Side-effects” ...
Dams inCauvery River Reduction of Sediments
in the River
Less Deposition inRiver Delta
Trough-shaped Basin
Stagnant Water
Increased Salinity
EvaporationDegradationof Mangroves
Cyclones
![Page 6: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/6.jpg)
Struss Eco − 6Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
The World, Including Us
Understand!The complex interactions of natural phenomena and systemsHuman activities as additional influences in this network of interaction
Understand!The complex interactions of natural phenomena and systemsHuman activities as additional influences in this network of interaction
Dams inCauvery River Reduction of Sediment
in the River
Less Deposition inRiver Delta
Trough-shaped Basin
Stagnant Water
Increased Salinity
Degradationof Mangroves
Cyclones
Evaporation
• Develop• Check• Revise• Improve
Models !
• Develop• Check• Revise• Improve
Models !
![Page 7: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/7.jpg)
Struss Eco − 7Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Data Analysis,Simulation
(Numerical)Model
DB,GIS
Data
Data AcquisitionRemote Sensing
Analysis Selection Interpretation Modeling Problem Solving
Acting
Conceptual Model
The Role of Information Technology
E N V I R O N M E N T A L S Y S T E M
![Page 8: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/8.jpg)
Struss Eco − 8Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
The Challenge for Knowledge Representation and Reasoning
E N V I R O N M E N T A L S Y S T E M
Conceptual Model
Analysis
Selection Interpretation Modeling Problem Solving
Data Processing
Knowledge Based Decision Support System
Acting
![Page 9: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/9.jpg)
Struss Eco − 9Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Mangrove Project - Requirements (1)
Supporting Local Decision Makers(Forest dept., local self-administration,
women’s organizationsUnderstanding, explanationsAnalysis, interpretation of observationsProposal and assessment of actions
Supporting Local Decision Makers(Forest dept., local self-administration,
women’s organizationsUnderstanding, explanationsAnalysis, interpretation of observationsProposal and assessment of actions
Non-Expert
Expert
![Page 10: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/10.jpg)
Struss Eco − 10Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Mangrove Project - Requirements (2)
Supporting ResearchersDeveloping modelsTransfer of resultsTeaching
Supporting ResearchersDeveloping modelsTransfer of resultsTeaching
Expert
![Page 11: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/11.jpg)
Struss Eco − 11Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Mangrove Project - Requirements (3)
Domain CharacteristicsPartial, qualitative knowledgePartial, qualitative information
Domain CharacteristicsPartial, qualitative knowledgePartial, qualitative information
Deposit ofSediment
NaCl
Effects of Salintyon Mangroves
EvaporationRate
D Amount of Degradation
![Page 12: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/12.jpg)
Struss Eco − 12Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Requirements on Modeling
• Developing modelsTransfer of resultsTeachingUnderstanding, explanationsAnalysis, interpretation of observationsProposal and assess-ment of actionsPartial, qualitative knowledgePartial, qualitative information
• Developing modelsTransfer of resultsTeachingUnderstanding, explanationsAnalysis, interpretation of observationsProposal and assess-ment of actionsPartial, qualitative knowledgePartial, qualitative information
Conceptual ModelsPhysical, biological, chemical, ... phenomena
Conceptual ModelsPhysical, biological, chemical, ... phenomena
Compositional ModelsLibrary of independent, combinable model fragments
Compositional ModelsLibrary of independent, combinable model fragments
Qualitative ModelsEssential distinctions only
Qualitative ModelsEssential distinctions only
![Page 13: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/13.jpg)
Struss Eco − 13Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Modeling Support
Analysis
Evaporation
NaCl
Salination
...
Conceptual
Qualitative
Compositional
Formal
NaCl
E N V I R O N M E N T A L S Y S T E M
![Page 14: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/14.jpg)
Struss Eco − 14Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Process-Oriented Modeling
Process: Model FragmentCondition
Structure (objects, object relations)Quantities
BehaviorConstraints (relation)Partial influences
Process: Model FragmentCondition
Structure (objects, object relations)Quantities
BehaviorConstraints (relation)Partial influences
NaCl
![Page 15: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/15.jpg)
Peter Struss − 15Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
The Lomba Reservoir (Porto Alegre)
![Page 16: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/16.jpg)
Peter Struss − 16Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Algal Bloom
![Page 17: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/17.jpg)
Struss Eco − 17Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
An Example from the Water Treatment Domain
The ProblemHigh iron concentrations in drinking water produce bad taste (and odour)A potential source is the "re-dissolving" of iron from the sediment under acidic conditions
The ProblemHigh iron concentrations in drinking water produce bad taste (and odour)A potential source is the "re-dissolving" of iron from the sediment under acidic conditions
Sediment
Hypolimnion
Epilimnion
TankPump Drinking Water
Observation:"metallic taste"
![Page 18: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/18.jpg)
Struss Eco − 18Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
An Example from the Water Treatment Domain (continued)
Processes OccurringThe "metallic taste" is the human perception of iron in the waterThis has been transported (by pumping or ascending in the pond)Ultimately, is has been dissolved from the sediment- and for this to happen, acidic conditions are a precondition
Processes OccurringThe "metallic taste" is the human perception of iron in the waterThis has been transported (by pumping or ascending in the pond)Ultimately, is has been dissolved from the sediment- and for this to happen, acidic conditions are a precondition
Sediment
Hypolimnion
Epilimnion
TankPump Drinking Water
Observation:"metallic taste"
perception
IronIrontransport
Iron
ascending
redissolving
Iron
pH = -
![Page 19: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/19.jpg)
Sachenbacher et al. − 19Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Key Ideas: Generic Diagnosis Algorithm
Diagnosis:Find an assignment of a mode (Ok, Fault1, ...) to each component Cisuch that SD ∪ OBS ∪ {modei(Ci) | Ci ∈ COMPS} ⊥
Diagnosis:Find an assignment of a mode (Ok, Fault1, ...) to each component Cisuch that SD ∪ OBS ∪ {modei(Ci) | Ci ∈ COMPS} ⊥
System
Observations
Model
Predictions
modej(Ci)i = 1, 2, ...OK(C1),OK(C2)OK(C1),OK(C2)OK(C1),OK(C2)
![Page 20: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/20.jpg)
Struss Eco − 20Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
SD ∪∪∪∪ OBS ∪∪∪∪ {modei(Ci) | Ci ∈∈∈∈ COMPS} ... ?
Processes are not faulty:They are present/active or not, we have to look at the preconditions.
No mode asumptions
Processes are not faulty:They are present/active or not, we have to look at the preconditions.
No mode asumptions
We don’t blame an existing (behavior) constituent:There are additional entities or unusual exogeneous conditions.
No components (COMPS)A different strategy for model revision is needed
We don’t blame an existing (behavior) constituent:There are additional entities or unusual exogeneous conditions.
No components (COMPS)A different strategy for model revision is needed
There are no “failures of nature”:The phenomena are always in accordance with the laws of physics.The conflict is with our intentions / goals!
Explicit specification of GOALS needed
There are no “failures of nature”:The phenomena are always in accordance with the laws of physics.The conflict is with our intentions / goals!
Explicit specification of GOALS needed
![Page 21: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/21.jpg)
Struss Eco − 21Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Towards a New Theory of Model-based Diagnosis
More generalCover process-oriented modelsAccount for unexpected interactions and objectsDistinguish between different tasks (more flexible)
Beyond components
More generalCover process-oriented modelsAccount for unexpected interactions and objectsDistinguish between different tasks (more flexible)
Beyond components More specificSpecify vocabulary for ontology, structure and behaviorFormalization in logic
What’s in SD?
More specificSpecify vocabulary for ontology, structure and behaviorFormalization in logic
What’s in SD?
Include the standard component-oriented approach as a special case
Include the standard component-oriented approach as a special case
![Page 22: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/22.jpg)
Struss Eco − 22Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Distinguish Different Tasks
What’s going on? (situation assessment)What’s going on? (situation assessment)
SD0 ∪ OBS ⊥ SD1 ∪ OBS ⊥ SD0 ∪ OBS ⊥ SD1 ∪ OBS ⊥
What’s going wrong? (diagnosis)What’s going wrong? (diagnosis)
SD1 ∪ GOALS ⊥ SD2 ∪ GOALS ⊥ SD1 ∪ GOALS ⊥ SD2 ∪ GOALS ⊥
What can be done? (therapy planning)What can be done? (therapy planning)
SD1 ∪ GOALS ⊥ SD1 ∪ ACTIONS ∪ GOALS ⊥ SD1 ∪ GOALS ⊥ SD1 ∪ ACTIONS ∪ GOALS ⊥
![Page 23: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/23.jpg)
Struss Eco − 23Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
What’s in SD? - Survey
SDDOMAIN THEORY
ONTOLOGYSTRUCTURE (object types and object relation types)BEHAVIOR(quantity associations,behavior constituent types with instantiation/activity rules)
BASIC LAWSSYSTEM STRUCTURE
(objects, object relations)QUANTITY SPECIFICATIONS
(variable and parameter values)
SDDOMAIN THEORY
ONTOLOGYSTRUCTURE (object types and object relation types)BEHAVIOR(quantity associations,behavior constituent types with instantiation/activity rules)
BASIC LAWSSYSTEM STRUCTURE
(objects, object relations)QUANTITY SPECIFICATIONS
(variable and parameter values)
SD = SDrev ∪∪∪∪ SDfixSD = SDrev ∪∪∪∪ SDfix
![Page 24: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/24.jpg)
Struss Eco − 24Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Behavior Constituent Descriptions
Behavior constituent types:Process descriptions / component behavior models
Behavior constituent types:Process descriptions / component behavior models
ICi ⇒⇒⇒⇒∃∃∃∃Obji ∧∧∧∧ beh-consti
Instantiation rules:(Structural) instantiation conditions: ICi
Instantiation rules:(Structural) instantiation conditions: ICi
beh-consti ∧∧∧∧ ACi ⇒⇒⇒⇒activei=T
Activity rules:(State dependent) activity conditions: ACi
Activity rules:(State dependent) activity conditions: ACi
activei=T ⇒⇒⇒⇒beh-constraintsi ∧∧∧∧influencesi
Behavior description:Constraints and influences
Behavior description:Constraints and influences
![Page 25: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/25.jpg)
Struss Eco − 25Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
An Example from the Water Treatment Domain - Modelling
Modeling the scenarioObjects for spatial locators, components, substances, ...A set of relations complement the object structure
Modeling the scenarioObjects for spatial locators, components, substances, ...A set of relations complement the object structure
Sediment
Hypolimnion
Epilimnion
TankPump Drinking Water
Sediment
Hypolimnion
Epilimnion Pump
Tank DrinkingWater
belowbelow
belowbelow
connected-from
connected-from connected-
toconnected-
to
suppliessupplies
![Page 26: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/26.jpg)
Struss Eco − 26Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
An Example from the Water Treatment Domain - Modelling
Sediment
Hypolimnion
Epilimnion
Tank Drinking Water
SedimentSediment
HypolimnionHypolimnion
EpilimnionEpilimnion PumpPump
TankTankDrinkingWater
DrinkingWater
belowbelow
belowbelow
connected-from
connected-from connected-
toconnected-
to
suppliessupplies
![Page 27: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/27.jpg)
Struss Eco − 27Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Processes: Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
EpilimnionEpilimnion PumpPump TankTank
DrinkingWater
DrinkingWater
belowbelow
belowbelow
connected-from
connected-from connected-
toconnected-
to
suppliessupplies
IronIroncontained-incontained-in
redissolving
IronIroncontained-incontained-in
concentration
concentrationpH
ascending
IronIron
contained-incontained-in
concentration
transport
IronIron
contained-incontained-in
concentration
perception
taste
![Page 28: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/28.jpg)
Struss Eco − 28Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
redissolving
IronIroncontained-incontained-in
concentration
concentrationpH
![Page 29: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/29.jpg)
Struss Eco − 29Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
IronIroncontained-incontained-in
concentration
concentrationpH
redissolving
QuantityEffects
+
![Page 30: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/30.jpg)
Struss Eco − 30Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
IronIroncontained-incontained-in
concentration
concentrationpH
redissolving
+ QuantityEffects
- "guarded"
concentration_act
conditional-equal
active
![Page 31: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/31.jpg)
Struss Eco − 31Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
IronIroncontained-incontained-in
pH
redissolving
active
concentration
concentration
concentration_act
+
conditional-equal
QC1
QC2
condition-neg
condition-pos
QuantityConditions
...
![Page 32: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/32.jpg)
Struss Eco − 32Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
IronIroncontained-incontained-in
exist
redissolving
active
concentration
concentration
concentration_act
+
conditional-equal
exist
QC1
QC2
condition-neg
condition-pos
... andStructuralConditions
AND-5
AND-3exist
exist exist exist
pH
![Page 33: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/33.jpg)
Struss Eco − 33Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Example - Details of Conditions and Effects
SedimentSediment
HypolimnionHypolimnion
belowbelow
IronIroncontained-incontained-in
IronIroncontained-incontained-in
exist
redissolving
active
concentration
concentration
concentration_act
+
conditional-equal
exist
QC1
QC2
condition-neg
condition-pos
StructuralEffects
AND-5
AND-3exist
exist exist exist
IMPLIES IMPLIES
exist existpH
![Page 34: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/34.jpg)
Struss Eco − 34Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Model Generation
Structure Description,Quantities
Structure Description,Quantities
NaCl
BehaviorConstituents• Constraints• Influences
STRUCTURE ∪ QUANTITIESCONSTRAINTS ∪ INFLUENCESi(y)
System Model• Constraint
network• Quantities
INFLUENCES
CONSTRAINTS (y)
PREDICTION
∪∪∪∪CLOSED WORLDy
![Page 35: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/35.jpg)
Struss Eco − 35Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Resolving Influences
infl1x1
infl2
x2
infl3x3
ydydt = ∑ infli
CLOSED WORLDASSUMPTIONy
![Page 36: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/36.jpg)
Struss Eco − 36Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Tasks: Situation Assessment
In area x, trees of specifier y shed their leaves at an unusual rate -what’s going on?
In area x, trees of specifier y shed their leaves at an unusual rate -what’s going on?
Determinerelevant constituents and their relationships and parameterstheir current state: values of variablesthat collectively account for the observation
Determinerelevant constituents and their relationships and parameterstheir current state: values of variablesthat collectively account for the observation
OBS → SYSTEM SITUATION
![Page 37: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/37.jpg)
Struss Eco − 37Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
We May Be Wrong - Model Revision
Environmental System
StructureQuantities
StructureQuantities
SystemModel
SystemModel
Prediction
Observation
Revision
STRUCTURE ∪ QUANTITIES ∪ CWA
MODEL ∪ OBS
MODEL
⊥
?
![Page 38: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/38.jpg)
Struss Eco − 38Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Searching for Revisions
Assumptions to be revised:
obji, obj-relj, vark = vall, CWAn
Assumptions to be revised:
obji, obj-relj, vark = vall, CWAn
Modelrev
obj-type, var-type
Domain Theory
(Library)
beh-const1 ...beh-const2
obj1 obj2 obj-rel3 obj4
Conditions
![Page 39: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/39.jpg)
Struss Eco − 39Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Specification of Revisables
SD = SDrev ∪∪∪∪ SDfixSD = SDrev ∪∪∪∪ SDfix
• We know (based on observations) something aboutthe domain, the system, the state
• We assume some things aboutthe system (objects and relations), the state
• We know (based on observations) something aboutthe domain, the system, the state
• We assume some things aboutthe system (objects and relations), the state
E. g. for situation assessment:E. g. for situation assessment:
OBS ⊂ QUANTfix ⊂ SDfix
SDrev = STRUCTrev ∪ QUANTrev
OBS ⊂ QUANTfix ⊂ SDfix
SDrev = STRUCTrev ∪ QUANTrev
![Page 40: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/40.jpg)
Struss Eco − 40Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Situation Assessment: Formalization
What Does not Fit the Observations?MODEL0 ∪ OBS ⊥→MODEL1 ∪ OBS ⊥or →MODEL1 OBS
What Does not Fit the Observations?MODEL0 ∪ OBS ⊥→MODEL1 ∪ OBS ⊥or →MODEL1 OBS
System IdentificationMODELrev= STRUCTURErev ∪ PAR-SPECrev ∪ CWA
State IdentificationMODELrev= VAR-SPECrev
![Page 41: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/41.jpg)
Struss Eco − 41Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Diagnosis: Formalization
What Causes Violation of Goals?MODEL1 ∪ GOALS ⊥→MODEL2 ∪ GOALS ⊥or →MODEL2 GOALS
What Causes Violation of Goals?MODEL1 ∪ GOALS ⊥→MODEL2 ∪ GOALS ⊥or →MODEL2 GOALS
Revisable: What Can Be Influenced?MODELrev= STRUCTURErev ∪ VAR-SPECrev ∪ CWA
Revisable: What Can Be Influenced?MODELrev= STRUCTURErev ∪ VAR-SPECrev ∪ CWA
![Page 42: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/42.jpg)
Struss Eco − 42Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Tasks: Therapy Generation
Having identified possible causes of the mangrove degradation -what can be done?
Having identified possible causes of the mangrove degradation -what can be done?
Determineresponsible factors that can be influencedactions that create appropriate influences
Determineresponsible factors that can be influencedactions that create appropriate influences
GOALS →REMEDIATEACTIONS
![Page 43: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/43.jpg)
Struss Eco − 43Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Therapy Generation: Formalization
What Can Reach the Goals?MODEL1 ∪ GOALS ⊥→
MODEL1 ∪ ACTIONS ∪ GOALS’ ⊥or →MODEL1 ∪ ACTIONS GOALS’
What Can Reach the Goals?MODEL1 ∪ GOALS ⊥→
MODEL1 ∪ ACTIONS ∪ GOALS’ ⊥or →MODEL1 ∪ ACTIONS GOALS’
Actions as unconditioned processesIntermediate goals may be different from ultimate onesGoals may be revised
Actions as unconditioned processesIntermediate goals may be different from ultimate onesGoals may be revised
![Page 44: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/44.jpg)
Struss Eco − 44Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Reconstructing the Standard (Component-based) Approach
Object types: Component types, terminal typesObject relation types: connected (terminal, terminal)
part-of (terminal, component)Quantity associations: Variables for terminal types,
modes for componentsBehavior constituents: ok and fault models
(and terminal identification)(IC: component-type, AC: mode)
Structure: connection and part-of structureState: (terminal) variable values
Object types: Component types, terminal typesObject relation types: connected (terminal, terminal)
part-of (terminal, component)Quantity associations: Variables for terminal types,
modes for componentsBehavior constituents: ok and fault models
(and terminal identification)(IC: component-type, AC: mode)
Structure: connection and part-of structureState: (terminal) variable values
component1t1a t1bpart-of
component2t2a t2bconnected
(mode)(variables)
GOAL ⇔ {ok(Ci)}GOAL ⇔ {ok(Ci)}
![Page 45: Case Studies in Model-based Systems for Ecological and ......Model-based Systems for Ecological and Environmental Applications Peter Struss Technical University of Munich and ... Struss](https://reader034.vdocuments.net/reader034/viewer/2022042204/5ea5e03f2ce1ee6856454dd6/html5/thumbnails/45.jpg)
Struss Eco − 45Model-Based Systems & Qualitative ReasoningGroup of the Technical University of Munich OCC’M OCC’M OCC’M OCC’M Software
Even More Ambitious: Model-guided Discovery
MODEL ∪ OBS
DOMAIN THEORY ∪
Revise the domain theory (model fragment library)
Revise the domain theory (model fragment library)
STRUCTURE ∪ QUANTITIES ∪ CWA
⊥MODEL