Extending possibilistic logic over Gödel logic

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown

RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics

In this paper we first define a recursive semantics for warranted formulas in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among arguments. The recursive semantics for warranted formulas is based on the fact that if the argument is rejected, then all arguments built on it should also be rejected. The main characteristic of our recursive semantics is that an output (extension) of a knowledge base is a pair of sets of warranted and blocked formulas. Arguments for both warranted and blocked formulas are recursively based on warranted formulas but, while warranted formulas do not generate any collective conflict, blocked conclusions do. Formulas that are neither warranted nor blocked correspond to rejected formulas. Second we extend the general defeasible argumentation framework by attaching levels of preference to defeasible knowledge items and by providing a level-wise definition of warranted and blocked formulas. Third we formalize the warrant recursive semantics for the particular framework of Possibilistic Defeasible Logic Programming, we call this particular framework Recursive Possibilistic Defeasible Logic Programming (\mbox{RP-DeLP} for short), and we show its relevance in the scope of Political debates. An RP-DeLP program may have multiple outputs in case of circular definitions of conflicts among arguments. So, we tackle the problem of which output one should consider for an RP-DeLP program with multiple outputs. To this end we define the maximal ideal output of an RP-DeLP program as the set of conclusions which are ultimately warranted and we present an algorithm for computing them in polynomial space and with an upper bound on complexity equal to P^{NP}. Finally, we propose an efficient and scalable implementation of this algorithm that is based on implementing the two main queries of the system, looking for valid arguments and collective conflicts between arguments, using SAT encodings. We perform an experimental evaluation of our SAT based approach when solving test sets of instances with single and multiple preference levels for defeasible knowledge.The authors are very thankful to the anonymous reviewers for their helpful and constructive comments. This research was partially supported by the Spanish projects ARINF (TIN2009- 14704-C03-01), TASSAT (TIN2010-20967-C04-03), EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER- INGENIO 2010, CSD2007-00022)

Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming

Possibilistic defeasible logic programming (P-DeLP) is a logic programming framework which combines features from argumentation theory and logic programming, in which defeasible rules are attached with weights expressing their relative belief or preference strength. In P-DeLP,a conclusion succeeds if there exists an argument that entails the conclusion and this argument is found to be undefeated by a warrant procedure that systematically explores the universe of arguments in order to present an exhaustive synthesis of the relevant chains of pros and cons for the given conclusion. Recently, we have proposed a new warrant recursive semantics for P-DeLP, called Recursive P-DeLP (RP-DeLP for short), based on the claim that the acceptance of an argument should imply also the acceptance of all its sub-arguments which reflect the different premises on which the argument is based. This paper explores the relationship between the exhaustive dialectical analysis-based semantics of P-DeLP and the recursive-based semantics of RP-DeLP, and analyses a non-monotonic inference operator for RP-DeLP which models the expansion of a given program by adding new weighted facts associated with warranted conclusions. Given the recursive-based semantics of RP-DeLP, we have also implemented an argumentation framework for RP-DeLP that is able to compute not only the output of warranted and blocked conclusions, but also explain the reasons behind the status of each conclusion. We have developed this framework as a stand-alone application with a simple text-based input/output interface to be able to use it as part of other artificial intelligence systemsThis research was partially supported by the Spanish projects EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER- INGENIO 2010, CSD2007-00022)

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studie

Acumulació d'anomalies cromosómiques en espermatozoides

Una investigació amb participació de la UAB ha estudiat com els portadors de translocacions recíproques cromosòmiques, una anomalia en la qual s'intercanvia material genètic entre dos cromosomes no homòlegs, acumulen també altres tipus d'anomalies en els cromosomes dels seus espermatozoides. Conèixer millor l'acumulació d'aquestes anomalies ajuda a millorar l'assessorament a les persones que són portadores d'aquestes translocacions quan desitgen tenir fills.Una investigación con participación de la UAB ha estudiado cómo los portadores de translocaciones recíprocas cromosómicas, una anomalía en la que se intercambia material genético entre dos cromosomas no homólogos, acumulan también otros tipos de anomalías en los cromosomas de sus espermatozoides. Conocer mejor la acumulación de estas anomalías ayuda a mejorar el asesoramiento a las personas que son portadoras de estas translocaciones cuando desean tener hijos

Un model de decisió pel tractament mèdic a partir de diagnòstics imprecisos

És un sistema expert que donat un diagnòstic imprecís d'un metge en un malalt amb una malaltia infecciosa i els paràmetres mèdics d'aquest pacient, retorni com a resultat els possibles tractaments que se li poden subministrar al pacient ordenats per un coeficient d'adequadament, que pugui combatre qualsevol dels possibles bacteris que el metge hagi diagnosticat i vigilant de no provocar efectes secundaris. Aquest sistema expert resoldrà casos senzills i pretén ser la base d'una possible extensió per arribar a resoldre casos més complexos.Es un sistema experto que dado un diagnóstico impreciso de un médico en un paciente con una enfermedad infecciosa, y los parámetros médicos de este paciente, devuelva como resultado los posibles tratamientos que se le pueden subministrar al paciente ordenados por un coeficiente de éxito, que puedan combatir cualquier posible bacterias que el médico ha diagnosticado, al mismo tiempo que vigilar no provocar efectos secundarios. Este sistema experto resuelve casos sencillos y pretende ser la base de una posible extensión para llegar a resolver casos más complejos.Is an expert system that receives an imprecise diagnosis of a doctor for a patient who has an infectious disease, some medical parameters of him and, finally, returns a list with the possible treatments, sorted by a succes coeficient, to fight all of the bacterias diagnosed for the docotor and trying to no produce any side effect. This expert system solves simple cases but it could be considered the baseline for a future extension to solve harder cases

Impact of tax fairness and tax knowledge on tax compliance behavior of listed manufacturing companies in Nigeria

Abstract Tax compliance is a major contemporary debate surrounding corporate taxation in the business world. The tax avoidance issue, which remains an ethical problem for companies, has been a general concern in developed and developing countries alike. The main problem of this study is a non-tax compliance behavior of the corporate organization taxpayers in Nigeria. This study examined the influence of tax fairness on the tax compliance behavior of listed manufacturing companies in Nigeria. The paper adopted a survey research method, and four hundred (400) copies of the questionnaire were administered to the selected manufacturing companies of both consumer and industrial goods sectors. The Laffer Curve Theory underpinned this study and Correlation Analysis, Analysis of Variance (ANOVA), and Multiple Regression Analysis were also employed. The study found that there is a significant level of tax compliance among the listed manufacturing companies in Nigeria. The study also shows that the corporate taxpayer’s perception of fairness of –2.765 (0.006) has a significant impact on corporate taxpayers’ willingness to pay taxes and tax knowledge of 4.601 (0.000) significantly influenced tax compliance. Based on tax knowledge, the study recommends that tax authorities must improve the knowledge of taxpayers and tax collection agents through programs, initiatives, and training on tax awareness

Anàlisi del contingut cromosòmic en espermatozoides d'individus portadors de translocacions : relació entre efecte intercromosòmic i segregació /

Els individus portadors de translocacions cromosòmiques equilibrades presenten un risc incrementat de produir gàmetes amb anomalies cromosòmiques, ja sigui per una segregació desequilibrada dels cromosomes reorganitzats o per la formació d'anomalies numèriques derivades de l'efecte intercromosòmic. Es desconeix si existeix una relació entre les anomalies derivades d'ambdós esdeveniments, que podria residir en l'aparició de fenòmens d'heterosinapsi entre els multivalents i altres cromosomes durant la profase I. D'altra banda, l'heterosinapsi s'ha relacionat amb canvis en l'arquitectura nuclear dels cromosomes en espermatozoides, que en última instància també podrien afectar la fertilitat dels individus portadors. Els objectius d'aquesta tesi han estat: i) Desenvolupar un mètode d'anàlisi seqüencial basat en tècniques d'hibridació in situ fluorescent (FISH) que permeti identificar anomalies cromosòmiques numèriques i determinar el mode de segregació dels cromosomes reorganitzats sobre els mateixos espermatozoides; ii) Caracteritzar els patrons de segregació de diferents reorganitzacions cromosòmiques en espermatozoides no seleccionats i en espermatozoides portadors d'anomalies numèriques; iii) Determinar si existeix una relació entre els diferents modes de segregació dels cromosomes reorganitzats i la producció d'espermatozoides amb anomalies numèriques; iv) Desenvolupar una tècnica d'anàlisi que permeti valorar la disposició tridimensional dels territoris cromosòmics en nuclis d'espermatozoides. S'han recollit mostres de semen de vuit individus portadors de translocacions recíproques, onze portadors de translocacions Robertsonianes i un portador d'una triple translocació. En la primera ronda de FISH seqüencial s'han detectat espermatozoides amb anomalies numèriques per cinc cromosomes no relacionats amb la reorganització. En la segona ronda s'han analitzat els productes de segregació dels cromosomes reorganitzats en els espermatozoides amb anomalies numèriques detectats prèviament, així com en espermatozoides no seleccionats. L'optimització del sistema d'anàlisi de la disposició dels territoris cromosòmics en el nucli espermàtic ha inclòs la selecció de nuclis segons el seu genotip, la captura d'imatges tridimensionals, la relocalització dels nuclis d'interès, el tractament digital de les imatges, la normalització de les dades i l'obtenció dels valors de posicionament dels centròmers en l'eix longitudinal i radial de l'espermatozoide. Els resultats de l'anàlisi de segregació en espermatozoides no seleccionats mostren una elevada homogeneïtat dels patrons de segregació entre portadors del mateix tipus de translocació, caracteritzats per una elevada freqüència dels modes de segregacions que impliquen la disjunció a pols cel·lulars oposats dels cromosomes amb centròmers homòlegs. Els resultats de segregació en espermatozoides aneuploides i diploides/múltiples disòmics mostren un patró de segregació alterat respecte els espermatozoides no seleccionats, on s'afavoreixen els modes de segregació desequilibrats, en detriment dels productes de segregació equilibrats. Els espermatozoides amb diferents tipus d'aneuploïdies i amb diferents cromosomes implicats, influeixen per igual al patró de segregació alterat. Els resultats sobre el posicionament tridimensional dels cromosomes han permès validar la metodologia desenvolupada, ja que s'ha obtingut informació sobre la localització preferent dels cromosomes estudiats en nuclis amb diferents genotips. Els resultats obtinguts demostren una associació entre la presència d'anomalies numèriques i un contingut desequilibrat dels cromosomes reorganitzats. L'acumulació d'anomalies cromosòmiques en els mateixos gàmetes pot ser atribuïble a un efecte bidireccional de l'heterosinapsi, que comportaria un canvi en la localització nuclear dels cromosomes afectats i una alteració en la formació dels quiasmes. Els problemes d'orientació dels cromosomes a la placa metafàsica poden provocar una aturada meiòtica prolongada, que en cas de no corregir-se, es podria resoldre a través de l'evasió del punt de control. Aquest fet afavoriria la producció de gàmetes que podrien acumular anomalies procedents de segregacions desequilibrades, a més d'aneuploïdies d'altres cromosomes. La tècnica desenvolupada per estudiar l'arquitectura nuclear dels espermatozoides permetrà determinar si les anomalies cromosòmiques presents en els gàmetes dels individus portadors de reorganitzacions cromosòmiques afecten l'organització nuclear global dels cromosomes i condicionen la seva fertilitat.Carriers of chromosomal translocations present a high risk of producing chromosomally abnormal gametes, as a consequence of an unbalanced segregation of the rearranged chromosomes, or the presence of numerical chromosomal anomalies derived from an interchromosomal effect. It is not known whether there exists a relationship between anomalies produced by these two events, but it might be based on the occurrence of heterosynapsis at the meiotic prophase I between multivalents and other chromosomes. Moreover, heterosynapsis has been associated related to changes in the nuclear chromosome architecture in sperm, which may also affect the fertility of reorganization carriers. The objectives of this thesis have been: i) To develop a sequential fluorescence in situ hybridization (FISH) protocol in order to detect numerical chromosomal abnormalities and to establish the segregation mode of rearranged chromosomes in the same spermatozoa; ii) To establish the segregation pattern of different chromosomal rearrangements in random sperm and in sperm with numerical abnormalities; iii) To determine whether there exists a relationship between certain segregation modes and the occurrence of numerical chromosome abnormalities; iv) To develop a methodology to evaluate the tridimensional distribution of chromosome territories in sperm nuclei. Semen samples of eight carriers of reciprocal translocations, eleven carriers of Robertsonian translocations and one carrier of a three-way translocation have been included in the study. In the first sequential FISH round, numerical anomalies for five chromosomes unrelated to the rearrangements have been analysed. In the second round, a segregation analysis has been performed both in the numerically abnormal sperm detected in the first round as well as in randomly assessed sperm. The optimization of the analysis of chromosome territories in sperm nuclei has included: nuclei classification according to their genotype, 3D image recording, relocalization of selected nuclei, digital images editing, data normalization, and prediction of the preferred position of each hybridization signal along the longitudinal and radial axis of spermatozoa. The segregation patterns obtained in randomly assessed sperm show high homogeneity among carriers of the same translocation. These patterns involve high frequencies of segregation modes that entail disjunction to opposite cellular poles of chromosomes with homologous centromeres. Data obtained from segregation analysis in aneuploid and diploid/multiple disomic sperm show altered segregation patterns when compared to randomly assessed sperm, in which unbalanced segregation modes are favoured while balanced segregation products decrease. Aneuploid sperm with different types of chromosomal abnormalities or different chromosomes involved in the aneuploidy have the same effect over the altered segregation pattern. The results obtained in the analysis of chromosome territories allow for the validation of the developed methodology. It has allowed the prediction of the preferred positioning of analysed chromosomes in sperm nuclei with different genotypes. In conclusion, data obtained point out that indeed there exists a relationship between the presence of numerical chromosome abnormalities and an unbalanced segregation content in sperm. This accumulation of chromosome anomalies in the same gametes would be driven by a bidirectional effect of heterosynapsis, which could entail changes in the nuclear positioning of the affected chromosomes, as well as alterations in chiasmata formation. The chromosome misalignment at metaphase plate would cause a meiotic arrest. If unresolved, cells could eventually evade this checkpoint favouring the accumulation of both unbalanced segregation products and aneuploidies for other chromosomes in the same gametes. The developed methodology to study the sperm nuclear architecture can be potentially used in carriers of chromosomal rearrangements, in order to assess whether chromosomal abnormalities in sperm affect the global nuclear chromosome organization and disturb their fertility