Contextualized 如來佛掌心
When talking with User:Kevin, I realized that explaining the idea of Universality requires an intuitive, and culturally grounded analogy. I started talking about the palm of the Buddha, which was used in the famous novel, where it is the universal container that all things must be included in it boundary. On the other hand, it is a cognitive device in a literary work, that helps people to understand universality.
All computations are some kind of Search
In computing science, the most general analogy that one can conversationally speak of, is that all computing are some versions of search. Search as a an action, or as a function, is to identify certain goal in a contextualized data set. This statement will help one to better articulate the notion of computation in a unifying abstraction, all things are search. It follows the pattern of being universal. Therefore, the process of finding adequate abstraction[1], should and in theory can be generalized.
| Logic Model (如來佛掌心) Template:LogicModel 07 30, 2021
|
Abstract Specification
| Context
|
如來佛掌心，代表的是一種萬用性。在數學的名詞體系裡，就是Monad (單子).
|
| 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.
|
| Success Criteria
|
- 當無現成的邏輯模型時，任何撰寫邏輯模型的數據內容，都會被PKC採集。而PKC的功能條件，只需確認邏輯模型的數據內容和上傳時間能被確定。
- 當PKC有現成的邏輯模型時，就無須再重寫
- 根據Goal Statement的信息，決定是否在PKC中有的現成邏輯模型，當其類似但不滿足需要的模型存在時，可根據現成的模型修改。
|
|
|
|
Boundary/Safety Conditions of 如來佛掌心
| 不论如何进化的孙悟空也逃不过如来佛的掌心
|
|