Sentence examples for reasoning procedure from inspiring English sources

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).

We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for knowledge queries.

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.

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.

The objective, i.e. establishing a tight link between technical variables (or manufacturing features) and economic variables (modeled as Cost Entities), requires to model the reasoning procedure and associated knowledge related to cost estimating.

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.

On the basis of the ontology, the modeling schemes and the reasoning procedures of causal reasoning systems are determined according to the given requirements.

We resort to several results developed in the field of Knowledge Representation and Reasoning, regarding Description Logics (DLs), a family of logics that admit decidable reasoning procedures.

While the knowledge of a domain is specific to the mathematical field, the representational techniques and reasoning procedures are general-purpose.

Prerequisites to develop materialization tools are the organization of a body of design knowledge and the definition of quality-driven reasoning procedures.

Black-box means that, rather than requiring modifications of existing reasoning procedures, these approaches can use such procedures directly as sub-procedures, which allows us to employ existing highly-optimized reasoners.