About Norms and Causes

Knowing the norms of a domain is crucial, but there exist no repository of norms. We propose a method to extract them from texts: texts generally do not describe a norm, but rather how a state-of-affairs differs from it. Answers concerning the cause of the state-of-affairs described often reveal the implicit norm. We apply this idea to the domain of driving, and validate it by designing algorithms that identify, in a text, the "basic" norms to which it refers implicitly

Kant, Bolzano, and the Formality of Logic

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers who held that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).

Using Norms To Control Open Multi-Agent Systems

Internet es, tal vez, el avance científico más relevante de nuestros días. Entre otras cosas, Internet ha permitido la evolución de los paradigmas de computación tradicionales hacia el paradigma de computaciónn distribuida, que se caracteriza por utilizar una red abierta de ordenadores. Los sistemas multiagente (SMA) son una tecnolog a adecuada para abordar los retos motivados por estos sistemas abiertos distribuidos. Los SMA son aplicaciones formadas por agentes heterog eneos y aut onomos que pueden haber sido dise~nados de forma independiente de acuerdo con objetivos y motivaciones diferentes. Por lo tanto, no es posible realizar ninguna hip otesis a priori sobre el comportamiento de los agentes. Por este motivo, los SMA necesitan de mecanismos de coordinaci on y cooperaci on, como las normas, para garantizar el orden social y evitar la aparici on de conictos. El t ermino norma cubre dos dimensiones diferentes: i) las normas como un instrumento que gu a a los ciudadanos a la hora de realizar acciones y actividades, por lo que las normas de nen los procedimientos y/o los protocolos que se deben seguir en una situaci on concreta, y ii) las normas como ordenes o prohibiciones respaldadas por un sistema de sanciones, por lo que las normas son medios para prevenir o castigar ciertas acciones. En el area de los SMA, las normas se vienen utilizando como una especi caci on formal de lo que est a permitido, obligado y prohibido dentro de una sociedad. De este modo, las normas permiten regular la vida de los agentes software y las interacciones entre ellos. La motivaci on principal de esta tesis es permitir a los dise~nadores de los SMA utilizar normas como un mecanismo para controlar y coordinar SMA abiertos. Nuestro objetivo es elaborar mecanismos normativos a dos niveles: a nivel de agente y a nivel de infraestructura. Por lo tanto, en esta tesis se aborda primero el problema de la de nici on de agentes normativos aut onomos que sean capaces de deliberar acercaCriado Pacheco, N. (2012). Using Norms To Control Open Multi-Agent Systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17800Palanci

Pyrrhonian and Naturalistic Themes in the Final Writings of Wittgenstein

The following inquiry pursues two interlinked aims. The first is to understand Wittgenstein\u27s idea of non-foundational certainty in the context of a reading of On Certainty that emphasizes its Pyrrhonian elements. The second is to read Wittgenstein\u27s remarks on idealism/radical skepticism in On Certainty in parallel with the discussion of rule-following in Philosophical Investigations in order to demonstrate an underlying similarity of philosophical concerns and methods. I argue that for the later Wittgenstein, what is held certain in a given context of inquiry or action is a locally transcendental condition of the inquiry or action in question. In On Certainty, Wittgenstein\u27s analysis of the difference between knowledge and certainty forms the basis of his critique of both Moore\u27s Proof and radical skepticism. This critique takes the shape of rejection of a presupposition shared by both parties, and utilizes what I identify as a Pyrrhonian-style argument against opposed dogmatic views. Wittgenstein\u27s method in this text involves describing epistemic language-games. I demonstrate that this is consistent with the rejection of epistemological theorizing, arguing that a Wittgensteinian picture is not a theory, but an impressionistic description that accomplishes two things: (i) throwing into relief problems with dogmatic theories and their presuppositions, and (ii) describing the provenance of linguistic and epistemic practices in terms of norms grounded in convention. Convention, in turn, is not arbitrary, but grounded in the biological and social natures of human beings--in what Wittgenstein calls forms of life. Thus there is a kind of naturalism in the work of the later Wittgenstein. It is a naturalism that comes neatly dovetailed with Pyrrhonism--a combination of strategies traceable to Hume\u27s work in the Treatise. I read Hume as someone who develops the Pyrrhonian method to include philosophy done in a careless manner, and argue that Wittgenstein adopts a similar method in his later works. Finally, I explain the deference to convention in the work of both Hume and Wittgenstein by reference to a passage in Sextus\u27 Outlines, on which I provide a gloss in the final chapter of this work

Iconic Properties are Lost when Translating Visual Graphics to Text for Accessibility

For many blind and low-vision individuals, accessing charts and graphs often means accessing a text description of the graphics, usually aurally. However, in doing so, parts of the charts that are not originally conveyed textually are lost in the translation into text. By synthesizing ideas from the science and philosophy of perception and cognition, diagrammatic reasoning, and semiotics, this essay makes the case that translating charts into text descriptions results in the loss of iconic properties of the graphics, and proposes that non-linguistic sonification can be recruited to preserve such properties. The essay concludes by proposing how predictions based on this synthesis can inform design

The Oracle Problem in Software Testing: A Survey

Testing involves examining the behaviour of a system in order to discover potential faults. Given an input for a system, the challenge of distinguishing the corresponding desired, correct behaviour from potentially incorrect behavior is called the “test oracle problem”. Test oracle automation is important to remove a current bottleneck that inhibits greater overall test automation. Without test oracle automation, the human has to determine whether observed behaviour is correct. The literature on test oracles has introduced techniques for oracle automation, including modelling, specifications, contract-driven development and metamorphic testing. When none of these is completely adequate, the final source of test oracle information remains the human, who may be aware of informal specifications, expectations, norms and domain specific information that provide informal oracle guidance. All forms of test oracles, even the humble human, involve challenges of reducing cost and increasing benefit. This paper provides a comprehensive survey of current approaches to the test oracle problem and an analysis of trends in this important area of software testing research and practice