6533b826fe1ef96bd1285008

RESEARCH PRODUCT

A Problem Structuring Method

Antonio Caselles

subject

Theoretical computer scienceKnowledge representation and reasoningSystems theoryUncertain dataDynamic problemComputer scienceEquivalence (formal languages)StructuringData typeComputer Science::DatabasesFormal description

description

Given a formal definition of problem and a formal definition of system, the equivalence between both concepts is studied. Considering a problem as a 3-tuple , where D is the set of possible data, R is the set of possible results, and P the set of conditions of the problem, classes of problems are constructed as combinations of types of data, types of results and types of conditions. For example, data can be either literal or numerical, either with uncertainty or not; conditions can be determined by rules, tables, equations, it may have uncertainty, etc. As a case of application it is outlined how some of the most common problems (knowledge representation, search, reasoning and planning, etc.) can be adapted to the formal definitions given for problem and system and can be structured by the method proposed. This method is used in the realistic models generator SIGEM (Caselles, 1988) (a General Systems Theory based programme generator).

yearjournalcountryeditionlanguage
1991-01-01
https://doi.org/10.1007/978-1-4615-3748-9_48