The phrase "automatic reasoning" is correct and usable in written English.
It can be used in contexts related to logic, artificial intelligence, or computer science, where it refers to the ability of a system to reason or make decisions without human intervention.
Example: "The software employs automatic reasoning to solve complex problems efficiently."
Alternatives: "automated reasoning" or "machine reasoning".
Automatic reasoning and semi-quantitative algorithms can be implemented on SOM.
This level uses a Knowledge Based System (KBS) with First Order Logic (FOL) as automatic reasoning mechanism.
Automatic reasoning is applied to building design problems with a large number of standardized conditions, such as normal housing.
The applications of the differential characteristic set method to compute the symmetry groups for PDEs and automatic reasoning by the differential characteristic set method are elaborated.
The modeling relies on FAMILIAR (FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) (Acher et al. 2013), a scripting language and tool dedicated to the management of feature models.
M. Robertson and I. D. Reid, "Automatic reasoning about causal events in surveillance video") introduces a rule-based reasoning process whose aim is to generate causal descriptions of mutual interactions among people, for example, statements such as "person A crossed the road in order to meet person B".
At the moment the field of temporal logic as applied in computer science has developed into a complete subfield on its own, including techniques and tools for (semi- automatic reasemi- automaticl-checking (cf. Emereasoning).
We focus on the extent to which objective properties of each final answer may be automatically established and the extent to which automatic marking reasoning by equivalence supports assessment of students' methodology.
They may rather be seen as the result of an automatic global reasoning to fill in gaps between observations on node variations, in order to find the only possible reasons for such observations.
The Web Ontology Language (OWL) is a standard ontology language for the Semantic Web that allows drug relevant knowledge to be represented in a machine-understandable way (an ontology), which enables automatic semantic reasoning for drug repurposing (10).
BioQuali performs automatic global reasoning in order to decide which products in the network need to be up or down regulated (active or inactive) to globally explain experimental data.
