T.W.C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Department of Computer Science, Utrecht university, The Netherlands, November 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... [13, 97] multimedia content [19, 67] users knowledge [75] cross lingual [73] and structured documents [58] It also provides a common approach to the integration of IR systems with logical database systems [37] Finally, logic makes it possible to reason about an IR model and its properties [47, 69, 89]. This latter possibility is becoming increasingly important since conventional evaluation methods, although good indicators of the e ectiveness of IR systems, often give results which cannot be predicted, or satisfactorily explained. However, logic by itself cannot fully model IR. In determining ....

....system) or that retrieves only relevant documents (precision oriented system) The use of logic to formally conduct proofs for IR purposes originated in [69] where it was showed that a logical model is a general form of many other IR models. The idea was later thoroughly investigated in [10,47], where a framework was proposed in which di erent models of IR could be theoretically expressed, formally studied and compared. The framework was developed within a logic, thus allowing formal proofs to be conducted. Here meta models are based on non monotonic reasoning approaches. The framework ....

T.W.C Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

....between the storage of just anything provided by the sender, and the storage of only a specific conclusion drawn from the information received; it accepts any information provided that the conclusion y can be drawn from it. Example 7. Information Retrieval) Information Retrieval techniques [10] aim to support, in very large collections of data, the search for documents that satisfy some relevance criteria. One of the criteria is called aboutness, which is used to evaluate documents on their bearing on some particular piece of information. This example illustrates how the primitive ....

Th. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Universiteit Utrecht, 1996.

....that a similar model applies if complex units of symbols like sentences themselves are considered as signs. Such a model can explain how complex units may contribute to a text, as signs of thought. We illustrate the proposed approach by a realistic example of a text fragment found in a thesis ([Hui96]) label text abbreviation 1 There are several document bases. sev, docb 2 Each document base contains docb di#erent types of information. dt of info 3.1 There are various types of users and vt of users 3.2 there are vast di#erences between their information needs. vdi#, t ineeds 4.1 There ....

T. Huibers. An axiomatic theory for information retrieval. PhD thesis, University of Nijmegen, 1996.

....logic based inductive evaluation has been proposed. It provides a uniform representation of information and its semantics, and a framework for reasoning properties of IR independent of any IR models. Most noticeable works in this area are based on aboutness (Bruza Huibers 1994; Bruza Huibers 1996; Huibers 1996; Hunter 1996; etc. where matching is modeled by the aboutness relationship between the document and a query. Recent investigations have centered on formalizing the notion of aboutness by axiomatizing its properties (inference rules) in terms of a neutral, theoretical framework. ....

....inductive evaluation has been proposed. It provides a uniform representation of information and its semantics, and a framework for reasoning properties of IR independent of any IR models. Most noticeable works in this area are based on aboutness (Bruza Huibers 1994; Bruza Huibers 1996; Huibers 1996; Hunter 1996; etc. where matching is modeled by the aboutness relationship between the document and a query. Recent investigations have centered on formalizing the notion of aboutness by axiomatizing its properties (inference rules) in terms of a neutral, theoretical framework. There is yet no ....

[Article contains additional citation context not shown here]

Huibers, T.W.C. (1996) An Axiomatic Theory for Information Retrieval. Ph.D. Thesis, 1996, Utrecht University, The Netherlands.

....of the formalisms and idiosyncracies of any given IR model. The properties of IR can be modeled by such a logical framework, through which the IR models could be evaluated and compared inductively. Most noticeable works in this area are based on aboutness (Bruza and Huibers 1994; Bruza and Huibers 1996; Huibers 1996; Hunter 1996; etc. where the IR process is assumed to be driven by determining aboutness between two information carriers (i.e. document and query) Recent investigations have centered on formalizing the notion of aboutness by axiomatizing its properties in terms of a neutral, ....

....and idiosyncracies of any given IR model. The properties of IR can be modeled by such a logical framework, through which the IR models could be evaluated and compared inductively. Most noticeable works in this area are based on aboutness (Bruza and Huibers 1994; Bruza and Huibers 1996; Huibers 1996; Hunter 1996; etc. where the IR process is assumed to be driven by determining aboutness between two information carriers (i.e. document and query) Recent investigations have centered on formalizing the notion of aboutness by axiomatizing its properties in terms of a neutral, theoretical ....

[Article contains additional citation context not shown here]

Huibers, T.W.C., 1996. An Axiomatic Theory for Information Retrieval. Ph.D Thesis, Utrecht University, The Netherlands.

.... Rijsbergen 1998] for a compendium) Logic based information retrieval also provided the framework to allow theoretical, rather than, experimental investigations in IR [Sebastiani 1998] It planted the seed for fundamental investigations of the nature of aboutness [Bruza and Huibers 1994; Bruza and Huibers 1996; Hunter 1996; Nie et al. 1995] culminating in an axiomatic theory of information retrieval [Huibers 1996] and a characterization of aboutness in terms of commonsense rules [Bruza, Song and Wong, 2000] Aboutness theory has also recently appeared in context of information discovery [Proper and ....

.... theoretical, rather than, experimental investigations in IR [Sebastiani 1998] It planted the seed for fundamental investigations of the nature of aboutness [Bruza and Huibers 1994; Bruza and Huibers 1996; Hunter 1996; Nie et al. 1995] culminating in an axiomatic theory of information retrieval [Huibers 1996] and a characterization of aboutness in terms of commonsense rules [Bruza, Song and Wong, 2000] Aboutness theory has also recently appeared in context of information discovery [Proper and Bruza 1999] Broadly speaking, these works view information retrieval as a reasoning process, determining ....

[Article contains additional citation context not shown here]

Huibers, T.W.C., 1996. An Axiomatic Theory for Information Retrieval. Ph.D Thesis, Utrecht University, The Netherlands.

....new IR features, new models are built; integrating old and new models is always an onerous task. Having a general modelling framework allows for the theoretical as well as empirical comparison of IR systems. Logic based models have been showed to be more expressive than other existing IR models [15, 25] in representing many features of IR systems. These features, when represented in other IR models, were as an extension, sometimes ad hoc; thus leading to frameworks that lack underlying semantics. In [22] we discuss extensively the applicability and potential of channel theory in providing such ....

T. W. C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

....the issue of aboutness remained hidden in the operational definitions of various retrieval models and their variations. The emergence of logic based information retrieval in the late eighties planted the seed for fundamental investigations of the nature of aboutness (Bruza Huibers, 1994; Bruza Huibers, 1996; Hunter, 1996; Nie et al. 1995) culminating in an axiomatic theory of information retrieval developed by Huibers (1996) Aboutness theory has more recently appeared in context of information discovery (Proper Bruza, 1999) Broadly speaking, these works view information retrieval (IR) as a ....

.... The emergence of logic based information retrieval in the late eighties planted the seed for fundamental investigations of the nature of aboutness (Bruza Huibers, 1994; Bruza Huibers, 1996; Hunter, 1996; Nie et al. 1995) culminating in an axiomatic theory of information retrieval developed by Huibers (1996). Aboutness theory has more recently appeared in context of information discovery (Proper Bruza, 1999) Broadly speaking, these works view information retrieval (IR) as a reasoning process, determining aboutness between two information carriers (e.g. document and query, or document and ....

[Article contains additional citation context not shown here]

Huibers, T.W.C. (1996). An Axiomatic Theory for Information Retrieval. Ph.D. Thesis, Utrecht University, The Netherlands. 1996.

....aboutness properties are commonly discussed in the literature, e.g. reflexivity, transitivity, symmetry and left (right) monotonicity, etc. there is thus far no agreement on a core set of aboutness postulates, e.g. Hunter deems aboutness to be irreflexive [6] whereas Huibers deems it reflexive [5]. The disagreement stems partially from the framework chosen to formalize aboutness. Hunter uses default logic whereas Huibers uses situation theory. Once the framework has been fixed, certain aboutness properties are implied by it. Moreover, some properties, e.g. transitivity and symmetry, etc. ....

....= B A (QLM) Qualified Left Compositional Monotonicity: B C A B A = A C C B (QRM) Qualified Right Compositional Monotonicity: C B A C B C A B A = E) Equivalence: C B C A A B B A = 4. NON ABOUTNESS Several authors have investigated this notion [2, 3, 5, 6]. Information filtering is an example of a situation where reasoning about the non aboutness of incoming documents with respect to the user profile may be easier than reasoning about their aboutness. We drop the closed world assumption regarding = and determine non aboutness ( via constructive ....

Huibers, T.W.C. An Axiomatic Theory for Information Retrieval. Ph.D. Thesis, Utrecht University, 1996.

....and their extensions, in order to better understand these models. Particular attention is given to the query weight semantics proposed in the literature. In other words, this work proposes a meta model for these models. The use of logic as a meta model to study IR models is an important research [17]. It aims at being able to evaluate IR models not only based on their effectiveness with classical test collections, but also with respect to their qualitative properties. Although no analysis have been done yet (the paper only discusses a possible formalism) the proposed framework can be used to ....

....and has been demonstrated empirically. What this paper adds to this already known fact, is that the result can be obtained formally. In other words, the result concerning the effectiveness of the relevance feedback process can be mathematically proven. This methodology follows the line of work of [17, 20], who suggested the use of a meta theory for IR. The metatheory developed by Dominich, based on Diophantine structures, looks promising since it can be used to investigate formally properties of the retrieval process, in terms of how they affect the overall effectiveness of IR systems. The use of ....

T.W.C Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

....of corresponding signs of a coordinate structure is maintained (but omitted in the examples) 6 Meaning extraction The goal of this section is an attempt to illustrate the potential of the Peircean approach in meaning extraction from text documents. We will consider a sample text taken from [Huibers, 1996] which speci es the notion of information retrieval (IR) as follows: 1) There are several document bases. 2) Each document base contains di erent types of information. 3.1) There are various types of users and (3.2) there are vast di erences between their information needs. 4.1) There are ....

Huibers, T. (1996). An axiomatic theory for information retrieval. PhD thesis, University of Nijmegen.

....or a vector space flow is. The properties of the corresponding flows might lead to interesting results. Additionally, a uniform framework can be expressed in which different IR methods can be modelled. The framework can be used to compare IR methods formally. Research in this area can be found in [HB94, Hui96]. A IR model based on channel theory can incorporate any information media. This is possible because channel theory is a framework concerned with the information carried by a situation, not by the way the information is carried. For example, a system that contains texts and images provides ....

T. W. C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

....(which will often be possible) Therefore, the proposed framework can o er a meta model for formally studying document representations. The model has a logical foundation and logical frameworks are being used in IR to formally study IR systems theoretically, rather than just experimentally [3]. This will allow us to predict the behaviour of IR systems with respect to their representations, compare them, and prove properties about them. Acknowledgement Thanks to the anonymous referees for their constructed comments, in particular, one of the referees whose detailed comments have ....

T. W. C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

....It is only assumed that information can be conceptualised as consisting of information particles called infons as suggested by Barwise [Barwise, 1989] and applied to the field of information retrieval by [Rijsbergen and Lalmas, 1996, Huibers, T.W.C. and Lalmas, M. and Rijsbergen, C.J. van, 1996, Huibers, 1996, Huibers and Bruza, 1996] The set of all such infons is denoted by . Some information particles will contain more information than others, therefore it is reasonable to presume the existence of an information containment relation with as intuition: If 12 then contains at least the same ....

....consequence of the supply of information offered by the carriers in relation to the demand of the information imposed by the need. This sheds light on the nature of the preferential ordering assumed by several authors[Berger and Huibers, 1995, Wondergem, 1996, Amati and Georgatos, 1996, Bruza and Huibers, 1996] The requirements do not (and cannot) lead to an operational definition of the preferential ordering. In practice, this ordering must be approximated. For example, Amati et al.[Amati and Georgatos, 1996] employ a standard relevance feedback mechanism to construct a preferential ordering on terms ....

[Article contains additional citation context not shown here]

Huibers, T. (1996). An axiomatic theory for information retrieval. PhD thesis, University of Utrecht, Utrecht, The Netherlands.

....world assumption (CWA) as introduced by Reiter ( 15] may have unwanted e ects for retrieval. Including the CWA may result in poor precision because characterisations usually do not include topics documents are not about. Imposing the CWA also leads to a non monotonic aboutness proof system ([13]) 3.2.2 Zipping Conjunctions After zipping all disjunctions, the remaining conjunctions are zipped by ZipAnd. The function ZipAnd is to be called after ZipOr since it assumes its argument is a logical sum of BIEs that do not contain disjunctions. The function ZipAnd zips conjunctions locally, ....

T.W.C. Huibers. An Axiomatic Theory of Information Retrieval. PhD thesis, Department of Computer Science, Utrecht University, November 1996.

....our model to that of [1] Finally, the framework proposed in this paper can offer a meta model for formally studying document representations. The model has a logical foundation and logical frameworks are being used in IR to formally study IR systems theoretically, rather than just experimentally [2]. This will allow us to predict the behaviour of IR systems with respect to their representations, compare them, and prove properties about them. Acknowledgement The author is partly funded by a Research Fellowship from the Department of Computing Science at the University of Glasgow. The author ....

T. W. C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University, The Netherlands, 1996.

No context found.

T.W.C. Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, Department of Computer Science, Utrecht university, The Netherlands, November 1996.

....at assessing the retrieval effectiveness of an IR system, they fail to explore deeper, theoretical aspects of the associated models. The emergence of logic based IR in the late eighties has spawned a body of work in which IR models are subjected to theoretical scrutiny (see [Bruza Huibers 1994, Huibers 1996, Hunter 1996, Bruza et al. 2000, Song 2000, Wong et al. 2001] These works have focussed on providing a symbolic, rather than numeric characterization of the matching function via the use of rules based around the aboutness relation. Several sets of rules characterizing the aboutness relation have ....

Huibers, T.W.C., 1996. An Axiomatic Theory for Information Retrieval. Ph.D. Thesis, Utrecht University, The Netherlands Hunter, A. 1996. Intelligent text handling using default logic, In Proceedings of the Eighth IEEE International Conference on Tools with Artificial Intelligence (TAI'96), 34-40, IEEE Computer Society Press.

No context found.

Theo Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, University of Utrecht, Utrecht, The Netherlands, 1996. ISBN: 90-3931207-9 19

No context found.

Theo Huibers. An Axiomatic Theory for Information Retrieval. PhD thesis, University of Utrecht, Utrecht, The Netherlands, 1996. ISBN: 90-3931207-9 19

No context found.

T. Huibers. An axiomatic theory for information retrieval. PhD thesis, University of Nijmegen, 1996.

No context found.

T.W.C. Huibers. An Axiomatic Theory of Information Retrieval. PhD thesis, Department of Computer Science, Utrecht University, November 1996.

No context found.

T.W.C. Huibers. An Axiomatic Theory of Information Retrieval. PhD thesis, Department of Computer Science, Utrecht University, November 1996.

No context found.

T.W.C. Huibers. An Axiomatic Theory of Information Retrieval. PhD thesis, Department of Computer Science, Utrecht University, November 1996.

No context found.

T.W.C. Huibers. An axiomatic theory for information retrieval. PhD thesis, University of Utrecht, Utrecht, The Netherlands, 1996.

First 50 documents

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