176,352 research outputs found
Inductive Logic Programming in Databases: from Datalog to DL+log
In this paper we address an issue that has been brought to the attention of
the database community with the advent of the Semantic Web, i.e. the issue of
how ontologies (and semantics conveyed by them) can help solving typical
database problems, through a better understanding of KR aspects related to
databases. In particular, we investigate this issue from the ILP perspective by
considering two database problems, (i) the definition of views and (ii) the
definition of constraints, for a database whose schema is represented also by
means of an ontology. Both can be reformulated as ILP problems and can benefit
from the expressive and deductive power of the KR framework DL+log. We
illustrate the application scenarios by means of examples. Keywords: Inductive
Logic Programming, Relational Databases, Ontologies, Description Logics, Hybrid
Knowledge Representation and Reasoning Systems. Note: To appear in Theory and
Practice of Logic Programming (TPLP).Comment: 30 pages, 3 figures, 2 tables
Inducing syntactic cut-elimination for indexed nested sequents
The key to the proof-theoretic study of a logic is a proof calculus with a
subformula property. Many different proof formalisms have been introduced (e.g.
sequent, nested sequent, labelled sequent formalisms) in order to provide such
calculi for the many logics of interest. The nested sequent formalism was
recently generalised to indexed nested sequents in order to yield proof calculi
with the subformula property for extensions of the modal logic K by
(Lemmon-Scott) Geach axioms. The proofs of completeness and cut-elimination
therein were semantic and intricate. Here we show that derivations in the
labelled sequent formalism whose sequents are `almost treelike' correspond
exactly to indexed nested sequents. This correspondence is exploited to induce
syntactic proofs for indexed nested sequent calculi making use of the elegant
proofs that exist for the labelled sequent calculi. A larger goal of this work
is to demonstrate how specialising existing proof-theoretic transformations
alleviate the need for independent proofs in each formalism. Such coercion can
also be used to induce new cutfree calculi. We employ this to present the first
indexed nested sequent calculi for intermediate logics.Comment: This is an extended version of the conference paper [20
Kirschmann's Fourth Law
Kirschmann's Fourth Law states that the magnitude of simultaneous color contrast increases with the saturation of the inducing surround, but that the rate of increase reduces as saturation increases. Others since Kirschmann have agreed and disagreed. Here we show that the form of the relationship between simultaneous color contrast and inducer saturation depends on the method of measurement. Functions were measured by four methods: (i) asymmetric matching with a black surround, (ii) asymmetric matching with a surround metameric to equal energy white, (iii) dichoptic matching, and (iv) nulling an induced sinusoidal modulation. Results from the asymmetric matching conditions agreed with Kirschmann, whereas results from nulling and from dichoptic matching showed a more linear increase in simultaneous contrast with the saturation of the inducer. We conclude that the method certainly affects the conclusions reached, and that there may not be any "fair" way of measuring simultaneous contrast
Short-term plasticity as cause-effect hypothesis testing in distal reward learning
Asynchrony, overlaps and delays in sensory-motor signals introduce ambiguity
as to which stimuli, actions, and rewards are causally related. Only the
repetition of reward episodes helps distinguish true cause-effect relationships
from coincidental occurrences. In the model proposed here, a novel plasticity
rule employs short and long-term changes to evaluate hypotheses on cause-effect
relationships. Transient weights represent hypotheses that are consolidated in
long-term memory only when they consistently predict or cause future rewards.
The main objective of the model is to preserve existing network topologies when
learning with ambiguous information flows. Learning is also improved by biasing
the exploration of the stimulus-response space towards actions that in the past
occurred before rewards. The model indicates under which conditions beliefs can
be consolidated in long-term memory, it suggests a solution to the
plasticity-stability dilemma, and proposes an interpretation of the role of
short-term plasticity.Comment: Biological Cybernetics, September 201
- …