406,056 research outputs found
Network Model Selection for Task-Focused Attributed Network Inference
Networks are models representing relationships between entities. Often these
relationships are explicitly given, or we must learn a representation which
generalizes and predicts observed behavior in underlying individual data (e.g.
attributes or labels). Whether given or inferred, choosing the best
representation affects subsequent tasks and questions on the network. This work
focuses on model selection to evaluate network representations from data,
focusing on fundamental predictive tasks on networks. We present a modular
methodology using general, interpretable network models, task neighborhood
functions found across domains, and several criteria for robust model
selection. We demonstrate our methodology on three online user activity
datasets and show that network model selection for the appropriate network task
vs. an alternate task increases performance by an order of magnitude in our
experiments
Being Focused: When the Purpose of Inference Matters for Model Selection
In contrast to conventional model selection criteria, the Focused Information Criterion (FIC) allows for purpose-specifi c choice of models. This accommodates the idea that one kind of model might be highly appropriate for inferences on a particular parameter, but not for another. Ever since its development, the FIC has been increasingly applied in the realm of statistics, but this concept appears to be virtually unknown in the economic literature. Using a classical example and data for 35 U.S. industry sectors (1960–2005), this paper provides for an illustration of the FIC and a demonstration of its usefulness in empirical applications.Information Criteria; translog cost function; cross-price elasticities
Metric learning pairwise kernel for graph inference
Much recent work in bioinformatics has focused on the inference of various
types of biological networks, representing gene regulation, metabolic
processes, protein-protein interactions, etc. A common setting involves
inferring network edges in a supervised fashion from a set of high-confidence
edges, possibly characterized by multiple, heterogeneous data sets (protein
sequence, gene expression, etc.). Here, we distinguish between two modes of
inference in this setting: direct inference based upon similarities between
nodes joined by an edge, and indirect inference based upon similarities between
one pair of nodes and another pair of nodes. We propose a supervised approach
for the direct case by translating it into a distance metric learning problem.
A relaxation of the resulting convex optimization problem leads to the support
vector machine (SVM) algorithm with a particular kernel for pairs, which we
call the metric learning pairwise kernel (MLPK). We demonstrate, using several
real biological networks, that this direct approach often improves upon the
state-of-the-art SVM for indirect inference with the tensor product pairwise
kernel
The acquaintance inference with 'seem'-reports
Some assertions give rise to the acquaintance inference: the inference that the speaker is acquainted with some individual. Discussion of the acquaintance inference has previously focused on assertions about aesthetic matters and personal tastes (e.g. 'The cake is tasty'), but it also arises with reports about how things seem (e.g. 'Tom seems like he's cooking'). 'Seem'-reports give rise to puzzling acquaintance behavior, with no analogue in the previously-discussed domains. In particular, these reports call for a distinction between the specific acquaintance inference (that the speaker is acquainted with a specific individual) and the general acquaintance inference (that the speaker is acquainted with something or other of relevance). We frame a novel empirical generalization -- the specific with stage-level generalization -- that systematizes the observed behavior, in terms of the semantics of the embedded 'like'-clause. We present supporting experimental work, and explain why the generalization makes sense given the evidential role of 'seem'-reports. Finally, we discuss the relevance of this result for extant proposals about the semantics of 'seem'-reports. More modestly, it fills a gap in previous theories by identifying which reports get which of two possible interpretations; more radically, it suggests a revision of the kind of explanation that should be given for the acquaintance behavior in question
Recommended from our members
Semantic memory redux: an experimental test of hierarchical category representation
Four experiments investigated the classic issue in semantic memory of whether people organize categorical information in hierarchies and use inference to retrieve information from them, as proposed by Collins & Quillian (1969). Past evidence has focused on RT to confirm sentences such as “All birds are animals” or “Canaries breathe.” However, confounding variables such as familiarity and associations between the terms have led to contradictory results. Our experiments avoided such problems by teaching subjects novel materials. Experiment 1 tested an implicit hierarchical structure in the features of a set of studied objects (e.g., all brown objects were large). Experiment 2 taught subjects nested categories of artificial bugs. In Experiment 3, subjects learned a tree structure of novel category hierarchies. In all three, the results differed from the predictions of the hierarchical inference model. In Experiment 4, subjects learned a hierarchy by means of paired associates of novel category names. Here we finally found the RT signature of hierarchical inference. We conclude that it is possible to store information in a hierarchy and retrieve it via inference, but it is difficult and avoided whenever possible. The results are more consistent with feature comparison models than hierarchical models of semantic memory
Focusing and Polarization in Intuitionistic Logic
A focused proof system provides a normal form to cut-free proofs that
structures the application of invertible and non-invertible inference rules.
The focused proof system of Andreoli for linear logic has been applied to both
the proof search and the proof normalization approaches to computation. Various
proof systems in literature exhibit characteristics of focusing to one degree
or another. We present a new, focused proof system for intuitionistic logic,
called LJF, and show how other proof systems can be mapped into the new system
by inserting logical connectives that prematurely stop focusing. We also use
LJF to design a focused proof system for classical logic. Our approach to the
design and analysis of these systems is based on the completeness of focusing
in linear logic and on the notion of polarity that appears in Girard's LC and
LU proof systems
- …