{"type":"ScholarlyArticle","title":"Problem Solving of Elementary Algebra by Hierarchical Abstraction","authors":[{"name":"Fujio Nishida","slug":"fujio-nishida","given":"Fujio","family":"Nishida","affiliation":"Department of Electrical Engineering ,; Faculty of Engineering , University of Osaka Prefecture , Sakai , Osaka , Japan 591"},{"name":"Yoneharu Fujita","slug":"yoneharu-fujita","given":"Yoneharu","family":"Fujita","affiliation":"Department of Electrical Engineering ,; Faculty of Engineering , University of Osaka Prefecture , Sakai , Osaka , Japan 591"},{"name":"Hiroji Kusaka","slug":"hiroji-kusaka","given":"Hiroji","family":"Kusaka","affiliation":"Department of Electrical Engineering ,; Faculty of Engineering , University of Osaka Prefecture , Sakai , Osaka , Japan 591"}],"abstract":"This paper presents a hierarchical problem-solving method which searches some applicable transformation rules to the precondition of the problem at various abstract levels using a tree-like address table and finds a global solving policy which reduces the difference between the current state and the goal. The frame of the problem is chosen from the field of elementary algebra.","doi":null,"url":"https://ijcai.org/proceedings/1979/144","pdf":"https://ijcai.org/proceedings/1979/0144.pdf","markdown":"https://ijcai.org/proceedings/1979/144.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/144","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":144,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Sacerdoti, E.D. \"Planning in a Hierarchy of Abstraction Spaces.\" Artif. Intell. 5:1 (1974) 115-135.","title":"Planning in a Hierarchy of Abstraction Spaces","authors":"E D Sacerdoti","year":"1974","venue":"Artif. Intell","doi":null,"url":null,"internal_url":"/proceedings/1973/53"},{"position":2,"raw":"Bledsoe, W.W. \"Non-resolution Theorem Pro- ving.\" Artif. Intell. 9 : 1 (1977) 1-35.","title":"Non-resolution Theorem Proving","authors":"W W Bledsoe","year":"1977","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Nishida, F. and Fujita, Y. \"A Hierarchical and Heuristic Problem-solving in Elementary Al- gebra.\" In Proc. UJCC-78. UJCC Commitee, San Fransisco, California, October, 1978, pp. 99-103.","title":"A Hierarchical and Heuristic Problem-solving in Elementary Algebra","authors":"F Nishida, Y Fujita","year":"1978","venue":"Proc. UJCC-78. UJCC Commitee","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}