3,328 research outputs found
Summa Contra Ontologiam
The final publication is available at Springer via http://dx.doi.org/10.1007/11896548_37Revised Selected Papers of EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006This paper is a critical analysis of the concept of ontology thus as it is used in contemporary computing science. It identifies three main problems with such a concept, two of which are intrinsic to it and one of which is extrinsic, so to speak, being related to the use that of ontology is made in applications.
The first problem with ontology is that the only accepted definition of its main artifact is teleological rather than structural as it would be proper in computing science. The second problem is that claiming that ontology is in any way a semantic discipline requires such a limited and outdated notion of semantic to be to all practical purposes useless. The third and final problem is that the limitations and misconceptions of ontology might make it a limiting factor, rather than a help, for many of the applications for which it is sought.
The article concludes that a profound reconsideration of the relation between computers and semantics might be overdue
Analysis of Dialogical Argumentation via Finite State Machines
Dialogical argumentation is an important cognitive activity by which agents
exchange arguments and counterarguments as part of some process such as
discussion, debate, persuasion and negotiation. Whilst numerous formal systems
have been proposed, there is a lack of frameworks for implementing and
evaluating these proposals. First-order executable logic has been proposed as a
general framework for specifying and analysing dialogical argumentation. In
this paper, we investigate how we can implement systems for dialogical
argumentation using propositional executable logic. Our approach is to present
and evaluate an algorithm that generates a finite state machine that reflects a
propositional executable logic specification for a dialogical argumentation
together with an initial state. We also consider how the finite state machines
can be analysed, with the minimax strategy being used as an illustration of the
kinds of empirical analysis that can be undertaken.Comment: 10 page
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation
We study the computational complexity of problems that arise in abstract
argumentation in the context of dynamic argumentation, minimal change, and
aggregation. In particular, we consider the following problems where always an
argumentation framework F and a small positive integer k are given.
- The Repair problem asks whether a given set of arguments can be modified
into an extension by at most k elementary changes (i.e., the extension is of
distance k from the given set).
- The Adjust problem asks whether a given extension can be modified by at
most k elementary changes into an extension that contains a specified argument.
- The Center problem asks whether, given two extensions of distance k,
whether there is a "center" extension that is a distance at most (k-1) from
both given extensions.
We study these problems in the framework of parameterized complexity, and
take the distance k as the parameter. Our results covers several different
semantics, including admissible, complete, preferred, semi-stable and stable
semantics
Gravitational wave astronomy
The first decade of the new millenium should see the first direct detections
of gravitational waves. This will be a milestone for fundamental physics and it
will open the new observational science of gravitational wave astronomy. But
gravitational waves already play an important role in the modeling of
astrophysical systems. I review here the present state of gravitational
radiation theory in relativity and astrophysics, and I then look at the
development of detector sensitivity over the next decade, both on the ground
(such as LIGO) and in space (LISA). I review the sources of gravitational waves
that are likely to play an important role in observations by first- and
second-generation interferometers, including the astrophysical information that
will come from these observations. The review covers some 10 decades of
gravitational wave frequency, from the high-frequency normal modes of neutron
stars down to the lowest frequencies observable from space. The discussion of
sources includes recent developments regarding binary black holes, spinning
neutron stars, and the stochastic background.Comment: 29 pages, 2 figures, as submitted for special millenium issue of
Classical and Quantum Gravit
Iron-coated Komodo dragon teeth and the complex dental enamel of carnivorous reptiles.
Komodo dragons (Varanus komodoensis) are the largest extant predatory lizards and their ziphodont (serrated, curved and blade-shaped) teeth make them valuable analogues for studying tooth structure, function and comparing with extinct ziphodont taxa, such as theropod dinosaurs. Like other ziphodont reptiles, V. komodoensis teeth possess only a thin coating of enamel that is nevertheless able to cope with the demands of their puncture-pull feeding. Using advanced chemical and structural imaging, we reveal that V. komodoensis teeth possess a unique adaptation for maintaining their cutting edges: orange, iron-enriched coatings on their tooth serrations and tips. Comparisons with other extant varanids and crocodylians revealed that iron sequestration is probably widespread in reptile enamels but it is most striking in V. komodoensis and closely related ziphodont species, suggesting a crucial role in supporting serrated teeth. Unfortunately, fossilization confounds our ability to consistently detect similar iron coatings in fossil teeth, including those of ziphodont dinosaurs. However, unlike V. komodoensis, some theropods possessed specialized enamel along their tooth serrations, resembling the wavy enamel found in herbivorous hadrosaurid dinosaurs. These discoveries illustrate unexpected and disparate specializations for maintaining ziphodont teeth in predatory reptiles
New weapons in the toad toolkit: A review of methods to control and mitigate the biodiversity impacts of invasive cane toads (rhinella marina)
© 2017 by The University of Chicago Press. All rights reserved. Our best hope of developing innovative methods to combat invasive species is likely to come from the study of high-profile invaders that have attracted intensive research not only into control, but also basic biology. Here we illustrate that point by reviewing current thinking about novel ways to control one of the world’s most well-studied invasions: that of the cane toad in Australia. Recently developed methods for population suppression include more effective traps based on the toad’s acoustic and pheromonal biology. New tools for containing spread include surveillance technologies (e.g., eDNA sampling and automated call detectors), as well as landscape-level barriers that exploit the toad’s vulnerability to desiccation— a strategy that could be significantly enhanced through the introduction of sedentary, rangecore genotypes ahead of the invasion front. New methods to reduce the ecological impacts of toads include conditioned taste aversion in free-ranging predators, gene banking, and targeted gene flow. Lastly, recent advances in gene editing and gene drive technology hold the promise of modifying toad phenotypes in ways that may facilitate control or buffer impact. Synergies between these approaches hold great promise for novel and more effective means to combat the toad invasion and its consequent impacts on biodiversity
Clinical disorders affecting mesopic vision
Vision in the mesopic range is affected by a number of inherited and acquired clinical disorders. We review these conditions and summarize the historical background, describing the clinical characteristics alongside the genetic basis and molecular biological mechanisms giving rise to rod and cone dysfunction relevant to twilight vision. The current diagnostic gold standards for each disease are discussed and curative and symptomatic treatment strategies are summarized
- …