Sentence examples for consequence function from inspiring English sources

where Cn is the consequence function of CL.

where Cn[K45] is the consequence function of the modal logic K45.

This feature is so central that the formal logical study of defeasible reasoning is often taken to be coextensive with the domain of NML where non-monotonicity is understood as a property of the consequence function of a logic.

The consequence function was calculated based on the subjective preference of the person making the decision.

Based on the consequence function the decision-maker chooses, a certain proceeding or action is taken.

Table 2 shows the probabilities for each pair (θ i, a j ) of a consequence function.

Comparison of these tools mainly focuses on the consequence functions of the two methods.

Clearly, most forms of defeasible reasoning are externally dynamic and hence most logics for defeasible reasoning violate Monotony: they have non-monotonic consequence functions.

Table 2 demonstrates all considered consequence functions.

As a consequence, functions carried out by basal levels of autophagy are lost in the Atg5-deficient hearts but not in the Beclin 1 +/− hearts.

As a consequence, functions associated with a given Hsp70 subfamily could be partitioned among a number of paralogous genes, whose homology relationships across species might be difficult to determine.