In the final part of the chapter we

In the final part of the chapter we consider non-linear temporal logics based on just reflexive and transitive time flow (which do not implement operations UNTIL and NEXT) with interpretations of Chance Discovery and Uncertainty. Such logics are also decidable. Our results may be classified as construction of mathematical models for CD and Uncertainty, development of logical theory for CD and Uncertainty; they might be useful for researchers interested in logical properties of CD and Uncertainty within AI paradigms.

結果 (繁體中文) 1:

在本章的科幻最終部分，我們認為基於剛剛重新FL exive和傳遞時間溢流（不執行操作，直到和NEXT）有機會發現和不確定性的解釋非線性時間邏輯。這樣的邏輯也可判定。我們的研究結果可能是編的建​​設的數學模型對CD和不確定性，對CD和不確定性的邏輯理論發展的CLASSI網絡連接; 他們可能是有意AI範式內的CD和不確定性的邏輯特性的研究人員非常有用。

結果 (繁體中文) 2:

在本章的最後一部分，我們考慮了基於只是自反和傳遞時間流（不實現操作的IT和NEXT）的非線性時間邏輯，並解釋機會發現和不確定性。此類邏輯也是可聲明的。研究結果可分為CD數學模型和不確定性構建、CD邏輯理論發展與不確定性;它們對於對CD的邏輯屬性和人工智慧范式中的不確定性感興趣的研究人員可能有用。

結果 (繁體中文) 3:

在本章的最後部分，我們考慮了基於重現和傳遞時間流的非線性時間邏輯（直到下一步才實現操作），以及對機會發現和不確定性的解釋。這樣的邏輯也是可判定的。我們的結果可以被歸類為CD和不確定性數學模型的構建、CD和不確定性邏輯理論的發展；它們可能對對CD的邏輯特性和AI範式中的不確定性感興趣的研究人員有用。