Success criteria

Every project should have relevant success criteria defined locally. On the most abstract level, the success criteria of projects in general can be defined as follows:

1. Soundness: A sound project should be able to demonstrate/prove its internal logical consistency.
2. Precision: All activities and resources in a project are accounted for in precise measures.
3. Terminable: A project should be able to reach a concluding state.

A set of formally defined success criteria helps to determine the states of projects, therefore, can provide useful feedback to adjust or terminate a project. success criteria is similar to the test cases of a software function, that after certain computable function is performed, the results could be asserted ahead of time. These assertive statements can be considered as a primitive form of success criteria.

A Mechanism to reach Certainty

In other parts of logic model, statements can be defined using quantitative descriptions and they can be fuzzy or imprecise. In the section of success criteria, information presented here must offer logical consistency, precision, and resource boundaries, in other words, when does this project stop. This kind of statements are naturally related to spacetime resources, and therefore can be formalized using more formal semantics. In the past, when most information about a project is written on paper, or remembered in human minds. In PKC, especially equipped with Semantic MediaWiki features, every piece of information could be bound to a common clock, which provides the ordering sequence of events. The data provided by the common clock is the penetraing namespace that could suggests some form of causal relations and also offer a single source of truth to all data captured in PKC.