Abstract
We investigate the use of substructural logics for dealing with uncertainty. In this paper possibilistic logic is enriched with a new connective for combining information; the language allows then for two combinators: the usual ”and” for performing expansion and the new ”and” for combining information from distinct independent sources, as argued in [Dubois and Prade 85]. A negation is introduced which corresponds to fuzzy set complementation. The resulting logic is given the expected semantics and a proof system in sequent calculus, which is proved sound and complete.
This work has been conceived during a visit at IRIDIA (ULB — Bruxelles, Belgium); it has then been carried on at the institute LADSEB (CNR — Padova, Italy)
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
N. Alechina and P. Smets. A note on modal logics for partial beliefe (manuscript), 1994.
Substructural connectives for merging information in possibilistic logic. LADSEB-CNR Int. Rep. 09, 1994.
D. Dubois and H. Prade. A review of fuzzy set aggregation connectives. Information Sciences 36, 1985, pp. 85–121.
D. Dubois and H. Prade. A survey of belief revision and updating rules in various uncertainty models. Int. J. of Intelligent Systems 9, 1994, pp. 61–100.
D. Dubois, J. Lang and H. Prade. Possibilistic logic In: D. Gabbay, C. Hogger and J. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Clarendon Press 1994.
R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. J. of the ACM, 41, 1994, pp. 340–367.
D. Gabbay. Fibred semantics and the weaving of logics. Draft, Imperial College, 1992.
J. Y. Girard. Linear logic. Theoretical computer science, 50, 1987, pp. 1–101.
P. Hajek, D. Harmancova and R. Verbrugge. A qualitative fuzzy possibilistic logic. Int. J. of Approximate Reasoning 7, 1994.
J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. Theoretical computer science 32, 1984, pp. 297–307.
T. Murai, M. Miyakoshi and M. Shimbo. Measure-based semantics for modal logic. In: R. Lowen and M. Roubens (eds.). Fuzzy logic. Kluwer Academic Publishers, 1993, pp. 395–405.
J. Pavelka. On fuzzy logic II. Zeitschr. f. math. Logik und Grundlagen d. Math 25, 1979, pp. 119–131.
Meeting some neighbours. A dynamic logic meets theories of change and knowledge representation. In J. van Eijck and A. Visser: Logic and information flow. The MIT Press, 1994.
K. I. Rosenthal. Quantales and their applications. Longman 1990.
A. Saffiotti. A belief function logic. Proceedings of AAAI 1992, pp. 642–647.
G. Sambin. Pretopologies and the completeness proof. To appear in The J. of Symbolic Logic.
F. Voorbraak. As far as I know. Epistemic logic and uncertainty. Phd dissertation, Dept. of Philosophy — Utrecht University, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boldrin, L. (1995). A substructural connective for possibilistic logic. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_8
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive