Sentence examples for implement reasoning from inspiring English sources

To enhance DBMS with the reasoning functionality that characterizes ontology management, we propose to implement reasoning into the DBMS via a set of PL/SQL stored procedures.

The work cited in Cohn et al. 1997 describes constraint propagation techniques and encodings in intuitionistic propositional logic as ways of supporting implemented reasoning based on RCC and some of its extensions.

Then for the data analysis of the big biological linked knowledge network, we propose three different kinds of reasoning algorithms and implement corresponding reasoning prototype systems which make full use of the advantages of MapReduce parallel programming model and OWL property chain reasoning method.

Based on the conceptual model and data model, the distributed reasoning module implements the reasoning algorithm on a Hadoop cluster.

Stone shows that modal logic can be used to modularize the formalization of the information required in this task; he also shows how modal theorem proving can be used to implement the reasoning.

For further development, to increase the processing speed, for the next version it is intended to store the XML/RDF constructs within an XML native database and to implement simple reasoning services regarding the search.

An important outcome of these studies is the notion that neurons in parietal and frontal regions accumulate evidence over time until a given decision criterion is reached (rise-to-threshold mechanisms), fuelling the idea that these neurons implement probability "reasoning" to emit a verdict about the state of the world.

TraumAID 2.0, a consultation system for multiple trauma management, implements a reasoning architecture for exploratory-corrective domains which integrates diagnostic reasoning with planning and action.

A new semi-non-parametric inference mechanism is implemented for reasoning.

The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool.

Variations of the method have been implemented in reasoning programs in higher-order logic (Andrews 1981) and non-classical logics (Wallen 1990).