Lecture Thursday 10 March 2005

rules logic proof and trust

trust seems a rather insidious requirement

can you actualy make trust an IT implementation.

Washington site shows value of metadata


rules
logic framework
trusted systems

the gettier proposition is true by justification of something in the present text
but it's not the right justification
and so the truth is accidental and therefore there's no knowedge


but these systems could have the social function of insisting propositions qualify for knowledge


computer game world: everything is there
social function

completeness of a game, a premise of fiction
when the premise is lost is where the danger ensues
but the web makes no such assumption

re: banking industry and computer reality


what the representations are
can we manipulate them
yes, but we need to maintain the premise of fiction

services: going beyond the resource discovery....

agency/confidence in the service

we do operate without the certitude that truth has
but we do have notions of reliability based on experience

when it comes to business you either never find out or its too late

qualification: the semantic web needs qualification

greater data reuse for purposes not originally conceived

existential question: when computers are defining a foul reality
similar to a deity defining a foul reality for a protagonist

language is somehow anarchic
notions of centralization of these language
functions is centralizing the power
and power is dangerous

starts with writing
dictionaries
semantic web