Artificial Intelligence and Human Thinking thumbnail
slide-image
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Artificial Intelligence and Human Thinking

Published on Aug 23, 201111855 Views

Research in AI has built upon the tools and techniques of many different disciplines, including formal logic, probability theory, decision theory, management science, linguistics and philosophy.

Related categories

Chapter list

Artificial Intelligence and Human Thinking - 100:00
Computational Logic and Human Thinking - 101:18
AI tools and techniques01:41
Artificial Intelligence and Human Thinking - 203:02
AI tools and techniques can be reconciled and combined04:17
An Agent on the London Underground05:34
Complex thinking and decision-making08:16
Lower-level heuristics and higher-level thinking and deciding can be combined09:18
Abductive Logic Programming (ALP) Agent10:20
A Connectionist implementation of ALP12:40
The syntax of beliefs in ALP agents14:03
The syntax of goals in ALP agents14:28
ALP agents – minimal model semantics15:16
Goal, Observation, Beliefs16:51
Minimal model semantics18:59
Different Δ can solve the same task19:41
ALP can associate probability with conditions21:57
The ALP agent model can help people make better decisions23:59
Artificial Intelligence and Human Thinking - 326:37
ALP as the Language of Thought (LOT)27:09
ALP as the LOT29:50
The Emergency Notice on the London underground32:32
The problems of understanding natural language communications35:59
Clausal logic is a canonical form of FOL38:14
ALP clausal logic, as a model of the LOT, can help people communicate39:52
Artificial Intelligence and Human Thinking - 441:36
A Connectionist implementation of ALP41:40
Connection graphs42:55
Connection graphs can combinelogic, search, connectionism, learning and decision making44:04
Internal clauses and links need not represent states of affairs in the real world46:51
Conclusions48:34
Computational Logic and Human Thinking - 250:04
It can be difficult or impossible to put our private thoughts into public words54:49