Novel Application of Neutrosophic Logic in Classifiers Evaluated under Region-Based Image Categorization System

Neutrosophic logic is a relatively new logic that is a generalization of fuzzy logic. In this dissertation, for the first time, neutrosophic logic is applied to the field of classifiers where a support vector machine (SVM) is adopted as the example to validate the feasibility and effectiveness of neutrosophic logic. The proposed neutrosophic set is integrated into a reformulated SVM, and the performance of the achieved classifier N-SVM is evaluated under an image categorization system. Image categorization is an important yet challenging research topic in computer vision. In this dissertation, images are first segmented by a hierarchical two-stage self organizing map (HSOM), using color and texture features. A novel approach is proposed to select the training samples of HSOM based on homogeneity properties. A diverse density support vector machine (DD-SVM) framework that extends the multiple-instance learning (MIL) technique is then applied to the image categorization problem by viewing an image as a bag of instances corresponding to the regions obtained from the image segmentation. Using the instance prototype, every bag is mapped to a point in the new bag space, and the categorization is transformed to a classification problem. Then, the proposed N-SVM based on the neutrosophic set is used as the classifier in the new bag space. N-SVM treats samples differently according to the weighting function, and it helps reduce the effects of outliers. Experimental results on a COREL dataset of 1000 general purpose images and a Caltech 101 dataset of 9000 images demonstrate the validity and effectiveness of the proposed method

Analyzing equivalalences in discourse: are discourse theory and membership categorization analysis comptatible

Facing a crucial leap from political philosophy to empirical analysis, the approach to discourse analysis that arose in the aftermath of Laclau and Mouffe (1985), and that is currently known as the Essex school of discourse theory (DT), has in recent years repeatedly been accused of suffering from a methodological deficit. This paper examines to what extent membership categorization analysis (MCA), a branch of ethnomethodology that investigates lay actors' situated descriptions-in-context as practical activity, can play a part in rendering poststructuralist DT notions such as articulation and equivalence analytically tangible in empirically observable discourse. Based on a review of Laclau and Mouffe's foundational text as well as on Glynos and Howarth's recent exposition of the framework (2007), it is argued that MCA empirically substantiates many poststructuralist claims about the indeterminacy of signification. However, MCA consistently falters - and willingly so - at the point where DT would articulate emerging equivalences between identity categories as part of a second-order explanatory concept, such as Glynos and Howarth’s notion of political logic. Nevertheless, MCA also contains the kernel of an "endogenous" notion of the political that comes fairly close to DT’s all-pervasive understanding of the concept. To support these arguments, a variety of empirical sources are mobilized, ranging from the transcript of a political talk show, a newspaper report regarding a discrimination case in a dance class, to data drawn from earlier research on the way that minority members are treated by the Belgian criminal justice system

Typicality, graded membership, and vagueness

This paper addresses theoretical problems arising from the vagueness of language terms, and intuitions of the vagueness of the concepts to which they refer. It is argued that the central intuitions of prototype theory are sufficient to account for both typicality phenomena and psychological intuitions about degrees of membership in vaguely defined classes. The first section explains the importance of the relation between degrees of membership and typicality (or goodness of example) in conceptual categorization. The second and third section address arguments advanced by Osherson and Smith (1997), and Kamp and Partee (1995), that the two notions of degree of membership and typicality must relate to fundamentally different aspects of conceptual representations. A version of prototype theory—the Threshold Model—is proposed to counter these arguments and three possible solutions to the problems of logical selfcontradiction and tautology for vague categorizations are outlined. In the final section graded membership is related to the social construction of conceptual boundaries maintained through language use

Ontology mapping of business process modeling based on formal temporal logic

A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal. Business process modeling (BPM) using knowledge of the available process modeling techniques enable a common understanding and analysis of a business process. Industry and academics use informal and formal methods respectively to represent business processes (BP), having the main objective to support an organization. Despite both are aiming at BPM but the methods used are quite different in their semantics. While carrying out literature research, it has been found that there is no general representation of business process modeling is available that is expressive than the commercial modeling tools and techniques. Therefore, it is primarily conceived to provide an ontology mapping of modeling terms of Business Process Modeling Notation (BPMN), Unified Modeling Language (UML) Activity Diagrams (AD) and Event Driven Process Chains (EPC) to temporal logic. Being a formal system, first order logic assists in thorough understanding of process modeling and its application. However, our contribution is to devise a versatile conceptual categorization of modeling terms/constructs and also formalizing them, based on well accepted business notions, such as action, event, process, sub-process, connector and flow. It is demonstrated that the new categorization of modeling terms mapped to formal temporal logic, provides the expressive power to subsume business process modeling techniques i.e. BPMN, UML AD and EPC

Applied Epistemology and Argumentation in Epidemiology

On other occasions I have argued that ‘informal logic’ should not really be seen as a kind of ‘weak’ form of logic, but rather as ‘applied epistemology.’ This categorization is intended to create an analogy with applied ethics. Applied ethics has created a robust research project and stimulated ethical thinking both in and outside philosophy. As with applied ethics, I believe that as philosophers explore the actual application of their principles and theories (ethical or epistemological) they will discover new insights into the powers and limitations of their theories. Application is not just about philosophy being ‘useful,’ it is also an intellectual and theoretical challenge and to a discipline that often suffers from undo abstraction