Skip to main content
Top

2016 | OriginalPaper | Chapter

9. Paraconsistency, Chellas’s Conditional Logics, and Association Rules

Authors : Tetsuya Murai, Yasuo Kudo, Seiki Akama

Published in: Towards Paraconsistent Engineering

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Paraconsistency and its dual paracompleteness are now counted as key concepts in intelligent decision systems because so much inconsistent and incomplete information can be found around us. In this paper, a framework of conditional models for conditional logic and their measure-based extensions are introduced in order to represent association rules in a logical way. Then paracomplete and paraconsistent aspects of conditionals are examined in the framework. Finally we apply conditionals into the definition of association rules in data mining with confidence and consider their extension to the case of Dempster-Shaer theory of evidence serving double-indexed confidence.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
In [7], Chellas used only \({{\Box }\!\rightarrow }\). The latter connective \({{\Diamond }\!\rightarrow }\) follows Lewis [11].
 
Literature
1.
go back to reference Agrawal, R., Imielinski, T., Swami, A.: Mining association rules between sets of items in large databases. In: Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 207–216 (1993) Agrawal, R., Imielinski, T., Swami, A.: Mining association rules between sets of items in large databases. In: Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 207–216 (1993)
2.
go back to reference Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Fayyad, U.M., Platetsky-Shapiro, G., Smyth, P., Uthurusamy, R. (eds.) Advances in Knowledge Discovery and Data Mining, pp. 307–328. AAAI Press/The MIT Press (1996) Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Fayyad, U.M., Platetsky-Shapiro, G., Smyth, P., Uthurusamy, R. (eds.) Advances in Knowledge Discovery and Data Mining, pp. 307–328. AAAI Press/The MIT Press (1996)
3.
go back to reference Aggarwal, C.C., Philip, S.Y.: Online generation of association rules. In: Proceedings of the International Conference on Data Engineering, pp. 402–411 (1998) Aggarwal, C.C., Philip, S.Y.: Online generation of association rules. In: Proceedings of the International Conference on Data Engineering, pp. 402–411 (1998)
4.
go back to reference Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of 28th ISMVL, pp. 114–119 (1998) Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of 28th ISMVL, pp. 114–119 (1998)
5.
go back to reference Akama, S., Abe, J.M.: Fuzzy annotated logics. In: Proceedings of IPMU 2000, pp. 504–509 (2000) Akama, S., Abe, J.M.: Fuzzy annotated logics. In: Proceedings of IPMU 2000, pp. 504–509 (2000)
6.
go back to reference Akama, S., Abe, J.M.: Paraconsistent logics viewed as a foundation of data warehouses. Advances in Logic, Artificial Intelligence and Robotics, pp. 96–103. IOS Press (2002) Akama, S., Abe, J.M.: Paraconsistent logics viewed as a foundation of data warehouses. Advances in Logic, Artificial Intelligence and Robotics, pp. 96–103. IOS Press (2002)
7.
go back to reference Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980) Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
8.
go back to reference da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschr. f. Math. Logik und Grundlagen d. Math. 37, 561–570 (1991) da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschr. f. Math. Logik und Grundlagen d. Math. 37, 561–570 (1991)
10.
go back to reference Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Springer (1988) Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Springer (1988)
11.
12.
go back to reference Murai, T., Miyakoshi, M., Shimbo, M.: Measure-based semantics for modal logic. In: Lowen, R., Roubens, M. (eds.) Fuzzy Logic: State of the Art, pp. 395–405. Kluwer, Dordrecht (1993) Murai, T., Miyakoshi, M., Shimbo, M.: Measure-based semantics for modal logic. In: Lowen, R., Roubens, M. (eds.) Fuzzy Logic: State of the Art, pp. 395–405. Kluwer, Dordrecht (1993)
13.
go back to reference Murai, T., Miyakoshi, M., Shimbo, M.: Soundness and completeness theorems between the Dempster-Shafer theory and logic of belief. In: Proceedings of the 3rd FUZZ-IEEE (WCCI), pp. 855–858 (1994) Murai, T., Miyakoshi, M., Shimbo, M.: Soundness and completeness theorems between the Dempster-Shafer theory and logic of belief. In: Proceedings of the 3rd FUZZ-IEEE (WCCI), pp. 855–858 (1994)
14.
go back to reference Murai, T., Miyakoshi, M., Shimbo, M.: A logical foundation of graded modal operators defined by fuzzy measures. In: Proceedings of the 4th FUZZ-IEEE/2nd IFES, pp. 151–156 (1995) Murai, T., Miyakoshi, M., Shimbo, M.: A logical foundation of graded modal operators defined by fuzzy measures. In: Proceedings of the 4th FUZZ-IEEE/2nd IFES, pp. 151–156 (1995)
15.
go back to reference Murai, T., Sato, Y.: Association rules from a point of view of modal logic and rough sets. In: Proceedings of the 4th AFSS, pp. 427–432 (2000) Murai, T., Sato, Y.: Association rules from a point of view of modal logic and rough sets. In: Proceedings of the 4th AFSS, pp. 427–432 (2000)
16.
go back to reference Murai, T., Nakata, M., Sato, Y.: A note on conditional logic and association rules. In: Terano, T., et al. (eds.) New Frontiers in Artificial Intelligence, LNAI, vol. 2253, pp. 390–394. Springer (2001) Murai, T., Nakata, M., Sato, Y.: A note on conditional logic and association rules. In: Terano, T., et al. (eds.) New Frontiers in Artificial Intelligence, LNAI, vol. 2253, pp. 390–394. Springer (2001)
17.
go back to reference Murai, T., Nakata, M., Sato, Y.: Association rules as relative modal sentences based on conditional probability. Commun. Inst. Inf. Comput. Mach. 5(2), 73–76 (2002) Murai, T., Nakata, M., Sato, Y.: Association rules as relative modal sentences based on conditional probability. Commun. Inst. Inf. Comput. Mach. 5(2), 73–76 (2002)
18.
go back to reference Murai, T., Sato, Y., Kudo, Y.: Paraconsistency and neighborhood models in modal logic. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, vol. XII, pp. 220–223 (2003) Murai, T., Sato, Y., Kudo, Y.: Paraconsistency and neighborhood models in modal logic. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, vol. XII, pp. 220–223 (2003)
19.
go back to reference Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press (1976) Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press (1976)
Metadata
Title
Paraconsistency, Chellas’s Conditional Logics, and Association Rules
Authors
Tetsuya Murai
Yasuo Kudo
Seiki Akama
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-40418-9_9

Premium Partner