Experiments of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
Creators
Description
Abstract: In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. In the experiment, we randomly generated a set of hints with size ranging from 30 to 60 for guiding hyper-resolution based search by the theorem prover. We have successfully found the most useful hints list (with 30 clauses) among 150 * 6 hints lists. Also, we discuss a curious non-linear increase of generated clauses in deducing Axiom(5) by applying our randomized hints strategy.
Keywords: Randomized hints, Lukasiewicz Logic, hyper-resolution, condensed detachment, OTTER.
Title: Experiments of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
Author: Ruo Ando, Yoshiyasu Takefuji
International Journal of Novel Research in Computer Science and Software Engineering
ISSN 2394-7314
Vol. 10, Issue 3, September 2023 - December 2023
Page No: 1-6
Novelty Journals
Website: www.noveltyjournals.com
Published Date: 01-September-2023
DOI: https://doi.org/10.5281/zenodo.8307890
Paper Download Link (Source)
https://www.noveltyjournals.com/upload/paper/Experiments%20of%20Randomized%20Hints-01092023-2.pdf
Notes
Files
Experiments of Randomized Hints-01092023-2.pdf
Files
(349.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:b40ec6d44fae69d0a12deac690b302ca
|
349.4 kB | Preview Download |
Additional details
Related works
- Is published in
- Journal article: 2394-7314 (ISSN)
- Journal article: https://www.noveltyjournals.com/upload/paper/Experiments%20of%20Randomized%20Hints-01092023-2.pdf (URL)
Subjects
- Paper Download Link (Source)
- https://www.noveltyjournals.com/upload/paper/Experiments%20of%20Randomized%20Hints-01092023-2.pdf