Presentation	1995/7/14 Problem Solving by Equivalent Transformation Kiyoshi Akama,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	Equivalent transformation is one of the most fundamental methods for problem solving. In fact, many problem solving methods can be regarded as special cases of equivalent transformation of some or other expressions. This paper discusses equivalent transformation of declarative programs as a new method of problem solving. The expressive power of declarative programs and arbitrary application order of equivalent transformation rules lead to various paths to reach correct solutions to a given problem. Design of equivalent transformation rules with priorities of rule application determines an algorithm for problem solving. This is expected to provide a new promising framework of algorithm generation for various problem solving, especially in the area of knowledge processing.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Problem solving / equivalent transformation / algorithm generation / program transformation
Paper #
Date of Issue

Conference Information
Committee	SS
Conference Date	1995/7/14(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Software Science (SS)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Problem Solving by Equivalent Transformation
Sub Title (in English)
Keyword(1)	Problem solving
Keyword(2)	equivalent transformation
Keyword(3)	algorithm generation
Keyword(4)	program transformation
1st Author's Name	Kiyoshi Akama
1st Author's Affiliation	Division of System and Information Engineering Hokkaido University()
Date	1995/7/14
Paper #
Volume (vol)	vol.95
Number (no)	144
Page	pp.pp.-
#Pages	8
Date of Issue