The logic of information flow: A graded approach
by Bharath, Karthik, M.S., STATE UNIVERSITY OF NEW YORK AT BINGHAMTON, 2008, 66 pages; 1453201

Abstract:

Barwise and Seligman's recent theory of information flow and the logic of distributed systems (IIF) has received widespread attention. The theory aims to provide a mathematical framework which models the flow of information in distributed systems with connected components i.e how remote objects, situations and events carry information about one another. The basic standpoint of this theory is that each part or constituent component of a distributed system is represented by a classification, i.e. a collection of objects together with a collection of yes/no properties of these objects, and that the classifications are connected with information-preserving connections called infomorphisms. The primary contribution of this thesis lies in its departure from the basic assumption that properties of objects are yes/no properties. We allow more general properties, namely, graded properties, which apply to objects to degrees such as, 0, 0.4, 0.8, 1 etc., rather than 0 and 1 only. The main aim is to make Barwise and Seligman's theory more realistic since, more often than not, properties of real-world systems are graded rather than yes/no. We study the basic concepts of the theory of information flow and present results in the graded framework. Namely, we study the concepts of a classification, infomorphism and channel. We present several theorems for these concepts in the graded framework which allow us to generalize the theorems of the classical theory of information flow. Moreover, the theorems elucidate that in the graded framework, the phenomenon of information flow is graded, too. We include examples which demonstrate the concepts and the results.

 
AdviserRadim Belohlavek
SchoolSTATE UNIVERSITY OF NEW YORK AT BINGHAMTON
SourceMAI/ 46-06, p. , Aug 2008
Source TypeThesis
SubjectsMathematics; System science
Publication Number1453201
Adobe PDF Access the complete dissertation:
 

» Find an electronic copy at your library.
  Use the link below to access a full citation record of this graduate work:
  http://gateway.proquest.com/openurl%3furl_ver=Z39.88-2004%26res_dat=xri:pqdiss%26rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation%26rft_dat=xri:pqdiss:1453201
  If your library subscribes to the ProQuest Dissertations & Theses (PQDT) database, you may be entitled to a free electronic version of this graduate work. If not, you will have the option to purchase one, and access a 24 page preview for free (if available).

About ProQuest Dissertations & Theses
With over 2.3 million records, the ProQuest Dissertations & Theses (PQDT) database is the most comprehensive collection of dissertations and theses in the world. It is the database of record for graduate research.

The database includes citations of graduate works ranging from the first U.S. dissertation, accepted in 1861, to those accepted as recently as last semester. Of the 2.3 million graduate works included in the database, ProQuest offers more than 1.9 million in full text formats. Of those, over 860,000 are available in PDF format. More than 60,000 dissertations and theses are added to the database each year.

If you have questions, please feel free to visit the ProQuest Web site - http://www.proquest.com - or call ProQuest Hotline Customer Support at 1-800-521-3042.