Citations: Logic and Information - Devlin (ResearchIndex)

96 citations found. Retrieving documents...

K. Devlin. Logic and Information. Cambridge University Press, 1991.

Home/Search Document Not in Database Summary Related Articles Check

This paper is cited in the following contexts:

First 50 documents Next 50

Computational Situation Theory - Tin, Akman (1994) (Correct)

.... an attempt to develop a mathematical theory of meaning which will clarify and resolve some tough problems in the study of language, information, logic, philosophy, and the mind [10] It was first formulated in detail by Jon Barwise and John Perry in 1983 [11] and has matured over the last decade [24]. Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7, 8, 9, 23, 29, 31, 33, 48] The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such ....

....and Information Science, Faculty of Engineering, Bilkent, 06533 Ankara, Turkey. E mail: ftin, akmang bilkent.edu.tr or ftin, akmang trbilun.bitnet. Fax: 90 4 2664126. Mathematical and logical issues that arise within situation theory and situation semantics have been explored in numerous works [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 ....

[Article contains additional citation context not shown here]

K. Devlin. Logic and Information, Cambridge, U.K.: Cambridge University Press, 1991.

Assigning A Semantic Scope To Operators - Poesio (1993) (2 citations) (Correct)

....situations and to establish dependency relations. The scope assigned by a hearer to an operator depends on the position of the situation associated with that operator in the event structure. For example, I propose that the scope assigned to quantitiers depends on how their resource situation [3, 8] is iden tified. It is well known that a sentence like (13) 13) Everybody is asleep. is not interpreted as meaning that every single human being is asleep, but only that a certain contextually relevant subset is. The process of identifying the set of individuals over which an operator ....

....explicit that the situations from which the quantified elements are picked up need not be the complete set of objects and relations at which the truth of (20) is evaluated. This is accomplished by introducing into the language an explicit relation ( supports ) to represent truth at a situation [8]. A statement of the form [s = MEEtG(x) evaluates to true in a situation s if the object say, m assigned to the variable x is a meeting in the situation s x. A situation is a set of objects and facts about these objects [8, 18] I assume a language which allows us to make state merits ....

[Article contains additional citation context not shown here]

K. Devlin. Logic and Information. Cambridge University Press, 1991.

Information-Flow-based Ontology Mapping - Kalfoglou, Schorlemmer (2002) (4 citations) (Correct)

....assumption that mapping ontologies presupposes flow of information, and that we need to base any formal notion of ontology mapping on a sound mathematical theory of information and information flow. There is no such theory of information yet, but there have been several efforts in establishing one [10, 2, 7, 3]. 3.1 Channel Theory Channel theory has been developed based on the understanding that information flow results from regularities in a distributed system, and that it is by virtue of regularities among the connections that information of some components of a system carries information of other ....

K. Devlin. Logic and Information. Cambridge University Press, 1991.

Logic and Uncertainty in Information Retrieval - Crestani, Lalmas (2001) (1 citation) (Correct)

....3. 2 Models Based on Situation Theory Situation Theory is a theory of information that provides an analysis of the concept of information and the manner in which intelligent organisms (referred to as cognitive agents) handle and respond to the information picked up from their environment [35]. The theory de nes the nature of information ow and the mechanisms that give rise to such a ow. Information items are represented by types. For example, sj s j= Swimming;Mounia; 1 ] represents the information item that Mounia is swimming. Nothing is said about the truth of this ....

K. Devlin. Logic and Information. Cambridge University Press, Cambridge, UK, 1991.

Long-Term Learning in Global Intelligence - Numao (2000) (2 citations) (Correct)

....USENET news articles. Researchers have been proposed three types of filtering, content based, social[16] and collaborative [14, 5] filtering, which are all naturally integrated in a GIANT network. Information flows through the network, whose links have a cost. We call a quantum of information infon[3, 1]. Figure 1 describes an infon by using Prolog like notation 1 . An infon easily 1 Here, we use the familiar notation of Prolog, although it is formally inaccurate to represent an infon. Some notations for formal analysis appear in [1] As an infon based programming etc. infomation(food) ....

K. Devlin. Logic and information. Cambridge University Press, Cambridge, 1991.

Validity of Practical Inference - Berislav Zarni May (Correct)

.... intuitions on the validity of forms of practical inference arouse from the failure to observe the fact that semantics for 12 genuine goal sentences (ends) must di er from the semantics for derived goal sentences expressing relative and possible goal status (possible means) For example, Devlin ([12] p.203) writes: In general, if agent A believes desires sees see that , then A believes desires sees see that . On the contrary, Geach ( 17] p.79. claims: A more surprising result of Kenny s theory is that in practical reasoning the at F iat(p q) is not deductively equivalent to the ....

....member of G is satis ed. 26] p.73) The idea of reduction is given by the sequence satisfactorysatis ed actualized 16 3.4 Goals and possibilities It seems that there is a common agreement that a goal may not be actual 3 and that it must be possible. Take for example Devlin s generalization ([12] p.210) intend(A) desire(A) beleive( A) 4 The di erence between non actual possible and non actual impossible states of a airs must be representable in language of practical logic. The rules eliminate some states of a airs as being both non actual and impossible, while facts exclude only ....

K. Devlin. Logic and Information. Cambridge University Press, 1991.

A Framework for Investigating the Interaction in Information.. - Lalmas, Ruthven (Correct)

....approaches) that can be used to capture both specific and general aspects of the interaction process. As a result, a channel based framework allows for the investigation of the interaction in information retrieval at the desired level of abstraction. In [21, 23] we used situation theory [1, 9], upon which channel theory is based, to construct logic based IR models and meta models [8] At that time, we were concerned with capturing the information content aspect in IR. Later, in [28, 16, 22] we demonstrated the expressiveness and the appropriateness of situation theory and channel ....

....on the other hand can lack generality because user s actions correlate with specific system features. Consequently we need a meta model to investigate the interaction between IR systems and users. 4 A meta model for investigating interaction We present a formal framework based on channel theory [1, 9, 2] to represented and study the interaction in IR. Based on the models described in the previous section, we identify two aspects to be captured: the steps of the interaction, and the transition between steps. A third aspect is the reasoning about the interaction. We refer to them as, respectively, ....

[Article contains additional citation context not shown here]

K. J. Devlin. Logic and Information. Cambridge University Press, Cambridge, England, 1991.

Negotiating a Multidimensional Framework for Relevance Space - Gabrielli, Mizzaro (1999) (1 citation) (Correct)

.... Shannon s information theory [30] the Algorithmic Information Theory, independently developed by Chaitin, Kolmogorov, and Solomonoff [20] and the Semantic Information Theory introduced by Bar Hillel, Carnap, and Popper [17] and further developed by Dretske [12] Barwise and Perry [2] and Devlin [10]. Besides these hard sciences information theories there are others, perhaps less known, soft sciences approaches (in which information is usually defined in a subjective way) Bateson defined information as a difference [3, 4] Brookes proposed that information is a small bit of knowledge ....

K. Devlin. Logic and Information. Cambridge University Press, Cambridge, England, 1991.

Towards a Theory of Epistemic Information - Mizzaro (Correct)

.... Shannon s information theory [24] the Algorithmic Information Theory, independently developed by Chaitin, Kolmogorov, and Solomonoff [16] and the Semantic Information Theory introduced by Bar Hillel, Carnap, and Popper [13] and further developed by Dretske [9] Barwise and Perry [2] and Devlin [7]. Besides these, there are others, perhaps less known, soft sciences approaches (in which information is usually defined in a subjective way) Bateson defined information as a difference [3] Brookes proposed that information is a small bit of knowledge [5] and, more recently, Clancey ....

....will come back later on this issue. Knowledge State K K External World Cognitive Agent (a) Agent, KS, world, representation. Pitagora Triangle Square Cage Mouse Mammal . Rectangle (b) Links and partitions of KSs. Figure 1: KSs, KIs, and links. of beliefs [12] 2 situations [1, 7, 9], recursive models [20] minds and ideas [3] and so on. I do not take position among these (and many others) alternatives in this paper: I am interested in proposing a higher level view, and I try to remain at a level of abstraction general enough to comprise all of them. 2.3 Links Whatever KSs ....

[Article contains additional citation context not shown here]

K. Devlin. Logic and Information. Cambridge University Press, Cambridge, UK, 1991.

Discovering the Information that is lost in our Databases: Why .. - Proper, Bruza (Correct)

....theories, is the development of an underlying theory of information. We talk and think about information retrieval and information discovery systems without paying much attention to the question what is information. We are currently looking at the work done in e.g. situation theory [BE90, Bar89, Dev91] and information theory [Lan86] to develop such an underlying theory for information discovery. ....

K. Devlin. Logic and Information. Cambridge University Press, 1991.

On the Emergent Semantic Web and Overlooked Issues - Kalfoglou, Alani.. (2004) (Correct)