Sentence examples for amenable to reasoning from inspiring English sources
An RDG is a standardized manner, amenable to reasoning, for a service to describe that it maps some input to some output, or vice versa.
Indeed, Pearl indicates that it is the availability of prior knowledge that allows the inference problem to be structured in such a way as to be amenable to causal reasoning [7].
We show how to reduce queries about property persistence, a common type of universally-quantified query, to an equivalent form that does not quantify over situations and so is amenable to existing reasoning techniques.
The phene method can provide a semantics for the Entity-Quality (EQ) formalism and make it amenable to automated reasoning.
Whereas the former are amenable to cost/benefit reasoning, the latter, he or she will claim, are not.
The benefits to a more controlled approach are that the resulting metadata is more uniform and more amenable to computational reasoning.
SSWAP affords data or service providers with the ability to describe their resources using semantics in a way that is both consistent with the use of shared community ontologies and amenable to formalized reasoning.
Although the complexity of queries amenable to SHARE automated reasoning is somewhat limited to the capacity of the supporting formal reasoning software and computational resources of the host machine, we believe that with time, this limitation shall diminish to the point of vanishing, as existing reasoners are improved and new ones become available.
Because all ontologies used in SSWAP are in OWL DL, the resultant admixtures are amenable to consistency checking and reasoning.
Since design problems are often not amenable to exhaustive analysis, the designer uses abductive reasoning to impose conjectures to manage ambiguity and make solutions possible (Dorst 2011; Kolko 2010).
To allow formal reasoning we represent biochemical networks by Petri nets, which combine executability and formal semantics amenable to mathematically sound analysis techniques.
