Skip to main content
Top

2015 | OriginalPaper | Chapter

Expert System with Web Interface Based on Logic of Plausible Reasoning

Authors : Grzegorz Legień, Bartłomiej Śnieżyński, Dorota Wilk-Kołodziejczyk, Stanisława Kluska-Nawarecka, Edward Nawarecki, Krzysztof Jaśkowiec

Published in: Database and Expert Systems Applications

Publisher: Springer International Publishing

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

search-config
loading …

Abstract

The paper presents an expert system based on Logic of Plausible Reasoning (LPR). This formalism reflects human ways of knowledge representation and reasoning. The knowledge is modeled using several kinds of formulas representing statements, hierarchies, similarities, dependencies and implications. Several types of inference patterns are defined. Knowledge uncertainty can be modeled. The paper is structured as follows. Research related to LPR is presented. Next, the formalism is introduced and a Web-based application, which was developed for this research, is described. Finally, a case study is presented – a prototype expert system which recommends a material and a technology for a casting process.

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
A rake is a tool used in sewage-treatment plants. Its main task is to mix organic materials such as straw, grass, hay, etc. with semi-liquid material.
 
Literature
1.
go back to reference Abedinzadeh, S., Sadaoui, S.: A trust-based service suggestion system using human plausible reasoning. Appl. Intell. 41(1), 55–75 (2014)CrossRef Abedinzadeh, S., Sadaoui, S.: A trust-based service suggestion system using human plausible reasoning. Appl. Intell. 41(1), 55–75 (2014)CrossRef
2.
go back to reference Abramowicz, W., Bukowska, E., Dzikowski, J., Filipowska, A., Kaczmarek, M.: Semantically enabled experts finding system ontologies, reasoning approach and web interface design. In: 15th ADBIS Conference (2011) Abramowicz, W., Bukowska, E., Dzikowski, J., Filipowska, A., Kaczmarek, M.: Semantically enabled experts finding system ontologies, reasoning approach and web interface design. In: 15th ADBIS Conference (2011)
3.
go back to reference Althoff, K., et al.: Collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems. In: Proceedings of the 3rd KESE Workshop (2007) Althoff, K., et al.: Collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems. In: Proceedings of the 3rd KESE Workshop (2007)
4.
go back to reference Boehm-Davis, D., Dontas, K., Michalski, R.S.: Plausible reasoning: an outline of theory and the validation of its structural properties. In: Intelligent Systems: State of the Art and Future Directions, North Holland (1990) Boehm-Davis, D., Dontas, K., Michalski, R.S.: Plausible reasoning: an outline of theory and the validation of its structural properties. In: Intelligent Systems: State of the Art and Future Directions, North Holland (1990)
5.
go back to reference Boehm-Davis, D., Dontas, K., Michalski, R.S.: A validation and exploration of the Collins-Michalski theory of plausible reasoning. Technical report, George Mason University (1990) Boehm-Davis, D., Dontas, K., Michalski, R.S.: A validation and exploration of the Collins-Michalski theory of plausible reasoning. Technical report, George Mason University (1990)
6.
go back to reference Cawsey, A.: Using plausible inference rules in description planning. In: Proceedings of the 5th EACL Conference, Congress Hall, Berlin (1991) Cawsey, A.: Using plausible inference rules in description planning. In: Proceedings of the 5th EACL Conference, Congress Hall, Berlin (1991)
7.
go back to reference Collins, A.: Human plausible reasoning. Technical Report 3810, Bolt Beranek and Newman Inc. (1978) Collins, A.: Human plausible reasoning. Technical Report 3810, Bolt Beranek and Newman Inc. (1978)
8.
go back to reference Collins, A., Michalski, R.S.: The logic of plausible reasoning: a core theory. Cogn. Sci. 13, 1–49 (1989)CrossRef Collins, A., Michalski, R.S.: The logic of plausible reasoning: a core theory. Cogn. Sci. 13, 1–49 (1989)CrossRef
9.
go back to reference Drezewski, R., Sepielak, J., Filipkowski, W.: The application of social network analysis algorithms in a system supporting money laundering detection. Inf. Sci. 295, 18–32 (2015)MathSciNetCrossRef Drezewski, R., Sepielak, J., Filipkowski, W.: The application of social network analysis algorithms in a system supporting money laundering detection. Inf. Sci. 295, 18–32 (2015)MathSciNetCrossRef
10.
go back to reference Gabbay, D.M.: LDS - Labeled Deductive Systems. Oxford University Press, Oxford (1991) Gabbay, D.M.: LDS - Labeled Deductive Systems. Oxford University Press, Oxford (1991)
11.
go back to reference Kluska-Nawarecka, S., Nawarecki, E., Śnieżyński, B., Wilk-Kołodziejczyk, D.: The recommendation system knowledge representation and reasoning procedures under uncertainty for metal casting. Metalurgija 54(1), 263–266 (2015) Kluska-Nawarecka, S., Nawarecki, E., Śnieżyński, B., Wilk-Kołodziejczyk, D.: The recommendation system knowledge representation and reasoning procedures under uncertainty for metal casting. Metalurgija 54(1), 263–266 (2015)
12.
go back to reference Liao, S.H.: Expert system methodologies and applications a decade review from 1995 to 2004. Expert Syst. Appl. 28(1), 93–103 (2005)CrossRef Liao, S.H.: Expert system methodologies and applications a decade review from 1995 to 2004. Expert Syst. Appl. 28(1), 93–103 (2005)CrossRef
13.
go back to reference Ligeza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)MATH Ligeza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)MATH
15.
go back to reference Neapolitan, R.E.: Probabilistic Reasoning In Expert Systems: Theory and Algorithms. CreateSpace Independent Publishing Platform, USA (2012) Neapolitan, R.E.: Probabilistic Reasoning In Expert Systems: Theory and Algorithms. CreateSpace Independent Publishing Platform, USA (2012)
17.
go back to reference Riley, G.: Clips - an expert system building tool. In: Proceedings of Technology 2001 Conference, San Jose, CA (1991) Riley, G.: Clips - an expert system building tool. In: Proceedings of Technology 2001 Conference, San Jose, CA (1991)
18.
go back to reference Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)MATH Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)MATH
19.
20.
go back to reference Śnieżyński, B.: Probabilistic label algebra for the logic of plausible reasoning. In: Kłopotek, M., et al. (eds.) Intelligent Information Systems 2002. Advances in Soft Computing, vol. 17, pp. 267–277. Springer, Heidelberg (2002) Śnieżyński, B.: Probabilistic label algebra for the logic of plausible reasoning. In: Kłopotek, M., et al. (eds.) Intelligent Information Systems 2002. Advances in Soft Computing, vol. 17, pp. 267–277. Springer, Heidelberg (2002)
21.
go back to reference Śnieżyński, B.: Proof searching algorithm for the logic of plausible reasoning. In: Kłopotek, M., et al. (eds.) Intelligent Information Processing and Web Mining. Advances in Soft Computing, vol. 22, pp. 393–398. Springer, Heidelberg (2003) Śnieżyński, B.: Proof searching algorithm for the logic of plausible reasoning. In: Kłopotek, M., et al. (eds.) Intelligent Information Processing and Web Mining. Advances in Soft Computing, vol. 22, pp. 393–398. Springer, Heidelberg (2003)
22.
go back to reference Sniezynski, B., Kluska-Nawarecka, S., Nawarecki, E., Wilk-Kołodziejczyk, D.: Intelligent information system based on logic of plausible reasoning. In: Hippe, Z.S., Kulikowski, J.L., Mroczek, T., Wtorek, J. (eds.) Issues and Challenges in Artificial Intelligence. Studies in Computational Intelligence, vol. 559, pp. 57–74. Springer, Switzerland (2014) Sniezynski, B., Kluska-Nawarecka, S., Nawarecki, E., Wilk-Kołodziejczyk, D.: Intelligent information system based on logic of plausible reasoning. In: Hippe, Z.S., Kulikowski, J.L., Mroczek, T., Wtorek, J. (eds.) Issues and Challenges in Artificial Intelligence. Studies in Computational Intelligence, vol. 559, pp. 57–74. Springer, Switzerland (2014)
23.
go back to reference Szydlo, T., Nawrocki, P., Brzoza-Woch, R., Zielinski, K.: Power aware MOM for telemetry-oriented applications using gprs-enabled embedded devices - levee monitoring use case. In: Proceedings of the FedCSIS 2014, pp. 1059–1064, IEEE, Sept 2014 Szydlo, T., Nawrocki, P., Brzoza-Woch, R., Zielinski, K.: Power aware MOM for telemetry-oriented applications using gprs-enabled embedded devices - levee monitoring use case. In: Proceedings of the FedCSIS 2014, pp. 1059–1064, IEEE, Sept 2014
24.
go back to reference Virvou, M.: A cognitive theory in an authoring tool for intelligent tutoring systems. In: Kamel, A.E., Mellouli, K., Borne, P. (eds.) Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics (2002) Virvou, M.: A cognitive theory in an authoring tool for intelligent tutoring systems. In: Kamel, A.E., Mellouli, K., Borne, P. (eds.) Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics (2002)
25.
go back to reference Virvou, M., Boulay, B.D.: Human plausible reasoning for intelligent help. User Model. User-Adap. Inter. 9, 321–375 (1999)CrossRef Virvou, M., Boulay, B.D.: Human plausible reasoning for intelligent help. User Model. User-Adap. Inter. 9, 321–375 (1999)CrossRef
Metadata
Title
Expert System with Web Interface Based on Logic of Plausible Reasoning
Authors
Grzegorz Legień
Bartłomiej Śnieżyński
Dorota Wilk-Kołodziejczyk
Stanisława Kluska-Nawarecka
Edward Nawarecki
Krzysztof Jaśkowiec
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-22852-5_2

Premium Partner