Automatic Construction of Implicative Theories for Mathematical Domains

Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-examples. In frames of the project implicative theories were constructed automatically for two mathematical domains: algebraic identities and parametrically expressible functions. This goal was achieved thanks both pragmatical approach of Attribute Exploration and discoveries in respective fields of application. The two diverse application fields favourably illustrate different possible usage patterns of Attribute Exploration for automatic construction of implicative theories

Directing dinnertime: practices and resources used by parents and children to deliver and respond to directive actions

Directing dinnertime: practices and resources used by parents and children to deliver and respond to directive action

"I Want This, I Want That": a discursive analysis of mental state terms in family interaction

Using the theoretical approach of discursive psychology, this thesis examines the interactive uses of mental state talk, in particular the term want , in everyday family interaction. In mainstream cognitive psychology mental state terms are examined as words which signify internal referents. How individuals come to competently participate in social interaction is formulated as a problem of how individual, isolated minds come to understand the contents of other minds. This thesis challenges these individualistic notions and examines notions of wanting as interactionally managed participants concerns. The data are taken from two sources; a set of video recordings taken from a series of fly-on-the-wall documentary programmes which each focus on a particular family and videotapes of mealtimes recorded by three families. Recordings were initially transcribed verbatim and sections related to the emerging themes within the thesis were subsequently transcribed using the Jefferson notation system. These transcripts were then analysed, alongside repeated viewings of the video recordings. The thesis considers a range of analytic themes, which are interlinked via one of the primary research questions, which has been to examine how, and to what end, speakers routinely deploy notions of wanting in everyday talk-in-interaction. A major theme has been to highlight inherent problems with work in social cognition which uses experimental tasks to examine children s Theory of Mind and understanding of desires . I argue that the assumptions of this work are a gross simplification of the meaning wanting for both children and adults. A further theme has been to examine the sequential organisation of directives and requests in both adults and children s talk. Finally, I examine speakers practices for rejecting a proposal regarding their actions and for denying a formulation of their motivations by a co-interactant. The conclusions of the thesis show that expressions of wanting are practical expressions which work within a flow of interactional and deontic considerations and that making claims regarding one s own or others wants is entirely a social matter. I argue that rather than being examined for what they may reveal about the mind , mental state terms may be fruitfully examined as interactional matters

Intertextual Readings of the Nyāyabhūṣaṇa on Buddhist Anti-Realism

This two-part dissertation has two goals: 1) a close philological reading of a 50-page section of a 10th-century Sanskrit philosophical work (Bhāsarvajña's Nyāyabhūṣaṇa), and 2) the creation and assessment of a novel intertextuality research system (Vātāyana) centered on the same work. The first half of the dissertation encompasses the philology project in four chapters: 1) background on the author, work, and key philosophical ideas in the passage; 2) descriptions of all known manuscript witnesses of this work and a new critical edition that substantially improves upon the editio princeps; 3) a word-for-word English translation richly annotated with both traditional explanatory material and novel digital links to not one but two interactive online research systems; and 4) a discussion of the Sanskrit author's dialectical strategy in the studied passage. The second half of the dissertation details the intertextuality research system in a further four chapters: 5) why it is needed and what can be learned from existing projects; 6) the creation of the system consisting of curated textual corpus, composite algorithm in natural language processing and information retrieval, and live web-app interface; 7) an evaluation of system performance measured against a small gold-standard dataset derived from traditional philological research; and 8) a discussion of the impact such new technology could have on humanistic research more broadly. System performance was assessed to be quite good, with a 'recall@5' of 80%, meaning that most previously known cases of mid-length quotation and even paraphrase could be automatically found and returned within the system's top five hits. Moreover, the system was also found to return a 34% surplus of additional significant parallels not found in the small benchmark. This assessment confirms that Vātāyana can be useful to researchers by aiding them in their collection and organization of intertextual observations, leaving them more time to focus on interpretation. Seventeen appendices illustrate both these efforts and a number of side projects, the latter of which span translation alignment, network visualization of an important database of South Asian prosopography (PANDiT), and a multi-functional Sanskrit text-processing web application (Skrutable).:Preface (i) Table of Contents (ii) Abbreviations (v) Terms and Symbols (v) Nyāyabhūṣaṇa Witnesses (v) Main Sanskrit Editions (vi) Introduction (vii) A Multi-Disciplinary Project in Intertextual Reading (vii) Main Object of Study: Nyāyabhūṣaṇa 104–154 (vii) Project Outline (ix) Part I: Close Reading (1) 1 Background (1) 1.1 Bhāsarvajña (1) 1.2 The Nyāyabhūṣaṇa (6) 1.2.1 Ts One of Several Commentaries on Bhāsarvajña's Nyāyasāra (6) 1.2.2 In Modern Scholarship, with Focus on NBhū 104–154 (8) 1.3 Philosophical Context (11) 1.3.1 Key Philosophical Concepts (12) 1.3.2 Intra-Textual Context within the Nyāyabhūṣaṇa (34) 1.3.3 Inter-Textual Context (36) 2 Edition of NBhū 104–154 (39) 2.1 Source Materials (39) 2.1.1 Edition of Yogīndrānanda 1968 (E) (40) 2.1.2 Manuscripts (P1, P2, V) (43) 2.1.3 Diplomatic Transcripts (59) 2.2 Notes on Using the Edition (60) 2.3 Critical Edition of NBhū 104–154 with Apparatuses (62) 3 Translation of NBhū 104–154 (108) 3.1 Notes on Translation Method (108) 3.2 Notes on Outline Headings (112) 3.3 Annotated Translation of NBhū 104–154 (114) 4 Discussion (216) 4.1 Internal Structure of NBhū 104–154 (216) 4.2 Critical Assessment of Bhāsarvajña's Argumentation (218)   Part II: Distant Reading with Digital Humanities (224) 5 Background in Intertextuality Detection (224) 5.1 Sanskrit Projects (225) 5.2 Non-Sanskrit Projects (228) 5.3 Operationalizing Intertextuality (233) 6 Building an Intertextuality Machine (239) 6.1 Corpus (Pramāṇa NLP) (239) 6.2 Algorithm (Vātāyana) (242) 6.3 User Interface (Vātāyana) (246) 7 Evaluating System Performance (255) 7.1 Previous Scholarship on NBhū 104–154 as Philological Benchmark (255) 7.2 System Performance Relative to Benchmark (257) 8 Discussion (262) Conclusion (266) Works Cited (269) Main Sanskrit Editions (269) Works Cited in Part I (271) Works Cited in Part II (281) Appendices (285) Appendix 1: Correspondence of Joshi 1986 to Yogīndrānanda 1968 (286) Appendix 1D: Full-Text Alignment of Joshi 1986 to Yogīndrānanda 1968 (287) Appendix 2: Prosopographical Relations Important for NBhū 104–154 (288) Appendix 2D: Command-Line Tool “Pandit Grapher” (290) Appendix 3: Previous Suggestions to Improve Text of NBhū 104–154 (291) Appendix 4D: Transcript and Collation Data for NBhū 104–154 (304) Appendix 5D: Command-Line Tool “cte2cex” for Transcript Data Conversion (305) Appendix 6D: Deployment of Brucheion for Interactive Transcript Data (306) Appendix 7: Highlighted Improvements to Text of NBhū 104–154 (307) Appendix 7D: Alternate Version of Edition With Highlighted Improvements (316) Appendix 8D: Digital Forms of Translation of NBhū 104–154 (317) Appendix 9: Analytic Outline of NBhū 104–154 by Shodo Yamakami (318) Appendix 10.1: New Analytic Outline of NBhū 104–154 (Overall) (324) Appendix 10.2: New Analytic Outline of NBhū 104–154 (Detailed) (325) Appendix 11D: Skrutable Text Processing Library and Web Application (328) Appendix 12D: Pramāṇa NLP Corpus, Metadata, and LDA Modeling Info (329) Appendix 13D: Vātāyana Intertextuality Research Web Application (330) Appendix 14: Sample of Yamakami Citation Benchmark for NBhū 104–154 (331) Appendix 14D: Full Yamakami Citation Benchmark for NBhū 104–154 (333) Appendix 15: Vātāyana Recall@5 Scores for NBhū 104–154 (334) Appendix 16: PVA, PVin, and PVSV Vātāyana Search Hits for Entire NBhū (338) Appendix 17: Sample Listing of Vātāyana Search Hits for Entire NBhū (349) Appendix 17D: Full Listing of Vātāyana Search Hits for Entire NBhū (355) Overview of Digital Appendices (356) Zusammenfassung (Thesen Zur Dissertation) (357) Summary of Results (361

Personal Constructs of Body-Mind Identity With Persons Who Experience Medically Unexplained Symptoms (MUS)

Medically Unexplained Symptoms (MUS) are bodily symptoms for which no organic cause has been identified, and which result in significant levels of psychological distress and functional impairment. MUS are thought to be highly prevalent in primary care settings, and have considerable costs to society. Despite evidence of overlapping psychological and physical presentations, MUS are not well understood or treated in culture that predominantly views the body through the lenses of dualism and mechanistic reductionism. An alternative ‘interactive’ view of the body as playing a more dynamic role is elaborated through George Kelly’s (1955) Personal Construct Psychology. The author draws upon Lin & Payne’s (2014) ‘frozen construing’ theory, and empirical literature on relationships between identity and MUS, to suggest that for people with MUS, the symptomatic body is distressing because the person is struggling to integrate its meaning with their identity. It is hypothesized that embodied processes, that may actually protect the self (and others who share a construct system with that person) from events which threaten to dramatically alter how the self is construed, are difficult to understand because of their preverbal nature. Hence symptoms, and the body itself, are dissociated from the person’s more elaborated verbal self-constructions. Several hypotheses relating to this suggestion were tested using a modified form of the repertory grid technique that was designed to explore construct systems of both mind and body, for self and others. Twenty participants with MUS, recruited from the community, completed the repertory grid interviews and measures of depression, anxiety and symptom severity, which were correlated with relevant repertory grid indices to test hypotheses. Findings indicated that symptom constructs, contrary to expectations, were well integrated into participants’ construct systems. The alleviation of psychological distress was significantly associated with increased perceived distance between the self in general and the self when symptoms are worst (a relationship which appeared to be independent of severity of symptoms), providing evidence of a process of dissociation that protected the current self from assimilating the undesirable characteristics that were associated with the symptom. The way in which the self when symptoms are worst is construed appeared to influence levels of distress, with more predictive power than several other indices. The study also found evidence for some participants of hypothesized relationships between desired aspects of the current self and symptoms, that would imply that symptom disappearance would actually threaten a desirable aspect of how the self is construed. Content analysis of these constructs revealed (as predicted) that such desirable aspects of self tended to relate to being responsible and sensitive to the needs of others, and were elaborated through bodily constructs in a way that suggested that they were not well integrated with the primary ways that these participants made sense of their identity. For these particular participants, discrepancies between the ideals that they had for themselves, and how they would like to be seen by others, were associated with increased depression. Several participants were identified whose constructions of self and others were dominated by constructs relating to both mental and physical strength and weakness. These participants appeared to be struggling to find coherent meaning for themselves as the result of symptoms, which were regarded as invalidating a pre-symptom construal of themselves as being ‘strong’. There seemed to be a continuum of being a ‘body for others’ on the one hand, a previously ‘strong person’ on the other, and a person who is ‘strong for others’ in the middle. Implications for clinical practice are discussed. Although the findings of the current study are limited by a small sample size, it appears that exploring the meaning of the body in the construction of self helps to elaborate the meaning of the body and symptoms in a verbal, expressible form. This process is likely to be helpful to those who struggle to find meanings for their symptoms both in their own construct systems and in a society that objectifies the body