Model generation using generalized lemma

Junichi Shimizu; Miyuki Koshimura; Hiroshi Fujita; Ryuzo Hasegawa

Model generation using generalized lemma

Junichi Shimizu, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Intelligence Science

Research output: Contribution to journal › Article › peer-review

Abstract

We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.

Original language	English
Pages (from-to)	55-59
Number of pages	5
Journal	Research Reports on Information Science and Electrical Engineering of Kyushu University
Volume	8
Issue number	1
Publication status	Published - Jan 1 2003

All Science Journal Classification (ASJC) codes

Computer Science(all)
Electrical and Electronic Engineering

Cite this

@article{9a4137e3d35d4113b433fbd1485413e2,

title = "Model generation using generalized lemma",

abstract = "We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.",

author = "Junichi Shimizu and Miyuki Koshimura and Hiroshi Fujita and Ryuzo Hasegawa",

year = "2003",

month = jan,

day = "1",

language = "English",

volume = "8",

pages = "55--59",

journal = "Research Reports on Information Science and Electrical Engineering of Kyushu University",

issn = "1342-3819",

publisher = "Kyushu University, Faculty of Science",

number = "1",

}

TY - JOUR

T1 - Model generation using generalized lemma

AU - Shimizu, Junichi

AU - Koshimura, Miyuki

AU - Fujita, Hiroshi

AU - Hasegawa, Ryuzo

PY - 2003/1/1

Y1 - 2003/1/1

N2 - We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.

AB - We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.

UR - http://www.scopus.com/inward/record.url?scp=0037498179&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0037498179&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0037498179

SN - 1342-3819

VL - 8

SP - 55

EP - 59

JO - Research Reports on Information Science and Electrical Engineering of Kyushu University

JF - Research Reports on Information Science and Electrical Engineering of Kyushu University

IS - 1

ER -

Model generation using generalized lemma

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this