Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
Secure and Optimal Base Contraction in Graded {\L}ukasiewicz Logics

Publication Type:

Conference Paper

Authors:

Pere Pardo [1]; Pilar Dellunde [2]; Lluís Godo [3]

Source:

Artificial Intelligence Research and Development. Proceedings of the 12th International Conference of the Catalan Association fo Artificial Intelligence, IOS Press, Volume 202, Cardona, Catalonia, Spain, p.265-274 (2009)

ISBN:

978-1-60750-061-2

Keywords:

Base Contraction [4]; T-norm fuzzy logic [5]; Partial meet [6]

Abstract:

The operation of base contraction was characterized using remainder sets for several logics. The case of {\L}ukasiewicz logics with truth-constants requires to switch from remainders to maximal consistent subsets. We characterize first contraction operators that establish a security-threshold, and use these to define optimal operators, which are provably sound w.r.t. axioms. Finally, these are shown to collapse to the former case for any finite base.

Projects: 
AT [10]
LOCOMOTION [11]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/secure-and-optimal-base-contraction-graded-lukasiewicz-logics

Links:
[1] http://www.iiia.csic.es/en/individual/pere-pardo
[2] http://www.iiia.csic.es/en/individual/pilar-dellunde
[3] http://www.iiia.csic.es/en/individual/lluis-godo
[4] http://www.iiia.csic.es/en/publications/keyword/Base Contraction
[5] http://www.iiia.csic.es/en/publications/keyword/T-norm fuzzy logic
[6] http://www.iiia.csic.es/en/publications/keyword/Partial meet
[7] http://www.iiia.csic.es/en/publications/export/tagged/3565
[8] http://www.iiia.csic.es/en/publications/export/xml/3565
[9] http://www.iiia.csic.es/en/publications/export/bib/3565
[10] http://www.iiia.csic.es/en/project/at
[11] http://www.iiia.csic.es/en/project/locomotion-0