automated reasoning

automated reasoning

computer-based mathematical reasoning, including geometric theorem proving, algebraic equation solving, and mathematical theorem proving. It is a subdiscipline of artificial intelligence.

Related Terms

negative hallucination

negative hallucination a false perceptual experience charac...

serial processing

serial processing information processing in which only one...

radiation therapy

radiation therapy the use of radiation (e.g., X-rays) in th...

R–S interval

R–S interval abbreviation for response–shock interval.

isophilia

isophilia n. feelings of affection or affectionate behavior...

pathogeny

pathogeny n. see pathogenesis.

Quick Info

Category Psychology Term
Definitions 1
First Letter A

Browse by Letter

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z