Application and Implementation of Fuzzy Relational Request for Improving the Performance of Automated Reasoning


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 8, pp. 2050-2060, Aug. 1998
10.3745/KIPSTE.1998.5.8.2050,   PDF Download:

Abstract

Weighting strategy is one of the necessary control strategies in automated reasoning to solve problems within allowable time and computer memory. But, the strategy still consumes too much time since it depends soly on the user's experience and needs much of the user's manual work at each stage. This research suggests a tool which automates the weighting system to generate the weighting thesaurus and merges it to the mechanical theorem prover.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. Y. Gi, C. J. Hee, J. J. Ae, "Application and Implementation of Fuzzy Relational Request for Improving the Performance of Automated Reasoning," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 8, pp. 2050-2060, 1998. DOI: 10.3745/KIPSTE.1998.5.8.2050.

[ACM Style]
Kim Yong Gi, Cho Jae Hee, and Jin Jeong Ae. 1998. Application and Implementation of Fuzzy Relational Request for Improving the Performance of Automated Reasoning. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 8, (1998), 2050-2060. DOI: 10.3745/KIPSTE.1998.5.8.2050.