Sentence examples for designed for reasoning from inspiring English sources

Description logics (DLs) are subsets of first-order logic (FOL), designed for reasoning about class-based knowledge.

The λσ-calculus is a concrete λ-calculus of explicit substitutions, designed for reasoning about implementations of λ-calculi.

This framework is based on principles of entropic inference that are designed for reasoning on the basis of incomplete information.

Two families of byproduct hypotheses remain: one invokes inferential machinery designed for tracking coalitional alliances, the other machinery designed for reasoning about natural kinds.

Hybrid Graph Logic is a logic designed for reasoning about graphs and is built from a basic modal logic, augmented with the use of nominals and a facility to verify the existence of paths in graphs.

The model-checking problem for EpCTL is analysed and the logic is compared with PCTL; the semantics of the former is defined in terms of probability distributions over sets of propositional symbols, whereas the latter is designed for reasoning about distributions over paths of possible behaviour.

The reasoning algorithms for PA and the tractable fragments of IA, such as Nebel and Bürckert's maximal tractable class of relations (ORD-Horn), have originally been designed for "static" reasoning.

DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering), a descriptive upper-level ontology, is especially designed for automatic reasoning and interoperability [ 9].

To improve the ease of administration and interpretation, Two-Tier MultitemsChoincorporateitems incorporate a multiple-choice option for both the first and second tier, and are designed for measuring students' understanding and reasoning by providing students with opportunities to display their reasoning abilities in their justifications of the 1st tier choice (Treagust 1995).

As in many of her opinions, the reasoning was designed for one case only, so narrowly confined to the unique facts of the 2000 election that O'Connor all but defied anyone to ask her to apply the same logic to another election in the future.

The solutions proposed include a reasoning machine designed for the first time using the mathematical tool known as Weighted Cognitive Maps (WCM), and a learning protocol designed using the Q-learning algorithm.