| Goal
|
目標，是一種導向性的陳述。在英文裡，稱之為Imperative Statement， 也是一種編程語言的風格（Style)。所以，使用者會根據個人的需要，對現有的邏輯模型進行修訂，如果已有萬全符合要求的邏輯模型，那麼，撰寫邏輯模型的任務目標就已完成。換言之，使用邏輯模型的目標就是把模型內容的搜尋於修訂，集成在一個完備並有數據支撐的工作平台。
The goal for any problem solving practice is to search for a suitable solution. The goal of a goal statement in a logic model, is the specify the scope of search, and ideally provide enough evidence to direct the space of search. In this case, all searches will start with a goal statement that narrow the search space in the space of problem describing or opportunity presenting languages. In other words, the space of languages.
From a programming paradigm viewpoint, Logic Model is a mechanism to help shape the Meta-Lanauge, or search for an existing useful programming language, to solve the intended problem at hand. On the other hand, PKC is a user interface for searching in a database of Domain Specific Languages or some abstract space of languages, so that the chance of reusing prior experience is much larger, since languages like mathematics, has an unreasonable effectiveness in compressing problems. In most cases, when a suitable or closely related DSL has been found, the question or desirable goal at hand is mostly described already.
|