Given a controversial issue, argument mining from texts in natural language is extremely challenging: besides linguistic aspects, domain knowledge is often required together with appropriate forms of inferences to identify arguments. A major challenge is then to organize the arguments which have been mined to generate a synthesis that is relevant and usable. We show that the Generative Lexicon ...

The purpose of this paper is to analyze the lexical-semantic structure of morphologically derived passive verbs in Korean based on Pustejovsky (1995)'s Generative Lexicon Theory (GL) and to explain the change of the root verb's lexical-semantic structure by means of passivization. Passivization in this paper is defined as the unaccusaztivization. In Argument Structure of derived passive verbs, ...

Online forums are now one of the primary venues for public dialogue on current social and political issues. The related corpora are often huge, covering any topic imaginable. Our aim is to use these dialogue corpora to automatically discover the semantic aspects of arguments that conversants are making across multiple dialogues on a topic. We frame this goal as consisting of two tasks: argument...

This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programming. The new operations are patterned after the naturally occurring operations of gene duplication and gene deletion and are motivated by Ohno's provocative book Evolution by Means of Gene Duplication. The new operation...

In this paper, I argue that the ultimate argument for Scientific Realism, also known as the No-Miracles Argument (NMA), ultimately fails as an abductive defence of Epistemic Scientific Realism (ESR), where (ESR) is the thesis that successful theories of mature sciences are approximately true. The NMA is supposed to be an Inference to the Best Explanation (IBE) that purports to explain the succe...

The Argument Interchange Format (AIF) has been devised in order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation. In order to support such interchange, an abstract ontology for argumentation is presented, which serves as an interlingua between various more concrete argumentation languages. In this paper, we aim t...

Recent developments in cosmology indicate that every history having a nonzero probability is realized in infinitely many distinct regions of spacetime. Thus, it appears that the universe contains infinitely many civilizations exactly like our own, as well as infinitely many civilizations that differ from our own in any way permitted by physical laws. We explore the implications of this conclusi...

I’ll raise a problem for Retributivism, the view that legal punishment is justified on the basis of desert. I’ll focus primarily on Mitchell Berman’s recent defense of the view. He gives one of the most sophisticated and careful statements of it. And his argument is representative, so the problem I’ll raise for it will apply to other versions of Retributivism. His insights about justification a...

We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the first item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic definitions for arguments, and various kinds of counter-arguments (defeaters). This leads us to the definition of canonical undercuts which we argue are ...