We also provide a number of additional results; for instance, we present a new time model suitable for reasoning about systems with a bounded number of unsynchronized clocks, we investigate connections with spatial reasoning and we present improved algorithms for deciding satisfiability of the tractable point algebras.
In particular, the learning mechanism exploits the knowledge and the past experience by enforcing them with Bayesian statistics techniques suitable for reasoning about probabilistic relationships [36 38].
This leads to the idea of adding a temporal dimension to a logic designed to reason about such models, that is to enrich the logical language with temporal operators suitable for reasoning about the evolution of the models over time.
Instant-based models are often not suitable for reasoning about real-world events with duration, which are better modeled if the underlying temporal ontology uses time intervals, rather than instants, as the primitive entities.
"Although a task-oriented architecture is much more suitable for reasoning about extensibility and DBMS construction, reference architectures rarely exist (with the straw-man architecture developed by the Computer Corporation of America, CCA 1982, as a notable exception)" [40].
This feature makes GPL particularly suitable for reasoning about what an agent knows about the beliefs of another agent, e.g., allowing the former to draw conclusions about what the other agent does not know.
BEL enables the development of computable pathway models comprised of cause and effect relationships, as well as construction of knowledgebases of biological relationships suitable for automated reasoning methods such as Reverse Causal Reasoning (RCR, see Materials and Methods below).
Development of databases software would be provided with a high-level specification suitable for formal reasoning about correctness properties.
In this paper, an approach combines the RBR and fuzzy comprehensive judgment method is proposed for reasoning suitable locating schemes and locating features.
For that reason, and one more to be discussed immediately below, up until the recent past infinitism has never been seriously considered as a model of reasoning suitable for the dogmatist.
