Analysis of Dialogical Argumentation via Finite State Machines

Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation. Whilst numerous formal systems have been proposed, there is a lack of frameworks for implementing and evaluating these proposals. First-order executable logic has been proposed as a general framework for specifying and analysing dialogical argumentation. In this paper, we investigate how we can implement systems for dialogical argumentation using propositional executable logic. Our approach is to present and evaluate an algorithm that generates a finite state machine that reflects a propositional executable logic specification for a dialogical argumentation together with an initial state. We also consider how the finite state machines can be analysed, with the minimax strategy being used as an illustration of the kinds of empirical analysis that can be undertaken.Comment: 10 page

Arguing and negotiating in the presence of social influences

Postprin

Trimethoprim‐Sulfamethoxazole Activity and Pharmacodynamics against Glycopeptide‐Intermediate Staphylococcus aureus

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90392/1/phco.22.12.983.33599.pd

Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion / Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha

Dating the Cryptococcus gattii Dispersal to the North American Pacific Northwest.

The emergence of Cryptococcus gattii, previously regarded as a predominantly tropical pathogen, in the temperate climate of the North American Pacific Northwest (PNW) in 1999 prompted several questions. The most prevalent among these was the timing of the introduction of this pathogen to this novel environment. Here, we infer tip-dated timing estimates for the three clonal C. gattii populations observed in the PNW, VGIIa, VGIIb, and VGIIc, based on whole-genome sequencing of 134 C. gattii isolates and using Bayesian evolutionary analysis by sampling trees (BEAST). We estimated the nucleotide substitution rate for each lineage (1.59 × 10-8, 1.59 × 10-8, and 2.70 × 10-8, respectively) to be an order of magnitude higher than common neutral fungal mutation rates (2.0 × 10-9), indicating a microevolutionary rate (e.g., successive clonal generations in a laboratory) in comparison to a species' slower, macroevolutionary rate (e.g., when using fossil records). The clonal nature of the PNW C. gattii emergence over a narrow number of years would therefore possibly explain our higher mutation rates. Our results suggest that the mean time to most recent common ancestor for all three sublineages occurred within the last 60 to 100 years. While the cause of C. gattii dispersal to the PNW is still unclear, our research estimates that the arrival is neither ancient nor very recent (i.e., <25 years ago), making a strong case for an anthropogenic introduction. IMPORTANCE The recent emergence of the pathogenic fungus Cryptococcus gattii in the Pacific Northwest (PNW) resulted in numerous investigations into the epidemiological and enzootic impacts, as well as multiple genomic explorations of the three primary molecular subtypes of the fungus that were discovered. These studies lead to the general conclusion that the subtypes identified likely emerged out of Brazil. Here, we conducted genomic dating analyses to determine the ages of the various lineages seen in the PNW and propose hypothetical causes for the dispersal events. Bayesian evolutionary analysis strongly suggests that these independent fungal populations in the PNW are all 60 to 100 years old, providing a timing that is subsequent to the opening of the Panama Canal, which allowed for more direct shipping between Brazil and the western North American coastline, a possible driving event for these fungal translocation events

Validation of Electronic Data Capture of the Irritable Bowel Syndrome—Quality of Life Measure, the Work Productivity and Activity Impairment Questionnaire for Irritable Bowel Syndrome and the EuroQol

ABSTRACTObjectivesTo assess the comparability, reliability, and subject acceptability of electronic data capture (EDC) versions of Irritable Bowel Syndrome—Quality of Life (IBS-QOL), EuroQoL (EQ-5D) and Work Productivity and Activity Impairment (WPAI:IBS) instruments.MethodsComparability of EDC and paper questionnaires was evaluated in 72 subjects with IBS who completed a baseline EDC or paper questionnaire, a crossover questionnaire 24 hours later, and a retest of the crossover version at 1 week. The EDC version was presented on a hand-held device. Comparability was assessed using paired t-test statistics, intraclass correlation coefficients (ICC) and tests for internal consistency (Cronbach's alpha).ResultsNo significant differences were found between scores obtained by paper questionnaire and EDC at the baseline and crossover assessments. ICCs between baseline and crossover assessments ranged from 0.83 to 0.96 for the IBS-QOL scores, 0.82 to 0.96 for the WPAI:IBS scores, and 0.77 to 0.82 for the EQ-5D. Internal consistency was comparable for the two data collection methods for the IBS-QOL overall score (0.96) and subscales and the EQ-5D Index (0.70 vs. 0.74). Retest statistics (ICC) were generally comparable between the EDC and paper versions for all scores. Ease of use was comparable for the two modes of administration, but more patients preferred EDC (47.2%) than the paper questionnaire (23.6%).ConclusionsEDC versions of the IBS-QOL, EQ-5D, and WPAI:IBS are comparable to paper questionnaires in internal consistency and test–retest reliability, and have greater patient acceptability

Health‐Related Quality of Life in Patients 7 Months After a Myocardial Infarction: Factors Affecting the Short Form‐12

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90293/1/phco.22.17.1616.34121.pd

Research opportunities for argumentation in social networks

Nowadays, many websites allow social networking between their users in an explicit or implicit way. In this work, we show how argumentation schemes theory can provide a valuable help to formalize and structure on-line discussions and user opinions in decision support and business oriented websites that held social networks between their users. Two real case studies are studied and analysed. Then, guidelines to enhance social decision support and recommendations with argumentation are provided.This work summarises results of the authors joint research, funded by an STMS of the Agreement Technologies COST Action 0801, by the Spanish government grants [CONSOLIDER-INGENIO 2010 CSD2007-00022, and TIN2012-36586-C03-01] and by the GVA project [PROMETEO 2008/051].Heras Barberá, SM.; Atkinson, KM.; Botti Navarro, VJ.; Grasso, F.; Julian Inglada, VJ.; Mcburney, PJ. (2013). Research opportunities for argumentation in social networks. Artificial Intelligence Review. 39(1):39-62. doi:10.1007/s10462-012-9389-0S3962391Amgoud L (2009) Argumentation for decision making. Argumentation in artificial intelligence. Springer, BerlinAnderson P (2007) What is Web 2.0? Ideas, technologies and implications for education. JISC Iechnology and Standards Watch reportBentahar J, Meyer CJJ, Moulin B (2007) Securing agent-oriented systems: an argumentation and reputation-based approach. In: Proceedings of the 4th international conference on information technology: new generations (ITNG 2007), IEEE Computer Society, pp 507–515Buckingham Shum S (2008) Cohere: towards Web 2.0 argumentation. In: Proceedings of the 2nd international conference on computational models of argument, COMMA, pp 28–30Burke R (2002) Hybrid recommender systems: survey and experiments. User Model User-Adapt Interact 12:331–370Cartwright D, Atkinson K (2008) Political engagement through tools for argumentation. In: Proceedings of the second international conference on computational models of argument (COMMA 2008), pp 116–127Chesñevar C, McGinnis J, Modgil S, Rahwan I, Reed C, Simari G, South M, Vreeswijk G, Willmott S (2006) Towards an argument interchange format. Knowl Eng Rev 21(4):293–316Chesñevar CI, Maguitman AG, Gonzàlez MP (2009) Empowering recommendation technologies through argumentation. Argumentation in artificial intelligence. Springer, Berlin, pp 403–422García AJ, Dix J, Simari GR (2009) Argument-based logic programming. Argumentation in artificial intelligence. Springer, BerlinGolbeck J (2006) Generating predictive movie recommendations from trust in social networks. In: Proceedings of the fourth international conference on trust management, LNCS, vol 3986, 93–104Gordon T, Prakken H, Walton D (2007) The Carneades model of argument and burden of proof. Artif Intell 171(10–15):875–896Guha R, Kumar R, Raghavan P, Tomkins A (2004) Propagating trust and distrust. In: Proceedings of the 13th international conference on, World Wide Web, pp 403–412Heras S, Navarro M, Botti V, Julián V (2009) Applying dialogue games to manage recommendation in social networks. In: Proceedings of the 6th international workshop on argumentation in multi-agent aystems, ArgMASHeras S, Atkinson K, Botti V, Grasso F, Julián V, McBurney P (2010a) How argumentation can enhance dialogues in social networks. In: Proceedings of the 3rd international conference on computational models of argument, COMMA, vol 216, pp 267–274Heras S, Atkinson K, Botti V, Grasso F, Julián V, McBurney P (2010b) Applying argumentation to enhance dialogues in social networks. In: ECAI 2010 workshop on computational models of natural argument, CMNA, pp 10–17Karacapilidis N, Tzagarakis M (2007) Web-based collaboration and decision making support: a multi-disciplinary approach. Web-Based Learn Teach Technol 2(4):12–23Kim D, Benbasat I (2003) Trust-related arguments in internet stores: a framework for evaluation. J Electron Commer Res 4(2):49–64Kim D, Benbasat I (2006) The effects of trust-assuring arguments on consumer trust in internet stores: application of Toulmin’s model of argumentation. Inf Syst Rese 17(3):286–300Laera L, Tamma V, Euzenat J, Bench-Capon T, Payne T (2006) Reaching agreement over ontology alignments. In: Proceedings of the 5th international semantic web conference (ISWC 2006)Lange C, Bojãrs U, Groza T, Breslin J, Handschuh S (2008) Expressing argumentative discussions in social media sites. In: Social data on the web (SDoW2008) workshop at the 7th international semantic web conferenceLinden G, Smith B, York J (2003) Amazon.com recommendations: item-to-item collaborative filtering. IEEE Internet Comput 7(1):76–80Linden G, Hong J, Stonebraker M, Guzdial M (2009) Recommendation algorithms, online privacy and more. Commun ACM, 52(5)Mika P (2007) Ontologies are us: a unified model of social networks and semantics. J Web Semant 5(1):5–15Montaner M, López B, de la Rosa JL (2002) Opinion-based filtering through trust. In: Cooperative information agents VI, LNCS, vol 2446, pp 127–144Ontañón S, Plaza E (2008) Argumentation-based information exchange in prediction markets. In: Proceedings of the 5th international workshop on argumentation in multi-agent systems, ArgMASPazzani MJ, Billsus D (2007) Content-based recommendation systems. In: The adaptive web, LNCS, vol 4321, pp 325–341Rahwan I, Zablith F, Reed C (2007) Laying the foundations for a world wide argument web. Artif Intell 171(10–15):897–921Rahwan I, Banihashemi B (2008) Arguments in OWL: a progress report. In: Proceedings of the 2nd international conference on computational models of argument (COMMA), pp 297–310Reed C, Walton D (2007) Argumentation schemes in dialogue. In: Dissensus and the search for common ground, OSSA-07, volume CD-ROM, pp 1–11Sabater J, Sierra C (2002) Reputation and social network analysis in multi-agent systems. In: Proceedings of the 1st international joint conference on autonomous agents and multiagent systems, vol 1, pp 475–482Schafer JB, Konstan JA, Riedl J (2001) E-commerce recommendation applications. Data Min Knowl Discov 5:115–153Schafer JB, Frankowski D, Herlocker J, Sen S (2007) Collaborative filtering recommender systems. In: The adaptive web, LNCS, vol 4321, pp 291–324Schneider J, Groza T, Passant A (2012) A review of argumentation for the aocial semantic web. Semantic web-interoperability, usability, applicability. IOS Press, Washington, DCTempich C, Pinto HS, Sure Y, Staab S (2005) An argumentation ontology for distributed, loosely-controlled and evolvInG Engineering processes of oNTologies (DILIGENT). In: Proceedings of the 2nd European semantic web conference, ESWC, pp 241–256Toulmin SE (1958) The uses of argument. Cambridge University Press, Cambridge, UKTrojahn C, Quaresma P, Vieira R, Isaac A (2009) Comparing argumentation frameworks for composite ontology matching. in: Proceedings of the 6th international workshop on argumentation in multi-agent systems, ArgMASTruthMapping. http://truthmapping.com/Walter FE, Battiston S, Schweitzer F (2007) A model of a trust-based recommendation system on a social network. J Auton Agents Multi-Agent Syst 16(1):57–74Walton D, Krabbe E (1995) Commitment in dialogue: basic concepts of interpersonal reasoning. State University of New York Press, New York, NYWalton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, CambridgeWells S, Gourlay C, Reed C (2009) Argument blogging. Computational models of natural argument, CMNAWyner A, Schneider J (2012) Arguing from a point of view. In: Proceedings of the first international conference on agreement technologie

A role for neuronal cAMP responsive-element binding (CREB)-1 in brain responses to calorie restriction

Calorie restriction delays brain senescence and prevents neurodegeneration, but critical regulators of these beneficial responses other than the NAD(+)-dependent histone deacetylase Sirtuin-1 (Sirt-1) are unknown. We report that effects of calorie restriction on neuronal plasticity, memory and social behavior are abolished in mice lacking cAMP responsive-element binding (CREB)-1 in the forebrain. Moreover, CREB deficiency drastically reduces the expression of Sirt-1 and the induction of genes relevant to neuronal metabolism and survival in the cortex and hippocampus of dietary-restricted animals. Biochemical studies reveal a complex interplay between CREB and Sirt-1: CREB directly regulates the transcription of the sirtuin in neuronal cells by binding to Sirt-1 chromatin; Sirt-1, in turn, is recruited by CREB to DNA and promotes CREB-dependent expression of target gene peroxisome proliferator-activated receptor-\u3b3 coactivator-1\u3b1 and neuronal NO Synthase. Accordingly, expression of these CREB targets is markedly reduced in the brain of Sirt KO mice that are, like CREB-deficient mice, poorly responsive to calorie restriction. Thus, the above circuitry, modulated by nutrient availability, links energy metabolism with neurotrophin signaling, participates in brain adaptation to nutrient restriction, and is potentially relevant to accelerated brain aging by overnutrition and diabetes

Carbon isotope signatures from land snail shells: Implications for palaeovegetation reconstruction in the eastern Mediterranean

In this studywecompare carbon isotope values inmodern Helix melanostoma shell carbonate (d13Cshell) from the Gebel al-Akhdar region of Libya with carbon isotope values in H. melanostomabody tissue (d13Cbody), local vegetation (d13Cplant) and soil (d13Csoil). All vegetation in the study area followed the C3 photosynthetic pathway. However, the d13Cplant values of different species formed two distinct isotopic groups. This can be best explained by different water use efficiencies with arid adapted species having significantly more positive d13Cplant values than less water efficient species. The ranges and means of d13Cbody and d13Cplant were statistically indistinguishable from one another suggesting that d13Cbody was primarily a function of local vegetation composition. H. melanostoma d13Cshell reflected the d13Cplant of local vegetation with a positive offset between body/diet and shell of 14.5± 1.4‰. Therefore, in the Gebel al-Akhdar where only C3 plants are present, highermeand13C shell values likely reflect greater abundances ofwater-efficientC3 plants in the snails diet and therefore in the landscape, whilst lower mean d13Cshell values likely reflect the consumption of less water-efficient C3 plants. The distribution of these plants is in turn affected by environmental factors such as rainfall. These findings can be applied to archaeological and geological shell deposits to reconstruct late Pleistocene to Holocene vegetation change in the southeast Mediterranean