Sentence examples for as a reasoning method from inspiring English sources

Forward chaining is employed as a reasoning method.

The system fits the lean deduction style and it uses a connection calculus as a reasoning method.

To represent and estimate the design intent, we introduced a staged design evaluation model as a general yet powerful model of design decision-making process, and developed a methodology for estimation of design intent (MEDI) as a reasoning method.

Essentially, we present an architecture based on a reasoning method that is known as Case-Based Reasoning in the Artificial Intelligence domain.

Case-based Reasoning (CBR) is a machine reasoning method that adapts previous similar cases to infer further similarity.

Also Veltman's update semantics of default reasoning (Veltman 1996), an important reasoning method in artificial intelligence (Reiter 1980, Russell and Norvig 1995), can be viewed as being part of this paradigm.

The range of work covers the production of regional and local habitat maps by object-oriented classification, a case-based reasoning method for change detection as a management support tool for planning and regulating local land use, the selection and application of structural indicators for the monitoring of Natura 2000 habitats and the downscaling and disaggregation of soil information.

To overcome this limitation, we propose a novel geometric reasoning method, where both logical and algebraic reasoning methods are integrated into a unified reasoning process.

They are a straightforward realization of the reasoning method described in Sect.

In the early stages of its emergence in logical AI, many researchers seem to have thought of nonmonotonic reasoning as a general method for reasoning about uncertainty; but by the end of the 1980s, implementations of fully quantitative probabilistic reasoning were not only possible in principle, but were clearly preferable in many sorts of applications to methods involving nonmonotonic logic.

Although, since the early days of science, scientists have fallen in love with the pure reasoning approaches, as they were reproducible, unambiguous means to express new knowledge, the problems with the use of classical predicate calculus as a knowledge representation method and of the classical logic inference as a reasoning strategy are discouraging.