---
title: "On Methods To Decide Solvability of Transformation Problems"
authors:
  - "P. Florath"
doi: ""
url: "https://ijcai.org/proceedings/1975/5"
pdf: "https://ijcai.org/proceedings/1975/0005.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "29-32"
track: "Mathematical and Theoretical Aspects of A.I"
keywords:
---

# On Methods To Decide Solvability of Transformation Problems

P. Florath

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, pages 29-32.

## Abstract

Methods are introduced to decide the solvability of transformation problems. ~uch methods may be applied to save some of the problem solvir.g effort. Supposition for applying the stated methods is that information about the structure of the problem space is available for detectins separated subsets of the situation set. Solvability of transformation problems is decided by means of systems of separated subsets of situations. For a class of problem spaces the detection of separated subsets of situations and the decision of solvability of problems are investigated in more detail.