Abstract
In this paper we study carefully the notion of supporter (close to arguments, or ATMS labels). We investigate the lattice-theoretic properties of the set of supporters. We define support measures, and their duals, occasion measures, which appear to have many similarities with necessity and possibility measures respectively (up to change of the valuation lattice). These similarities enable us to define a supporter logic as an instance of the family of lattice-based generalisations of possibilistic logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L. Amgoud, C. Cayrol and D. Le Berre. Comparing arguments using preference orderings for argument-based reasoning. Proceedings of CTAI’96, 400–403, 1996.
S. Benferhat, D. Dubois and H. Prade. Argumantative inference in inconsistent knowledge bases. Proceedings of UAI’93 411–419.
G. Birkhoff, Lattice Theory, American Mathematical Society, Colloquium publications, Volume 25, 1967.
P. Chatalic, C. Froidevaux. Lattice-based graded logic: a multimodal approach. Proceedings of UAI’92, 33–40.
A. Darwiche. Argument calculus and networks. Proceedings of UAI’93,420–427.
J. de Kleer. An assumption-based TMS. Artificial Intelligence 28,127–162,1986.
J. De Kleer, B. C. Williams. Diagnosis multiple faults. Dans W. Hamscher, L. Console, J. De Kleer, éditeurs, Readings in model-based diagnosis, pages 102–103.(1992)
D. Dubois, F. Dupin de Saint-Cyr, Jérôme Lang and Henri Prade. Weighted logics of uncertainty. In preparation.
D. Dubois, J. Lang, H. Prade. Timed possibilistic logic. Fundamenta Informaticae, 211–234, 1991.
D. Dubois, J. Lang, H. Prade. Dealing with multi-source information in possibilistic logic. Proceedings of ECAL92, 38–42.
D. Dubois, J. Lang, H. Prade. Possibilistic logic. Handbook of Logic in Artificial Intelligence and Logic Programming (D.M. Gabbay, C.J. Hogger, J.A. Robinson, eds.), Vol. 3, 439–513, Oxford University Press.
J. Fox, P. Krause and M. Elvang-Georansson. Argumantation as a general framework for uncertain reasoning. Proceedings of UAI’93,428–434.
D. Gabbay. Labelled Deductive Systems, Oxford University Press, 1991.
J. Kohlas and P.-A. Monney. Probabilistic assumption-based reasoning. Proceedings of UAI’93,485–491.
J. Kohlas and P.-A. Monney. A Mathematical Theory of Hints. Lecture Notes in Economics and Mathematical Systems, Vol. 425, Springer-Verlag, 1995.
K. Laskey and P. Lehner. Assumptions, beliefs and probabilities. Artificial Intelligence 41 (1989/90), 65–77.
D. Le Berre and R. Sabbadin. Decision-theoretic diagnosis and repair: representational and computational issues. Proceedings of DX’97, 141–145, 1997.
G. Provan. An analysis of mATMS-based techniques for computing Dempster-Shafer belief functions. Proceedings of IJCAT89,1115–1120.
P. Smets. Probability of deductibility and belief functions. Proceedings of ECSQARU’93.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Lafage, C., Lang, J., Sabbadin, R. (2000). A logic of supporters. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Information, Uncertainty and Fusion. The Springer International Series in Engineering and Computer Science, vol 516. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5209-3_30
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5209-3_30
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7373-5
Online ISBN: 978-1-4615-5209-3
eBook Packages: Springer Book Archive