The motivation of this study is that Reiter’s default theory as well as assumption-based argumentation frameworks corresponding to default theories have difficulties in handling disjunctive information, while a disjunctive default theory (ddt) avoids them. This paper presents the semantic correspondence between generalized assumption-based argumentation (ABA) and extended disjunctive logic programming as well as the correspondence between ABA and nonmonotonic reasoning approaches such as disjunctive default logic and prioritized circumscription. To overcome the above-mentioned difficulties of ABA frameworks corresponding to default theories, (...) we propose an assumption-based framework (ABF) translated from an extended disjunctive logic program (EDLP) since an EDLP can be translated into a ddt. Our ABF incorporates explicit negation and the connective of disjunction “|” to Heyninck and Arieli’s ABF induced by a disjunctive logic program. In this paper, first, we show how arguments are constructed from disjunctive rules in our proposed ABF. Then, we show the correspondence between answer sets of an EDLP P and stable extensions of the ABF translated from P with trivialization rules. After defining rationality postulates, we show answer sets of a consistent EDLP are captured by consistent stable extensions of the translated ABF with no trivialization rules. Finally, we show the correspondence between ABA and disjunctive default logic (resp. prioritized circumscription). The relation between ABA and possible model semantics of EDLPs is also discussed. (shrink)

Though many kinds of multi-agent systems based on argumentation have been proposed where only rule-based knowledge is taken into account, they have been unable to handle the ontological knowledge so far. In our daily life, however, there are a lot of human argumentation where both ontological and rule knowledges are used. For example, in e-commerce, a seller and a buyer usually use ontologies about products along with their respective strategic rules for buying and selling. Recent progress of the Semantic Web (...) technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning. We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values { f, t }) can be accessible to the Semantic Web reasoning established as the description logic reasoning system, given ontologies expressed by OWL DL or its notational variant the DL SHOIN (D). An interesting argumentation result using both ontologies and rules about the university curriculum is shown as an example executed by our system. (shrink)

Peptides possessing both natriuretic and smooth muscle relaxant activities have been isolated from heart atria and their structures have been determined. The peptides designated ANP (atrial natriuretic peptide) regulate salt and water balance and blood pressure. The scope of this article is to provide a summary of recent research developments directed towards understanding the molecular nature of atrial natriuretic peptides.

後期水戸学の中心的存在で水戸学の本流であった藤田幽谷の青少年期の学問成果に注目し、その形成の一端を明らかにする。幽谷門下の吉田活堂を中心とする水戸の国学、そして『大日本史』や『扶桑拾葉集』の研究を経て 辿り着く、幽谷研究の決定版。.

Recently, an article by Toshiko Tanaka, Takao Yamamoto, and Masahiko Haruno garnered a fair bit of media attention; in “Brain response patterns to economic inequity predict present and future depression indices”, they reported research that purported to show that “pro-social” individuals were more upset by unequal outcomes that didn’t directly disadvantage them than were “individualists.” Further, being pro-social was associated with a higher chance of developing depression. They linked this research with research showing that economic inequality is associated with (...) poor health outcomes, including higher rates of depression. (They cite the epidemiologists Richard Wilkinson and Kate Pickett’s 2006 work... (shrink)

Comme son titre l’indique, cet ouvrage collectif renouvelle réflexions et analyses autour des mouvements et figures féministes du Japon dans différents domaines. L’introduction nous donne un aperçu historique et synthétique très utile pour resituer les chapitres qui suivent. Elle souligne l’apparition de figures féministes (Kishida Toshiko, Fukuda Hideko) dès le début de la construction de l’État moderne japonais. Leur combat pour accéder à l’espace politique resta minoritaire alors que le pr...