A Restriction Strategy for Automated Reasoning using a Fuzzy Algorithm 


Vol. 4,  No. 4, pp. 1025-1034, Apr.  1997
10.3745/KIPSTE.1997.4.4.1025


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals