zbMATH — the first resource for mathematics

Graded many-valued resolution with aggregation. (English) Zbl 1054.03021
The aim of the paper is to define a resolution truth function \(f_\lor(x,y)\), \(x,y\in[0,1]\), for using it in a many-valued resolution procedure. This function \(f_\lor(x,y)\) provides a truth value \(z\) of a resolvent \([(C\lor B), z]\) of a pair of signed many-valued clauses \([(C\lor A), x]\) and \([(B\lor\neg A), y]\), i.e. clauses which are true with respect to some truth values \(x\) and \(y\) from the unit interval \([0,1]\).
The goal of the paper is achieved by algebraic analysis of such many-valued operators as t-(semi)conorms. The authors introduce a notion of aggregation deficit which is based on the construction of conjunction from residuated implication proposed by D. Dubois and H. Prade [Stochastica 8, 267–279 (1984; Zbl 0581.03016)].

There exist highly related papers that are not cited here:

(*) “Automated deduction for many-valued logics”, by M. Baaz, F. Fermüller and G. Salzer [in: A. Robinson et al. (eds.), Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/Elsevier. 1355–1402 (2001; Zbl 0992.03015)];

(**) “\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)”, by Y. Xu, D. Ruan, E. Kerre and J. Liu [Inf. Sci. 132, 221–239 (2001; Zbl 0997.03006)].

For instance, in (**) the authors develop a resolution calculus for first-order logic having a lattice-ordered set of truth values. It would be very interesting to establish wether this earlier paper by Xu et al. contains a more general result than the present paper.

The authors obtain a sufficient result which could be applied in many-valued theorem proving. However, they use algebraic notation which is not common among logicians, see e.g. (*). Of course it is not a defect of the paper, but it shows that the authors work in a very particular branch of many-valued logic without knowing important results concerning many-valued logic. Also it testifies the lack of commonly adopted symbolic notation and terminology among many-valued logic researchers in general. That constitutes the main methodological problem at the present stage of development of many-valued logic.

03B50 Many-valued logic
03B35 Mechanization of proofs and logical operations
03B52 Fuzzy logic; logic of vagueness
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Full Text: DOI
[1] Butnariu, D.; Klement, E.P.; Zafrany, S., On triangular norm-based propositional fuzzy logics, Fuzzy sets and systems, 69, 241-295, (1995) · Zbl 0844.03011
[2] De Baets, B., Coimplicators, the forgotten connectives, Tatra mt. math. publ., 12, 229-240, (1997) · Zbl 0954.03029
[3] Dubois, D.; Lang, J.; Prade, H., Fuzzy sets in approximate reasoning, part 2: logical approaches, Fuzzy sets and systems, 40, 203-244, (1991) · Zbl 0722.03018
[4] Dubois, D.; Lang, J.; Prade, H., Automated reasoning using possibilistic logicsemantics, belief revision and variable certainty weights, IEEE trans. data knowledge eng., 6, 1, 64-71, (1994)
[5] Dubois, D.; Prade, H., A theorem on implication functions defined from triangular norms, Stochastica, VIII, 267-279, (1984) · Zbl 0581.03016
[6] Fodor, J., On fuzzy implication operators, Fuzzy sets and systems, 42, 293-300, (1991) · Zbl 0736.03006
[7] Fodor, J., Contrapositive symmetry of fuzzy implications, Fuzzy sets and systems, 69, 141-156, (1995) · Zbl 0845.03007
[8] R. Giles, A resolution logic for fuzzy reasoning, Proc. 15th IEEE Symp. on Many-valued Logics Kingston, Canada, pp. 60-67.
[9] Gottwald, S., Fuzzy sets and fuzzy logic, (1993), Vieweg Braunschweig
[10] Hájek, P., Metamathematics of fuzzy logic, (1999), Kluwer Academic Publishers Dordrecht · Zbl 0937.03030
[11] Klement, E.P.; Mesiar, R.; Pap, E., Triangular norms, (2000), Kluwer Academic Publishers Dordrecht · Zbl 0972.03002
[12] Klement, E.P.; Navara, M., Propositional fuzzy logics based on Frank t-norms: a comparison, (), 25-47
[13] Klement, E.P.; Navara, M., A survey of different triangular norm-based propositional fuzzy logics, Fuzzy sets and systems, 101, 241-251, (1999) · Zbl 0945.03032
[14] Lee, R.C.T., Fuzzy logic and the resolution principle, J. assoc. comput. Mach., 19, 109-119, (1972) · Zbl 0245.02020
[15] R. Mesiar, Generated conjunctors and related operators in MV-logic as a basis for AI applications, ECAI’98 Workshop 17, Brighton, 1998, pp. 1-5.
[16] Mundici, D.; Olivetti, N., Resolution and model building in the infinite valued calculus of łukasiewicz, Theoret. comput. sci., 200, 335-366, (1998) · Zbl 0921.03013
[17] Šabo, M., On many valued implications, Tatra mt. math. publ., 14, 161-167, (1998) · Zbl 0940.03061
[18] D. Smutná, P. Vojtáš, New connectives for (full)fuzzy resolution, Advances in Soft Computing, Physica-Verlag, Heidelberg, pp. 146-151. · Zbl 0986.03021
[19] Vojtáš, P., Fuzzy reasoning with tunable t-operators, J. adv. comput. intell., 2, 121-127, (1998)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.