Difference between revisions of "如來佛掌心"

From PKC
Jump to navigation Jump to search
m (Benkoo moved page 如來佛手掌心 to 如來佛掌心)
Line 1: Line 1:
{{Template:Logic Model 2
{{Template:Logic Model 2
|name=如來佛手掌心
|name=如來佛掌心
}}
}}

Revision as of 07:52, 28 July 2021

Logic Model (如來佛掌心) Template:LogicModel 07 28, 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
  1. 當無現成的邏輯模型時,任何撰寫邏輯模型的數據內容,都會被PKC採集。而PKC的功能條件,只需確認邏輯模型的數據內容和上傳時間能被確定。
  2. PKC有現成的邏輯模型時,就無須再重寫
  3. 根據Goal Statement的信息,決定是否在PKC中有的現成邏輯模型,當其類似但不滿足需要的模型存在時,可根據現成的模型修改。


Concrete Implementation
Given Inputs When Process is executed... Then, we get Outputs
PKC


A Monadic Process


PKC


Boundary/Safety Conditions of 如來佛掌心
不论如何进化的孙悟空也逃不过如来佛的掌心