The phrase "a reasoning procedure" is correct and usable in written English.
It can be used when discussing a systematic method or approach for reasoning or problem-solving in various contexts, such as logic, mathematics, or computer science.
Example: "The algorithm follows a reasoning procedure that allows it to deduce the correct answer from the given data."
Alternatives: "a logical process" or "a thought process".
A reasoning procedure needs to exhibit certain properties in order to be practically useful.
Per-frame approaches are based on a reasoning procedure over the entire frame, and are mostly used as support of the other two policies.
This pipeline automatically downloads required files, preprocesses the data and applies a reasoning procedure to the obtained set of ontology classes.
Finally, we also consider the problem Ver σ (S, F ) of verifying a given extension, i.e., testing whether a given set S is a σ-extension of F. This problem typically occurs as a subroutine of a reasoning procedure.
We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for knowledge queries.
Along with possible user-defined additional requirements relating to function, assembly requirements are used in a rule-based geometric reasoning procedure to select datum reference frames for each part and to assign tolerance types to part features.
Importantly, the waiter is only able to execute the relevant reasoning procedure corresponding to a restriction of the range of information states on account of your announcement to him with regard to the espresso.
The reasoning procedure results in an optimal configuration of the variation points by selecting the right alternative of OR-decomposed goals and such a configuration is mapped onto corresponding system architecture reconfigurations.
The relative importance of each of them has been established through the definition of membership functions as inputs to the fuzzy inference reasoning procedure in the case of a specific product.
The cost estimating reasoning procedure, that takes into account alternative process plans of a product, is modeled and solved by a constraint satisfaction problem (CSP).
Along with verbal interactions, there was another type of epistemic action crucial for execution of the dynamic reasoning procedure undertaken by the waiter, observation.
