K. Devlin. "Infons as Mathematical Objects," Minds and Machines, 2: 185--201, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Computational Situation Theory - Tin, Akman (1994) (Correct)
....[8, 9, 11, 23, 24, 31] In the past, the development of a mathematical situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basically coming from set theory and logic [1, 8, 23, 25]. With a remarkably original view of information (which is fully adapted by situation theory) 27, 28] a logic, based not on truth but on information, is being developed [24] This logic will probably be an extension of first order logic [5] rather than being an alternative to it. ....
....first order logic [5] rather than being an alternative to it. Individuals, properties, relations, spatio tempo ral locations, and situations are basic constructs of situation theory. The world is viewed as a collection of objects, sets of objects, properties, and relations. Infons ( unit facts) [25] are discrete items of information and situations are first class objects which describe parts of the real world. Information flow is made possible by a network of abstract links between high order uniformities, viz. situation types. One of the distinguishing characteristics of situation theory ....
[Article contains additional citation context not shown here]
K. Devlin. "Infons as Mathematical Objects," Minds and Machines, 2: 185--201, 1992.
Contexts, Oracles, and Relevance - Surav, Akman (1995) (Correct)
....which particular groups of argument roles need to be filled in order to produce an infon. If m n, the infon is said to be unsaturated ; if m = n it is saturated . More information on Situation Theory can be found in Barwise and Perry [6] Barwise [4] Barwise and Etchemendy [5] and Devlin [12, 14, 15] (the most up to date version of the theory) 3 Oracles as Situations In this paper, we shall mainly deal with the philosophy behind the nature of information and the ways of gathering relevant information, rather than the purely mathematical and technical issues. Thus, one of the best places to ....
K. J. Devlin. Infons as mathematical objects. Minds and Machines, 2(2):185--201, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC