Title :
Imperfect information flow
Author :
Barwise, Jon ; Seligma, Jerry
Author_Institution :
Indiana Univ., Bloomington, IN, USA
Abstract :
The view that computers are information processors is commonplace. They are used, for the most part successfully, throughout our society, as reliable links in the transmission of information and knowledge. Yet the formulation of a precise, qualitative conception of information and a theory of the transmission of information has proved elusive, despite the many other successes of computer science. The authors set out the motivation for and a skeleton of a new mathematical model of information flow, one that is compatible with less than perfect flow
Keywords :
formal logic; information theory; context dependence; formality; imperfect information flow; information processors; intentionality; situation theory; Computer science; Costs; Hard disks; Humans; Joints; Logic; Mathematical model; Mathematics; Physics; Skeleton;
Conference_Titel :
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-3140-6
DOI :
10.1109/LICS.1993.287582
