55:
reason about the behavior of physical systems, without precise quantitative information. An example is observing pouring rain and the steadily rising water level of a river, which is sufficient information to take action against possible flooding without knowing the exact water level, the rate of change, or the time the river might flood.
146:, system verification, explanation, autonomous spacecraft support, simulation and explanation of the behavior of structures, failure analysis and on-board diagnosis of vehicle systems, automated generation of control software for photocopiers, conceptual knowledge capture in ecology, and intelligent aids for human learning.
138:
The techniques which have been developed for qualitative reasoning permit the simulation of quantitative systems which are subject to multiple constraints in the form of inequalities as well as equalities. It can permit the simulation of certain important systems, such as ecosystems, which might
54:
Qualitative reasoning creates non-numerical descriptions of physical systems and their behavior, preserving important behavioral properties and qualitative distinctions. The goal of qualitative reasoning research is to develop representation and reasoning methods that enable computer programs to
160:
184:
297:
Salvaneschi, Paolo; Cadei, Mauro; Lazzari, Marco (1997). "A causal modelling framework for the simulation and explanation of the behaviour of structures".
46:
information. Precise numerical values or quantities are avoided, and qualitative values are used instead (e.g., high, low, zero, rising, falling, etc.).
125:
if water has a temperature that changes from below the boiling point to above the boiling point, then the water level will change to rapidly decreasing;
155:
91:
Example: If the temperature is changing, the boiling point may be important, but if the temperature is constant, the boiling point may be irrelevant
243:
139:
otherwise be too complex to model. Qualitative reasoning provides a method for modeling with quantitative inequalities in addition to qualities.
202:
80:
Example: Instead of using a numerical value for rate of change, consider whether it is increasing, decreasing or constant
216:
121:
If the temperature of water is below the boiling point, then the water level is constant or slowly decreasing;
127:
if water is above the boiling point for a specified length of time, the water level will be low or zero
30:
about continuous aspects of the physical world, such as space, time, and quantity, for the purpose of
102:
Example: Instead of computing a numeric level or quantity of water, provide two answers: low or zero
123:
if the temperature of water is above the boiling point, then the water level is rapidly decreasing;
208:
23:
236:
39:
8:
283:
276:
258:
341:
310:
212:
265:. Knowledge Systems Laboratory, Department of Computer Science: Stanford University.
306:
180:
143:
31:
327:
Qualitative
Reasoning and Modelling (QRM) portal of the University of Amsterdam
335:
326:
181:"Qualitative Reasoning: Reaching Good Conclusions without Being Precise"
77:
Represent continuous quantities using discrete entities for reasoning
64:
43:
35:
116:
For quantities, determine landmarks and use inequality reasoning
27:
234:
99:
Instead of providing one answer, provide a range of answers
185:
Association for the
Advancement of Artificial Intelligence
296:
88:
Choose qualitative values based on relevance to a task
259:"Real-World Applications of Qualitative Reasoning"
70:The principles of qualitative reasoning include:
333:
244:American Association for Artificial Intelligence
200:
256:
63:The principles used are motivated by human
16:Area of research in Artificial Intelligence
230:
228:
196:
194:
237:"Current Topics in Qualitative Reasoning"
113:Represent the transitions between states
235:Bert Bredeweg and Peter Struss (2003).
225:
191:
334:
299:Artificial Intelligence in Engineering
142:Successful application areas include
13:
14:
353:
320:
263:IEEE Expert: Intelligent Systems
290:
277:"Qualitative Reasoning, CS227"
269:
257:Yumi Iwasaki (May–June 1997).
250:
173:
22:is an area of research within
1:
311:10.1016/S0954-1810(96)00040-4
167:
58:
96:Ambiguous values or results
7:
161:Qualitative Reasoning Group
149:
10:
358:
156:Spatial-temporal reasoning
49:
20:Qualitative Reasoning (QR)
204:A Dictionary of Computing
209:Oxford University Press
133:
24:Artificial Intelligence
201:John Daintith (2004).
110:Represent the states
26:(AI) that automates
284:Stanford University
107:Modeling a process
349:
315:
314:
294:
288:
287:
281:
273:
267:
266:
254:
248:
247:
241:
232:
223:
222:
198:
189:
188:
177:
85:Relevant values
74:Discrete values
357:
356:
352:
351:
350:
348:
347:
346:
332:
331:
323:
318:
295:
291:
279:
275:
274:
270:
255:
251:
239:
233:
226:
219:
199:
192:
179:
178:
174:
170:
152:
144:process control
136:
126:
124:
122:
120:
61:
52:
32:problem solving
17:
12:
11:
5:
355:
345:
344:
330:
329:
322:
321:External links
319:
317:
316:
305:(3): 205–216.
289:
268:
249:
224:
217:
190:
171:
169:
166:
165:
164:
158:
151:
148:
135:
132:
131:
130:
129:
128:
117:
114:
111:
105:
104:
103:
100:
94:
93:
92:
89:
83:
82:
81:
78:
60:
57:
51:
48:
15:
9:
6:
4:
3:
2:
354:
343:
340:
339:
337:
328:
325:
324:
312:
308:
304:
300:
293:
285:
278:
272:
264:
260:
253:
245:
238:
231:
229:
220:
214:
210:
206:
205:
197:
195:
186:
182:
176:
172:
162:
159:
157:
154:
153:
147:
145:
140:
118:
115:
112:
109:
108:
106:
101:
98:
97:
95:
90:
87:
86:
84:
79:
76:
75:
73:
72:
71:
68:
66:
56:
47:
45:
41:
37:
33:
29:
25:
21:
302:
298:
292:
271:
262:
252:
203:
175:
141:
137:
69:
62:
53:
44:quantitative
42:rather than
19:
18:
40:qualitative
218:0198608772
168:References
59:Principles
342:Reasoning
65:cognition
28:reasoning
336:Category
150:See also
119:Example:
36:planning
286:. 2011.
187:(AAAI).
50:Purpose
215:
38:using
280:(PDF)
240:(PDF)
163:(QRG)
213:ISBN
134:Uses
34:and
307:doi
338::
303:11
301:.
282:.
261:.
242:.
227:^
211:.
207:.
193:^
183:.
67:.
313:.
309::
246:.
221:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.