160 research outputs found

    Reasoning Studies. From Single Norms to Individual Differences.

    Get PDF
    In review. Submitted for habilitation in psychology

    Iterated revision and minimal change of conditional beliefs

    Full text link

    Machine ethics via logic programming

    Get PDF
    Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.Fundação para a Ciência e a Tecnologia (FCT)-grant SFRH/BD/72795/2010 ; CENTRIA and DI/FCT/UNL for the supplementary fundin

    Quantification and scales in change

    Get PDF
    This volume contains thematic papers on semantic change which emerged from the second edition of Formal Diachronic Semantics held at Saarland University. Its authorship ranges from established scholars in the field of language change to advanced PhD students whose contributions have equally qualified and have been selected after a two-step peer-review process. The key foci are variablity and diachronic trajectories in scale structures and quantification, but readers will also find a variety of further (and clearly non-disjoint) issues covered including reference, modality, givenness, presuppositions, alternatives in language change, temporality, epistemic indefiniteness, as well as - in more general terms - the interfaces of semantics with syntax, pragmatics and morphology. Given the nature of the field, the contributions are primarily based on original corpus studies (in one case also on synchronic experimental data) and present a series of new findings and theoretical analyses of several languages, first and foremost from the Germanic and Romance subbranches of Indo-European (English, French, German, Italian, Spanish) and from Semitic (with an analysis of universal quantification in Biblical Hebrew)

    Four pieces for modality, context and usage

    Get PDF
    Thesis (Ph. D. in Linguistics)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (pages 259-269).The main part of this dissertation consists of four loosely connected chapters on the semantics of modals. The chapters inform each other and employ similar methods, but generally each one is self-contained and can be read in isolation. Chapter 2 introduces new semantics for epistemic modality. I argue that the epistemic modal base consists of the propositions that can be obtained by the interlocutors early enough to affect their resolution of their current practical goal. Integrated into the standard contextualist semantics, the new definition successfully accounts for two sets of data that have been claimed to falsify standard contextualism, namely from disagreement dialogues and complements of attitude verbs. Chapter 3 traces the historical rise of the may-under-hope construction, as in I hope we may succeed. In that construction, the modal does not contribute its normal existential modal force. It turns out that despite the construction's archaic flavor in Present-Day English, it is a very recent innovation that arose not earlier than the 16th century. I put forward a hypothesis that the may-under-hope construction arose as the replacement of an earlier construction where the inflectional subjunctive under verbs of hoping was used to mark a specific type of formal hopes about good health. Chapter 4 proposes that O(ld) E(nglish) *motan, the ancestor of Modern English must, was a variable-force modal somewhat similar to the variable-force modals of the American Pacific Northwest. I argue that in Alfredian OE, motan(p) presupposed that if p gets a chance to actualize, it will. I also argue that several centuries later, in the 'AB' dialect, Early Middle English *moten is was genuinely ambiguous between possibility and necessity. Thus a new trajectory of semantic change is discovered: variable force, to ambiguity between possibility and necessity, to regular necessity. Chapter 5 argues that, first, restrictions on the relative scope of deontics and clausemate negation can hardly be all captured within the syntactic component, and second, that capturing some of them can be due to semantic filters on representations. I support the second claim by showing how such semantic filters on scope may arise historically, using Russian stoit 'should' and English have to as examples.by Igor Yanovich.Ph.D.in Linguistic

    Conditional preferences and practical conditionals

    Get PDF

    Computational linguistics in the Netherlands 1996 : papers from the 7th CLIN meeting, November 15, 1996, Eindhoven

    Get PDF

    Computational linguistics in the Netherlands 1996 : papers from the 7th CLIN meeting, November 15, 1996, Eindhoven

    Get PDF
    • …
    corecore