TY - GEN
T1 - Nonmonotonic Reasoning with Multiple Belief Sets
AU - Engelfriet, J.
AU - Herre, H.
AU - Treur, J.
PY - 1996
Y1 - 1996
N2 - In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selective inference operations connected to belief set operators and which are used to choose one of the possible views.
AB - In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selective inference operations connected to belief set operators and which are used to choose one of the possible views.
KW - Belief sets
KW - Knowledge representation
KW - Nonmonotonic inference
UR - http://www.scopus.com/inward/record.url?scp=84947930138&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/record.url?scp=84947930138&partnerID=8YFLogxK
U2 - 10.1007/3-540-61313-7_83
DO - 10.1007/3-540-61313-7_83
M3 - Conference contribution
SN - 3540613137
SN - 9783540613138
VL - 1085
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 331
EP - 344
BT - Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
PB - Springer/Verlag
T2 - International Conference on Formal and Applied Practical Reasoning, FAPR 1996
Y2 - 3 June 1996 through 7 June 1996
ER -