Truth criterion

Theorem 1 (Truth Criterion of Complete Plans). In a complete plan, a proposition, p, is necessarily true in a situation, s, if and only if there exists a situation, t, previous or equal to s in which p is asserted, and there is no step between t and s that denies p. 

Theorem 2 (Modal Truth Criterion). A proposition p is necessarily true in a situation s if and only if the following two conditions hold ... 

Theorem 5 (Modal Truth Criterion for Quantitative Constraints). A constraint x.. k is necessarily satisfied in a situation s iff there is a situation t equal to or necessarily previous to s in which x.. k is satisfied and for every step C possibly before s that possibly violates x.. k, there is a step W necessarily before C that ensures x.. k in s. 

The statement and proof of the truth criterion (see Lakshmanan, 1989) for quantitative constraints is along the lines of Chapman s truth criterion for domain independent nonmonotonic planning. From this criterion, the plan modification operations that would ensure satisfaction of constraints are... 

The time required to evaluate the truth criterion depends on the complexity of the procedures for determining clobberers and white knights. The... 

Step 2. The qualitative value of the desired change is propagated through the steady-state model equations of the plant equipment, following the constraint propagation procedure of Steele (1980). Manipulations that cause the desired change and that are feasible are identified as White Knights and are constrained to lie before the situation of interest s, in accordance with the truth criterion. 

Thus, conditions and their realization within the frames of the catastrophe dynamic model allow to formulate the axiomatic basis and present ontology of interpreting current situations. Developed on the basis of this formalization ontology models are considered as constituents of the common problem of the systems ontology and are defined by the truth criterion CR(True) based on fullness demand Dem(Full) and consistency Dem(Non-Contr) of formulated axioms and rules of conclusion ... 

Are there any situations in which beauty is taken as a criterion of truth Suppose we have some data that is very exactly fitted by an ugly formula— something that only the empiricist who thought it up could love. Take, for example, a formula for the rate of synthesis of ammonia... 

Precision] is the very soul of science and its attainment afford the only criterion, or at least the best, of the truth of theories, and the correctness of experiments. 

It is often the scientist s experience that he senses the nearness of truth when such connections are envisioned. A connection is a step toward simplification, unification. Simplicity is indeed often the sign of truth and a criterion of beauty. 

---