Thinking on the Web: Berners-Lee, Gödel and Turing

INDEX

Adaptive software, 57, 213

Agents, 154, 199

agent-based search, 206, 213

Agricultural Revolution, 6, 9

Andreesen, M., 13

Aristotle, 5, 22, 35

ARPANET, 12

ArtificialIntelligence (AI), 4, 15, 21, 33, 35, 45, 49, 71*

automatic machine processing, 3

B2B, 11

B2C, 11

Bacon, Kevin, 210

backward chaining, 150

Berners-Lee, 12, 64, 65

Biconditional, 153

Bio-Informatics, 177

breadth-first search, 210

Bush, Vannevar, 32, 65

Cerebra, 237

CERN, 13, 64

Chinese Room, 49, 108

classes, 99

Closed World Machine (CWM), 155

computational complexity, 52, 72, 73

conjunction, 27

CYC, Cycorp, 184

DAML, 191

DAML ontology library, 1340, 191

decentralized network, 13–15

Descartes, 4

deductive reasoning, 23, 25–27

depth-first search, 212

Description Logics, (DL), 21, 30, 54, 154

distributed network, 11

Document Type Definition, 87

Droste Effect, 42

Dublin Core, 94

e-Learning, 180

Escher, 18

eXensible Markup Language (XML), 86–89

First Order Logics (FOL), 21, 29, 30

forward chaining, 149–150

Frames, 51

FOAF, 104

Full First-Order Logic (FFOL), 28, 30

Fuzzy Logic, 51

Genetic Algorithm, 228

GLUE, 143

Gödel, 5, 21, 24, 26, 27, 28

Goldbach Conjecture, 43

Google, 207

Halting Problem, 211, 221

heuristic, 19

Hilbert, D., 26

Hilbert’s Program, 26

Hoare, C. A. R., 24

Hoare logic, 24

Horn Logic, 21, 30, 32

HyperText Markup Language (HTML), 13, 14, 65, 86

HyperText Transfer Protocol (HTTP), 13, 66, 206

human directed search engine, 206

Incompleteness theorems, 26

Industrial Revolution, 6, 8

inference, 71, 151

inference ...