6,965 research outputs found
A Disjunctive Conception of Acting for Reasons
A disjunctivist conception of acting for reasons is introduced by way of showing that a view of acting for reasons must give a place to knowledge. Two principal claims are made. 1. This conception has a role analogous to that of the disjunctive conception that John McDowell recommends in thinking about perception; and when the two disjunctivist conceptions are treated as counterparts, they can be shown to have work to do in combination. 2. This conception of acting for reasons safeguards the connection between considerations that move us to act in particular ways and considerations that favour our acting in particular ways.Articl
A New Rational Algorithm for View Updating in Relational Databases
The dynamics of belief and knowledge is one of the major components of any
autonomous system that should be able to incorporate new pieces of information.
In order to apply the rationality result of belief dynamics theory to various
practical problems, it should be generalized in two respects: first it should
allow a certain part of belief to be declared as immutable; and second, the
belief state need not be deductively closed. Such a generalization of belief
dynamics, referred to as base dynamics, is presented in this paper, along with
the concept of a generalized revision algorithm for knowledge bases (Horn or
Horn logic with stratified negation). We show that knowledge base dynamics has
an interesting connection with kernel change via hitting set and abduction. In
this paper, we show how techniques from disjunctive logic programming can be
used for efficient (deductive) database updates. The key idea is to transform
the given database together with the update request into a disjunctive
(datalog) logic program and apply disjunctive techniques (such as minimal model
reasoning) to solve the original update problem. The approach extends and
integrates standard techniques for efficient query answering and integrity
checking. The generation of a hitting set is carried out through a hyper
tableaux calculus and magic set that is focused on the goal of minimality.Comment: arXiv admin note: substantial text overlap with arXiv:1301.515
ï»żAn Answer Explanation Model for Probabilistic Database Queries
Following the availability of huge amounts of uncertain data, coming from diverse ranges of applications such as sensors, machine learning or mining approaches, information extraction and integration, etc. in recent years, we have seen a revival of interests in probabilistic databases. Queries over these databases result in probabilistic answers. As the process of arriving at these answers is based on the underlying stored uncertain data, we argue that from the standpoint of an end user, it is helpful for such a system to give an explanation on how it arrives at an answer and on which uncertainty assumptions the derived answer is based. In this way, the user with his/her own knowledge can decide how much confidence to place in this probabilistic answer. \ud
The aim of this paper is to design such an answer explanation model for probabilistic database queries. We report our design principles and show the methods to compute the answer explanations. One of the main contributions of our model is that it fills the gap between giving only the answer probability, and giving the full derivation. Furthermore, we show how to balance verifiability and influence of explanation components through the concept of verifiable views. The behavior of the model and its computational efficiency are demonstrated through an extensive performance study
Non-Naturalism and Reference
Metaethical realists disagree about the nature of normative properties. Naturalists think that they are ordinary natural properties: causally efficacious, a posteriori knowable, and usable in the best explanations of natural and social sciences. Non-naturalist realists, in contrast, argue that they are sui generis: causally inert, a priori knowable and not a part of the subject matter of sciences. It has been assumed so far that naturalists can explain causally how the normative predicates manage to refer to normative properties, whereas non-naturalists are unable to provide equally satisfactory metasemantic explanations. This article first describes how the previous non-naturalist accounts of reference fail to tell us how the normative predicates could have come to refer to the non-natural properties rather than to the natural ones. I will then use the so-called qua-problem to show how the causal theories of reference of naturalists also fail to fix the reference of normative predicates to unique natural properties. Finally, I will suggest that, just as naturalists need to rely on the non-causal mechanism of reference magnetism to solve the previous problem, non-naturalists, too, can rely on the very same idea to respond to the pressing metasemantic challenges that they face concerning reference
Higher Order Thought and the Problem of Radical Confabulation
Currently, one of the most influential theories of consciousness is Rosenthal's version of higher-order-thought (HOT). We argue that the HOT theory allows for two distinct interpretations: a one-component and a two-component view. We further argue that the two-component view is more consistent with his effort to promote HOT as an explanatory theory suitable for application to the empirical sciences. Unfortunately, the two-component view seems incapable of handling a group of counterexamples that we refer to as cases of radical confabulation. We begin by introducing the HOT theory and by indicating why we believe it is open to distinct interpretations. We then proceed to show that it is incapable of handling cases of radical confabulation. Finally, in the course of considering various possible responses to our position, we show that adoption of a disjunctive strategy, one that would countenance both one-component and two-component versions, would fail to provide any empirical or explanatory advantage
- âŠ