903 research outputs found
On various forms of bipolarity in flexible querying
International audienceThe paper discusses the modeling of “if possible" in requirements of the form “A and if possible B". We distinguish between two types of understanding: either i) A and B are requirements of the same nature and are viewed as constraints with different levels of priority, or ii) they are of different nature (only A induces constraint(s) and B is only used for breaking ties among items that are equally satisfying A). We indicate that the two views are related to different types of bipolarity, and discuss them in relation with possibilistic logic. The disjunctive dual of the first view (“A or at least B") is then presented in this logical setting. We also briefly mention the idea of an extension of the second view where B may refer both to bonus conditions or malus conditions that may increase or decrease respectively the interest in an item satisfying A
Constraint-wish and satisfied-dissatisfied: an overview of two approaches for dealing with bipolar querying
In recent years, there has been an increasing interest in dealing with user preferences in flexible database querying, expressing both positive and negative information in a heterogeneous way. This is what is usually referred to as bipolar database querying. Different frameworks have been introduced to deal with such bipolarity. In this chapter, an overview of two approaches is given. The first approach is based on mandatory and desired requirements. Hereby the complement of a mandatory requirement can be considered as a specification of what is not desired at all. So, mandatory requirements indirectly contribute to negative information (expressing what the user does not want to retrieve), whereas desired requirements can be seen as positive information (expressing what the user prefers to retrieve). The second approach is directly based on positive requirements (expressing what the user wants to retrieve), and negative requirements (expressing what the user does not want to retrieve). Both approaches use pairs of satisfaction degrees as the underlying framework but have different semantics, and thus also different operators for criteria evaluation, ranking, aggregation, etc
Relevance-based Retrieval on Hidden-Web Text Databases without Ranking Support
Many online or local data sources provide powerful querying mechanisms
but limited ranking capabilities. For instance, PubMed allows users to
submit highly expressive Boolean keyword queries, but ranks the query
results by date only. However, a user would typically prefer a ranking
by relevance, measured by an Information Retrieval (IR) ranking
function. The naive approach would be to submit a disjunctive query with
all query keywords, retrieve the returned documents, and then re-rank
them. Unfortunately, such an operation would be very expensive due to
the large number of results returned by disjunctive queries. In this
paper we present algorithms that return the top results for a query,
ranked according to an IR-style ranking function, while operating on top
of a source with a Boolean query interface with no ranking capabilities
(or a ranking capability of no interest to the end user). The algorithms
generate a series of conjunctive queries that return only documents that
are candidates for being highly ranked according to a relevance metric.
Our approach can also be applied to other settings where the ranking is
monotonic on a set of factors (query keywords in IR) and the source
query interface is a Boolean expression of these factors. Our
comprehensive experimental evaluation on the PubMed database and a TREC
dataset show that we achieve order of magnitude improvement compared to
the current baseline approaches.Vagelis Hristidis was partly supported by NSF grant IIS-0811922 and DHS
grant 2009-ST-062-000016. Panagiotis G.\ Ipeirotis was supported by the
National Science Foundation under Grant No. IIS-0643846
Treatment of imprecision in data repositories with the aid of KNOLAP
Traditional data repositories introduced for the needs of business
processing, typically focus on the storage and querying of crisp
domains of data. As a result, current commercial data repositories
have no facilities for either storing or querying imprecise/
approximate data.
No significant attempt has been made for a generic and applicationindependent
representation of value imprecision mainly as a
property of axes of analysis and also as part of dynamic
environment, where potential users may wish to define their “own”
axes of analysis for querying either precise or imprecise facts. In
such cases, measured values and facts are characterised by
descriptive values drawn from a number of dimensions, whereas
values of a dimension are organised as hierarchical levels.
A solution named H-IFS is presented that allows the representation
of flexible hierarchies as part of the dimension structures. An
extended multidimensional model named IF-Cube is put forward,
which allows the representation of imprecision in facts and
dimensions and answering of queries based on imprecise
hierarchical preferences. Based on the H-IFS and IF-Cube
concepts, a post relational OLAP environment is delivered, the
implementation of which is DBMS independent and its performance
solely dependent on the underlying DBMS engine
Lazy Model Expansion: Interleaving Grounding with Search
Finding satisfying assignments for the variables involved in a set of
constraints can be cast as a (bounded) model generation problem: search for
(bounded) models of a theory in some logic. The state-of-the-art approach for
bounded model generation for rich knowledge representation languages, like ASP,
FO(.) and Zinc, is ground-and-solve: reduce the theory to a ground or
propositional one and apply a search algorithm to the resulting theory.
An important bottleneck is the blowup of the size of the theory caused by the
reduction phase. Lazily grounding the theory during search is a way to overcome
this bottleneck. We present a theoretical framework and an implementation in
the context of the FO(.) knowledge representation language. Instead of
grounding all parts of a theory, justifications are derived for some parts of
it. Given a partial assignment for the grounded part of the theory and valid
justifications for the formulas of the non-grounded part, the justifications
provide a recipe to construct a complete assignment that satisfies the
non-grounded part. When a justification for a particular formula becomes
invalid during search, a new one is derived; if that fails, the formula is
split in a part to be grounded and a part that can be justified.
The theoretical framework captures existing approaches for tackling the
grounding bottleneck such as lazy clause generation and grounding-on-the-fly,
and presents a generalization of the 2-watched literal scheme. We present an
algorithm for lazy model expansion and integrate it in a model generator for
FO(ID), a language extending first-order logic with inductive definitions. The
algorithm is implemented as part of the state-of-the-art FO(ID) Knowledge-Base
System IDP. Experimental results illustrate the power and generality of the
approach
- …