A Restriction Strategy for Automated Reasoning using a Fuzzy Algorithm


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 4, pp. 1025-1034, Apr. 1997
10.3745/KIPSTE.1997.4.4.1025,   PDF Download:

Abstract

Inference process of resolution-based automated reasoning easily consumes the memory of computer without giving any useful result by producing lots of fruitless information which are not necessary for the conclusion. This paper suggests a control strategy for saving the space of computer memory and reducing the inference time. The strategy uses a restriction that comparatively irrelevant axioms do not take part in the resolution. In order to analyze and determine the priorities of the input axioms of joining the inference process, the system employs the fuzzy relational products.


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, B. B. Gi, K. S. Soo, "A Restriction Strategy for Automated Reasoning using a Fuzzy Algorithm," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 4, no. 4, pp. 1025-1034, 1997. DOI: 10.3745/KIPSTE.1997.4.4.1025.

[ACM Style]
Kim Yong Gi, Baek Byeong Gi, and Kang Sung Soo. 1997. A Restriction Strategy for Automated Reasoning using a Fuzzy Algorithm. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 4, 4, (1997), 1025-1034. DOI: 10.3745/KIPSTE.1997.4.4.1025.