Current resolution based automated theorem provers, such as ITP and OTTER, adopt strategies to avoid many fruitless paths by their judicious and "informed" application. Without a suitable strategy guiding the inference, too many often irrelevant clauses may derive, and those clauses may lead the program easily into a blind alley. Therefore, the strategies are the must in any serious use of automated reasoning. Weighting strategy is one of the necessary strategies to produce an answer in allowably short time and space along with the set of support strategy in the area of the resolution based automated reasoning. But, the weighting strategy is still based on the user's knowledge or intuition of the problem to be solved. / The dissertation suggests a method for control of inferential strategies of resolution based architectures, and then applies the method to some of domains in automated reasoning fields to inspect the effect of the new scheme. Also, the results of using the various fuzzy implication operators were compared by means of the new weighting mechanism to give a choice of a fuzzy implication operator in a specific domain of automated reasoning. The method for speeding up the logical inference is tested in conjunction with both of the theorem provers called ITP and OTTER. / The new weighting mechanism will help the user of the resolution based mechanical theorem prover decide the weighting pattern and the weights to reduce the deduction time and space automatically from the given input problem. The new mechanism employs the triangle fuzzy relational products and fast fuzzy relational algorithm. / Source: Dissertation Abstracts International, Volume: 53-07, Section: B, page: 3598. / Major Professor: Ladislav J. Kohout. / Thesis (Ph.D.)--The Florida State University, 1992.
| Identifer | oai:union.ndltd.org:fsu.edu/oai:fsu.digital.flvc.org:fsu_76694 |
| Contributors | Kim, Yong-Gi., Florida State University |
| Source Sets | Florida State University |
| Language | English |
| Detected Language | English |
| Type | Text |
| Format | 270 p. |
| Rights | On campus use only. |
| Relation | Dissertation Abstracts International |
Page generated in 0.0021 seconds