TY - GEN
T1 - Binary relations for qualitative reasoning
AU - Piera, Núria
AU - Agell, N.
N1 - Publisher Copyright:
© 1992 IEEE.
PY - 1992
Y1 - 1992
N2 - To perform qualitative calculus with orders of magnitude algebras based on finer divisions than those provided by the sign, it is very usefull to consider some binary relations to represent human reasoning. This paper provides the orders of magnitude algebras a metric space structure and goes on to formalise the binary relation of "negligibility" and "having the same order of magnitude". The inference rules arising from relating the qualitative sum and product with these two relations are studied and analyzed, and they may be highly useful in solving qualitative equations or systems of equations.
AB - To perform qualitative calculus with orders of magnitude algebras based on finer divisions than those provided by the sign, it is very usefull to consider some binary relations to represent human reasoning. This paper provides the orders of magnitude algebras a metric space structure and goes on to formalise the binary relation of "negligibility" and "having the same order of magnitude". The inference rules arising from relating the qualitative sum and product with these two relations are studied and analyzed, and they may be highly useful in solving qualitative equations or systems of equations.
UR - http://www.scopus.com/inward/record.url?scp=33747965364&partnerID=8YFLogxK
U2 - 10.1109/ICSMC.1992.271765
DO - 10.1109/ICSMC.1992.271765
M3 - Conference contribution
AN - SCOPUS:33747965364
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 267
EP - 271
BT - 1992 IEEE International Conference on Systems, Man, and Cybernetics
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
Y2 - 18 October 1992 through 21 October 1992
ER -