In the presence of gaps, all the above problem formalizations are NP-hard.
Reiter approaches the formalization problem conservatively.
ADM solves the formalization problem by representing all the artifacts involved in the reengineering process as models [5].
Part of the response to this problem was formalization of SBA training in 2010 with a curriculum that includes three months of theory and twelve months of clinical practice.
As long as formalization problems remain relatively simple, we can treat formalization as an art rather than as a discipline with a well-articulated methodology.
In considering these doubts, it is necessary to appreciate the complexity of these formalization problems, and the preliminary and tentative status of the research program.
Despite the many capabilities that ClassyFire offers, and the different methods used to circumvent some of the formalization problems mentioned so far, certain limitations in ClassyFire still remain.
This technique can be successfully applied to quite complex formalization problems.[28] But nonmonotonic solutions to the framework have been extensively investigated and deployed; these lead to new and interesting lines of logical development.
Even for well-defined formalizations, the problem is frequently solved in an ad hoc manner with heuristics that do not guarantee to find the best motif.
