-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
infer.scroll
22 lines (18 loc) · 1.41 KB
/
infer.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
import ../code/conceptPage.scroll
id infer
name INFER
appeared 1992
tags pl
centralPackageRepositoryCount 0
country United States
originCommunity Indiana University
reference https://semanticscholar.org/paper/27184821d21e662cbd0c1526995ff8499fc01419
wikipedia https://en.wikipedia.org/wiki/Infer
related prolog owl axiom
summary Inferences are steps in reasoning, moving from premises to logical consequences. Charles Sanders Peirce divided inference into three kinds: deduction, induction, and abduction. Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular premises to a universal conclusion. Abduction is inference to the best explanation. Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of cognitive psychology; artificial intelligence researchers develop automated inference systems to emulate human inference. Statistical inference uses mathematics to draw conclusions in the presence of uncertainty. This generalizes deterministic reasoning, with the absence of uncertainty as a special case. Statistical inference uses quantitative or qualitative (categorical) data which may be subject to random variations.
backlinksCount 851
pageId 317465
dailyPageViews 13
created 2004
appeared 1950
hopl https://hopl.info/showlanguage.prx?exp=2114