|
1
|
|
|
package it.cnr.istc.pst.platinum.ai.deliberative.heuristic.pipeline; |
|
2
|
|
|
|
|
3
|
|
|
import java.util.Collection; |
|
4
|
|
|
import java.util.HashSet; |
|
5
|
|
|
import java.util.List; |
|
6
|
|
|
import java.util.Set; |
|
7
|
|
|
|
|
8
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.domain.component.DomainComponent; |
|
9
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.domain.knowledge.DomainKnowledge; |
|
10
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.microkernel.annotation.lifecycle.PostConstruct; |
|
11
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.microkernel.lang.flaw.Flaw; |
|
12
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.microkernel.lang.flaw.FlawType; |
|
13
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.microkernel.resolver.ex.UnsolvableFlawException; |
|
14
|
|
|
import it.cnr.istc.pst.platinum.ai.framework.utils.properties.FilePropertyReader; |
|
15
|
|
|
|
|
16
|
|
|
/** |
|
17
|
|
|
* |
|
18
|
|
|
* @author alessandro |
|
19
|
|
|
* |
|
20
|
|
|
*/ |
|
21
|
|
|
public class HierarchicalPlanFlawInspector extends FlawInspector { |
|
22
|
|
|
|
|
23
|
|
|
private FlawType[] preferences; |
|
24
|
|
|
|
|
25
|
|
|
/** |
|
26
|
|
|
* |
|
27
|
|
|
*/ |
|
28
|
|
|
protected HierarchicalPlanFlawInspector() { |
|
29
|
|
|
super("HierarchicalPlanFlawInspector"); |
|
30
|
|
|
} |
|
31
|
|
|
|
|
32
|
|
|
/** |
|
33
|
|
|
* |
|
34
|
|
|
*/ |
|
35
|
|
View Code Duplication |
@PostConstruct |
|
|
|
|
|
|
36
|
|
|
protected void init() { |
|
37
|
|
|
|
|
38
|
|
|
// get deliberative property file |
|
39
|
|
|
FilePropertyReader properties = new FilePropertyReader( |
|
40
|
|
|
FRAMEWORK_HOME + FilePropertyReader.DEFAULT_DELIBERATIVE_PROPERTY); |
|
41
|
|
|
// get preference property |
|
42
|
|
|
String[] prefs = properties.getProperty("preferences").trim().split(","); |
|
43
|
|
|
|
|
44
|
|
|
// set preferences |
|
45
|
|
|
this.preferences = new FlawType[prefs.length]; |
|
46
|
|
|
for (int i = 0; i < prefs.length; i++) { |
|
47
|
|
|
// set preference |
|
48
|
|
|
this.preferences[i] = FlawType.getFlawTypeFromLabel(prefs[i]); |
|
49
|
|
|
} |
|
50
|
|
|
} |
|
51
|
|
|
|
|
52
|
|
|
/** |
|
53
|
|
|
* |
|
54
|
|
|
*/ |
|
55
|
|
View Code Duplication |
@Override |
|
|
|
|
|
|
56
|
|
|
public Set<Flaw> detectFlaws() |
|
57
|
|
|
throws UnsolvableFlawException { |
|
58
|
|
|
|
|
59
|
|
|
// filtered set |
|
60
|
|
|
Set<Flaw> set = new HashSet<>(); |
|
61
|
|
|
// get domain knowledge |
|
62
|
|
|
DomainKnowledge knowledge = this.pdb.getDomainKnowledge(); |
|
63
|
|
|
// get the hierarchy |
|
64
|
|
|
List<DomainComponent>[] hierarchy = knowledge.getDomainHierarchy(); |
|
65
|
|
|
// check domain hierarchy first |
|
66
|
|
|
for (int index = 0; index < hierarchy.length && set.isEmpty(); index++) { |
|
67
|
|
|
// check specified flaw preferences |
|
68
|
|
|
for (int pndex = 0; pndex < this.preferences.length && set.isEmpty(); pndex++) { |
|
69
|
|
|
// get current flaw type |
|
70
|
|
|
FlawType type = this.preferences[pndex]; |
|
71
|
|
|
|
|
72
|
|
|
// get components at the current level of the hierarchy |
|
73
|
|
|
for (DomainComponent component : hierarchy[index]) { |
|
74
|
|
|
// detect flaws on the current component |
|
75
|
|
|
set.addAll(component.detectFlaws(type)); |
|
76
|
|
|
} |
|
77
|
|
|
} |
|
78
|
|
|
} |
|
79
|
|
|
|
|
80
|
|
|
|
|
81
|
|
|
// get detected flaws |
|
82
|
|
|
return set; |
|
83
|
|
|
} |
|
84
|
|
|
|
|
85
|
|
|
/** |
|
86
|
|
|
* |
|
87
|
|
|
*/ |
|
88
|
|
View Code Duplication |
@Override |
|
|
|
|
|
|
89
|
|
|
public Set<Flaw> check() { |
|
90
|
|
|
|
|
91
|
|
|
// filtered set |
|
92
|
|
|
Set<Flaw> set = new HashSet<>(); |
|
93
|
|
|
// get domain knowledge |
|
94
|
|
|
DomainKnowledge knowledge = this.pdb.getDomainKnowledge(); |
|
95
|
|
|
// get the hierarchy |
|
96
|
|
|
List<DomainComponent>[] hierarchy = knowledge.getDomainHierarchy(); |
|
97
|
|
|
// check domain hierarchy first |
|
98
|
|
|
for (int index = 0; index < hierarchy.length && set.isEmpty(); index++) { |
|
99
|
|
|
// check specified flaw preferences |
|
100
|
|
|
for (int pndex = 0; pndex < this.preferences.length && set.isEmpty(); pndex++) { |
|
101
|
|
|
// get current flaw type |
|
102
|
|
|
FlawType type = this.preferences[pndex]; |
|
103
|
|
|
|
|
104
|
|
|
// get components at the current level of the hierarchy |
|
105
|
|
|
for (DomainComponent component : hierarchy[index]) { |
|
106
|
|
|
// check flaws on the current component |
|
107
|
|
|
set.addAll(component.checkFlaws(new FlawType[] { |
|
108
|
|
|
type |
|
109
|
|
|
})); |
|
110
|
|
|
} |
|
111
|
|
|
} |
|
112
|
|
|
} |
|
113
|
|
|
|
|
114
|
|
|
// get flaws |
|
115
|
|
|
return set; |
|
116
|
|
|
} |
|
117
|
|
|
|
|
118
|
|
|
/** |
|
119
|
|
|
* |
|
120
|
|
|
*/ |
|
121
|
|
|
@Override |
|
122
|
|
|
public Set<Flaw> filter(Collection<Flaw> flaws) { |
|
123
|
|
|
|
|
124
|
|
|
// filtered set |
|
125
|
|
|
Set<Flaw> set = new HashSet<>(); |
|
126
|
|
|
// get domain knowledge |
|
127
|
|
|
DomainKnowledge knowledge = this.pdb.getDomainKnowledge(); |
|
128
|
|
|
// get the hierarchy |
|
129
|
|
|
List<DomainComponent>[] hierarchy = knowledge.getDomainHierarchy(); |
|
130
|
|
|
// get component flaws first |
|
131
|
|
|
Set<Flaw> componentFlaws = new HashSet<>(); |
|
132
|
|
|
// check domain hierarchy first |
|
133
|
|
|
for (int index = 0; index < hierarchy.length && componentFlaws.isEmpty(); index++) { |
|
134
|
|
|
|
|
135
|
|
|
// extract flaws of equivalent components |
|
136
|
|
|
for (DomainComponent component : hierarchy[index]) { |
|
137
|
|
|
// check flaws |
|
138
|
|
|
for (Flaw flaw : flaws ) { |
|
139
|
|
|
if (flaw.getComponent().equals(component)) { |
|
140
|
|
|
// add flaw |
|
141
|
|
|
componentFlaws.add(flaw); |
|
142
|
|
|
} |
|
143
|
|
|
} |
|
144
|
|
|
|
|
145
|
|
|
} |
|
146
|
|
|
} |
|
147
|
|
|
|
|
148
|
|
|
|
|
149
|
|
|
// look for flaw of a given type |
|
150
|
|
|
for (int index = 0; index < this.preferences.length && set.isEmpty(); index++) { |
|
151
|
|
|
|
|
152
|
|
|
// get current type |
|
153
|
|
|
FlawType type = this.preferences[index]; |
|
154
|
|
|
// check component flaws |
|
155
|
|
|
for (Flaw flaw : componentFlaws) { |
|
156
|
|
|
// check type |
|
157
|
|
|
if (flaw.getType().equals(type)) { |
|
158
|
|
|
// add flaw |
|
159
|
|
|
set.add(flaw); |
|
160
|
|
|
} |
|
161
|
|
|
} |
|
162
|
|
|
} |
|
163
|
|
|
|
|
164
|
|
|
// get filtered set |
|
165
|
|
|
return set; |
|
166
|
|
|
} |
|
167
|
|
|
} |
|
168
|
|
|
|