Skip to main content
Top

2018 | OriginalPaper | Chapter

Limited Constraint Problems Reasoning on Computer Based on “And/Or” Tree

Authors : Danyang Cao, Lina Duan, Xue Gao, Lei Gao

Published in: Advances in Computer Science and Ubiquitous Computing

Publisher: Springer Singapore

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

search-config
loading …

Abstract

In traditional ways, we deal with the reasoning on computer in many ways, such as OWA, fuzzy Petri nets or etc. But all of these methods could not apply to solve the constraint problems. This paper gives some definitions about the constraint problems and propose a solution which is based on the “and/or” tree structure to solve the limited constraint problems. It can be more flexible and efficient. At the end of this paper, there is a specific and actual example which is an expert system that uses this solution to show how it works. It proves that this method could be applied on solving limited constraint problems.

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!

Literature
1.
go back to reference Wang, S., Zhang, L.: Qualitative and quantitative representing and reasoning for goals satisfiability. J. Softw. 22(4), 593–608 (2011)CrossRef Wang, S., Zhang, L.: Qualitative and quantitative representing and reasoning for goals satisfiability. J. Softw. 22(4), 593–608 (2011)CrossRef
2.
go back to reference Xu, H., Li, X.Z.: A parallel reasoning algorithm based on fuzzy petri nets. J. Syst. Simul. S1 (2007) Xu, H., Li, X.Z.: A parallel reasoning algorithm based on fuzzy petri nets. J. Syst. Simul. S1 (2007)
3.
go back to reference Liu, Z.Q., Lin, D.D.: Fuzzy decision tree based inference techniques for network forensic analysis. J. Softw. 18(10), 2635–2644 (2008)CrossRef Liu, Z.Q., Lin, D.D.: Fuzzy decision tree based inference techniques for network forensic analysis. J. Softw. 18(10), 2635–2644 (2008)CrossRef
4.
go back to reference Apt, K.: Principles of constraint programming. J. Camb. Univ. Press. 23(3), 135–147 (2003)MATH Apt, K.: Principles of constraint programming. J. Camb. Univ. Press. 23(3), 135–147 (2003)MATH
6.
go back to reference Wang, W.S.: Artificial Intelligence and Its Application. Electronic Industry Press, Beijing (2000) Wang, W.S.: Artificial Intelligence and Its Application. Electronic Industry Press, Beijing (2000)
7.
go back to reference Wang, H.L., Feng, Y.Q.: Research on decomposition and transformation of complex decision problem based on cloud AND/OR tree. J. Harbin Inst. Technol. 39(7), 1131–1134 (2007) Wang, H.L., Feng, Y.Q.: Research on decomposition and transformation of complex decision problem based on cloud AND/OR tree. J. Harbin Inst. Technol. 39(7), 1131–1134 (2007)
8.
go back to reference Peng, G.J., Hwang, W.L., Chen, S.J.: AND-OR tree-based mode selection for video coding. Signal Image Video Process. 6(2), 259–271 (2012)CrossRef Peng, G.J., Hwang, W.L., Chen, S.J.: AND-OR tree-based mode selection for video coding. Signal Image Video Process. 6(2), 259–271 (2012)CrossRef
9.
go back to reference Suzuki, T., Nakamura, R.: The Eigen distribution of an AND-OR tree under directional algorithms. IAENG Int. J. Appl. Math. 42(2), 122–128 (2012)MathSciNet Suzuki, T., Nakamura, R.: The Eigen distribution of an AND-OR tree under directional algorithms. IAENG Int. J. Appl. Math. 42(2), 122–128 (2012)MathSciNet
10.
go back to reference Ma, X.N., Dong, B.T.: AND/OR Tree-based approach for web service composition. J. Comput. Inf. Syst. 5(2), 727–734 (2009) Ma, X.N., Dong, B.T.: AND/OR Tree-based approach for web service composition. J. Comput. Inf. Syst. 5(2), 727–734 (2009)
11.
go back to reference Rechenberg, P.: Was ist backtrack-programmierung? J. it – Inf. Technol. 17(1–6), 276–282 (1975)MATH Rechenberg, P.: Was ist backtrack-programmierung? J. it – Inf. Technol. 17(1–6), 276–282 (1975)MATH
12.
go back to reference Ayan, K., Kilic, U.: Optimal power flow of two-terminal HVDC systems using backtracking search algorithm. Int. J. Electr. Power Energy Syst. 78, 326–335 (2016)CrossRef Ayan, K., Kilic, U.: Optimal power flow of two-terminal HVDC systems using backtracking search algorithm. Int. J. Electr. Power Energy Syst. 78, 326–335 (2016)CrossRef
13.
go back to reference Shao, X., Han, D.: A tow-grid method with backtracking technique for the stream function form of the Navier-Stokes equations. Appl. Math. Comput. 274, 649–660 (2016)MathSciNet Shao, X., Han, D.: A tow-grid method with backtracking technique for the stream function form of the Navier-Stokes equations. Appl. Math. Comput. 274, 649–660 (2016)MathSciNet
14.
go back to reference Boneh, A., Boneh, S., Caror, R.J.: Constraint classification in mathematical programming. Math. Program. 61(1), 61–73 (1993)MathSciNetCrossRef Boneh, A., Boneh, S., Caror, R.J.: Constraint classification in mathematical programming. Math. Program. 61(1), 61–73 (1993)MathSciNetCrossRef
Metadata
Title
Limited Constraint Problems Reasoning on Computer Based on “And/Or” Tree
Authors
Danyang Cao
Lina Duan
Xue Gao
Lei Gao
Copyright Year
2018
Publisher
Springer Singapore
DOI
https://doi.org/10.1007/978-981-10-7605-3_46