Difference between revisions of "2021.07.20"
| (2 intermediate revisions by the same user not shown) | |||
| Line 12: | Line 12: | ||
# Specify Automation and Formal method possible application (Why) and workflow (how). Then verify with Ben. | # Specify Automation and Formal method possible application (Why) and workflow (how). Then verify with Ben. | ||
# Finish all the parts of Logic model. The challenges are 1. Input and Output arguments 2. Process arguments that correctly connects Input, Output | # Finish all the parts of Logic model. The challenges are 1. Input and Output arguments 2. Process arguments that correctly connects Input, Output | ||
# Make sure it is bound with time. | # Make sure it is bound with time. | ||
# Verify that the project has reached the criteria of 1.Specify Logic Model 2. Bound in Time | # Verify that the project has reached the criteria of 1.Specify Logic Model 2. Bound in Time | ||
==Progress== | ==Progress== | ||
Unsure : If there are multiple Processes between Input and Output , how should I specify the Logic Model? A set of Goal, Context, Success Criteria, Boundary conditions with a list of Input, Output, Process? | |||
[[Category:Daily Document]] | |||
==Conclusion== | ==Conclusion== | ||
[[BOOK:A NATURAL PROOF SYSTEM FOR NATURAL LANGUAGE]] | [[BOOK:A NATURAL PROOF SYSTEM FOR NATURAL LANGUAGE]] | ||
Discomfort and went to the doctor. Delay the work to 7/21. | |||
Latest revision as of 03:32, 21 July 2021
| Date | 2021-07-20 |
|---|---|
| Person | @KevinTung |
Context and Goal
Studied formal analysis for software and for natural language and have some ideas on how they can be applied to the system. The idea is that we open a module to store the liveness and safety condition. When we invoke the module, the system analyze the structured data and return results. Also I Activity:investigated Jenkin and thought about how it should integrate to the system. Wiki:System_integration . But still, these idea to use these tools need to be verified with Ben. So the first step is to write the possible specification down. PKC Workfow/Software
To-Do
- Specify Automation and Formal method possible application (Why) and workflow (how). Then verify with Ben.
- Finish all the parts of Logic model. The challenges are 1. Input and Output arguments 2. Process arguments that correctly connects Input, Output
- Make sure it is bound with time.
- Verify that the project has reached the criteria of 1.Specify Logic Model 2. Bound in Time
Progress
Unsure : If there are multiple Processes between Input and Output , how should I specify the Logic Model? A set of Goal, Context, Success Criteria, Boundary conditions with a list of Input, Output, Process?
Conclusion
BOOK:A NATURAL PROOF SYSTEM FOR NATURAL LANGUAGE Discomfort and went to the doctor. Delay the work to 7/21.