Evaluating many valued modus ponens

Dana Hliněná; Vladislav Biba

Kybernetika (2012)

  • Volume: 48, Issue: 3, page 465-477
  • ISSN: 0023-5954

Abstract

top
This paper deals with many valued case of modus ponens. Cases with implicative and with clausal rules are studied. Many valued modus ponens via discrete connectives is studied with implicative rules as well as with clausal rules. Some properties of discrete modus ponens operator are given.

How to cite

top

Hliněná, Dana, and Biba, Vladislav. "Evaluating many valued modus ponens." Kybernetika 48.3 (2012): 465-477. <http://eudml.org/doc/246189>.

@article{Hliněná2012,
abstract = {This paper deals with many valued case of modus ponens. Cases with implicative and with clausal rules are studied. Many valued modus ponens via discrete connectives is studied with implicative rules as well as with clausal rules. Some properties of discrete modus ponens operator are given.},
author = {Hliněná, Dana, Biba, Vladislav},
journal = {Kybernetika},
keywords = {modus ponens; fuzzy logic; aggregation deficit; discrete connectives; fuzzy logic; modus ponens; aggregation deficit; discrete connectives},
language = {eng},
number = {3},
pages = {465-477},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Evaluating many valued modus ponens},
url = {http://eudml.org/doc/246189},
volume = {48},
year = {2012},
}

TY - JOUR
AU - Hliněná, Dana
AU - Biba, Vladislav
TI - Evaluating many valued modus ponens
JO - Kybernetika
PY - 2012
PB - Institute of Information Theory and Automation AS CR
VL - 48
IS - 3
SP - 465
EP - 477
AB - This paper deals with many valued case of modus ponens. Cases with implicative and with clausal rules are studied. Many valued modus ponens via discrete connectives is studied with implicative rules as well as with clausal rules. Some properties of discrete modus ponens operator are given.
LA - eng
KW - modus ponens; fuzzy logic; aggregation deficit; discrete connectives; fuzzy logic; modus ponens; aggregation deficit; discrete connectives
UR - http://eudml.org/doc/246189
ER -

References

top
  1. De Baets, B., Coimplicators, the forgotten connectives, Tatra Mt. Math. Publ. 12 (1997), 229–240. Zbl0954.03029MR1607142
  2. Fodor, J. C., Roubens, M., Fuzzy Preference Modelling and Multicriteria Decision Support, Kluwer Academic Publishers, Dordrecht 1994. Zbl0827.90002
  3. Gottwald, S., Fuzzy Sets and Fuzzy Logic, Vieweg, Braunschweig 1993. Zbl1088.03024MR1218623
  4. Hájek, P., Metamathematics of Fuzzy Logic, Kluwer Acad. Publ., Dordrecht 1999. Zbl1007.03022MR1900263
  5. Horváth, T., Vojtáš, P., Induction of Fuzzy and Annotated Logic Programs, In: ILP 2006 (S. Muggleton, R. Otero, and A. Tamaddoni-Nezhad, eds.), LNAI 4455, Springer-Verlag, Berlin – Heidelberg 2007, pp. 260–274. Zbl1201.68089MR2499612
  6. Kacprzyk, J., Pasi, G., Vojtáš, P., et al., Fuzzy querying: Issues and perspectives, Kybernetika 36 (2000), 6, 605–616. 
  7. Klement, E. P., Mesiar, R., Pap, E., Triangular Norms, Kluwer, Dordrecht 2000. Zbl1087.20041MR1790096
  8. Krajči, S., Lencses, R., Vojtáš, P., A comparison of fuzzy and annotated logic programming, Fuzzy Sets and Systems 144 (2004), 173–192. Zbl1065.68024MR2072454
  9. Mesiar, R., Generated conjunctors and related operators in MV-logic as a basis for AI applications, In: ECAI'98 Workshop W17, Brighton, pp. 1–5. 
  10. Mundici, D., Olivetti, N., 10.1016/S0304-3975(98)00012-7, Theoret. Comp. Sci. 200 (1998), 335–366. Zbl0921.03013MR1625499DOI10.1016/S0304-3975(98)00012-7
  11. Smutná, D., Vojtáš, P., New connectives for (full)fuzzy resolution, In: Advances in Soft Computing, Physica-Verlag, Heidelberg 2000, pp. 146–151. Zbl0986.03021
  12. Smutná-Hliněná, D., Vojtáš, P., 10.1016/j.fss.2003.06.010, Fuzzy Sets and Systems 143 (2004), 157–168. Zbl1054.03021DOI10.1016/j.fss.2003.06.010
  13. Schweizer, B., Sklar, A., Probabilistic Metric Spaces, North Holland, New York 1983. Zbl0546.60010MR0790314
  14. Šabo, M., On many valued implications, Tatra Mt. Math. Publ. 14 (1998), 161–167. Zbl0940.03061MR1651207
  15. Vojtáš, P., Fuzzy reasoning with tunable t-operators, J. Adv. Comp. Intell. 2 (1998), 121–127. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.