Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Revision of the Neotropical termite genus Orthognathotermes Holmgren (Isoptera: Termitidae: Termitinae)

This is a taxonomic revision of the Neotropical genus Orthognathotermes Holmgren, 1910 (Termitidae, Termitinae), previously with nine species: O. aduncus, O. brevipilosus, O. gibberorum, O. heberi, O. humilis, O. insignis, O. macrocephalus, O. orthognathus and O. wheeleri. We redescribe these species and describe six new species: O. longilamina sp. nov., O. mirim sp. nov., O. okeyma sp. nov., O. pilosus sp. nov., O. tubesauassu sp. nov., and O. uncimandibularis sp. nov., based on soldiers and, when possible, imago castes along with the first description of imagos of O. wheeleri and O. heberi. We present a key for soldier identification and distribution maps for all species.

Revision of the fungus-growing ant genera Mycetophylax Emery and Paramycetophylax Kusnezov rev. stat., and description of Kalathomyrmex n. gen. (Formicidae: Myrmicinae: Attini)

Based on the morphology of workers, gynes and males, we revise the taxonomy of nominal taxa traditionally included by authors in the fungus-growing ant genus Mycetophylax. Our results indicate that Mycetophylax Emery (Myrmicocrypta brittoni Wheeler, 1907, type species, by designation of Emery, 1913; junior synonym of Cyphomyrmex conformis Mayr, 1884 by Kempf, 1962) includes M. conformis, M. simplex (Emery, 1888), and M. morschi (Emery, 1888) new combination (formerly in Cyphomyrmex), with several synonymies. Mycetophylax bruchi (Santschi, 1916) does not belong to the same genus and is diagnosed, in addition to other characters, by a psammophore arising at the anterior margin of the clypeus. For this species we are resurrecting from synonymy Paramycetophylax Kusnezov, 1956 (Mycetophylax bruchi as type species, by original designation, with M. cristulatus as its new synonym). Myrmicocrypta emeryi Forel, 1907 is the only attine in which females lack the median clypeal seta and have the antennal insertion areas very much enlarged and anteriorly produced, with the psammophore setae arising from the middle of the clypeus and not at its anterior margin as in Paramycetophylax. Notwithstanding its inclusion in Mycetophylax by recent authors, it is here recognized as belonging to a hitherto undescribed, thus far monotypic genus, Kalathomyrmex new genus (Myrmicocrypta emeryi as its type species, here designated). We redescribe workers, gynes and males of all species in the three genera and describe for the first time gynes of Mycetophylax conformis and M. simplex, males of M. simplex and M. morschi, and gynes of P. bruchi. Furthermore we present a key to the workers of the taxa treated here (most formerly included under the name Mycetophylax), a key to workers of the Mycetophylax in the revised sense, SEM pictures and high resolution AutoMontage(C) photographs of the species, along with maps of collection records and a summary of biological observations.

A taxonomic revision and revalidation of Nycterilampus Montrouzier (Coleoptera: Elateridae, Agrypninae)

Nycterilampus Montrouzier, 1860, from Oceania, is removed from junior synonymy with Tetrigus Candeze, 1857, and is redescribed and revalidated. The genus includes two species, N. lifuanus Montrouzier, 1860, and N. velutinus Fleutiaux, 1891 both from New Caledonia. A comparative study of the morphological characters of males and females, including the reproductive organs of the Nycterilampus species and Tetrigus parallelus Candeze, 1857 (type-species) is presented. A key to Nycterilampus species and their separation from Tetrigus parallelus is given.

A taxonomic revision of the Neotropical myrmicine ant genus Lachnomyrmex wheeler (Hymenoptera : Formicidae)

The Neotropical ant genus Lachnomyrmex Wheeler, 1910 is revised for the first time. A revised generic description is provided for workers and gynes; males remain unknown. Morphological patterns combined with geographical data led to the recognition of 16 species, of which 10 are here described as new: L. amazonicus sp. n., L. fernandezi sp. n., L. grandis Fernandez & Baena, L. haskinsi Smith, L. lattkei sp. n., L. longinodus Fernandez & Baena, L. longinoi sp. n., L. mackayi sp. n., L. nordestinus sp. n., L. pilosus Weber, L. laticeps sp. n., L. platynodus sp. n., L. plaumanni Borgmeier, L. regularis sp. n., L. scrobiculatus Wheeler, and L. victori sp. n. The gynes of L. grandis, L. haskinsi, and L. pilosus are described for the first time. Illustrated identification keys for workers, distribution maps, and high resolution illustrations are supplied for all species. Some Lachnomyrmex species are relatively common in the leaf-litter of submontane wet forests in Central and South America; others remain known by very few individuals. The relatively small and apparently monogynic Lachnomyrmex colonies inhabit small nests in the ground, among rotten leaves and inside fallen logs. Workers generally forage alone on the ground or within the leaf litter, but have been recorded also on tree trunks, and apparently do not recruit nestmates.

Revision of the Neotropical robber fly genus Cnodalomyia Hull (Diptera, Asilidae, Asilinae) with description of two new species from Brazil

The genus Cnodalomyia includes only two Brazilian species: C. obtusa Hull, 1962 and C. catarinensis Lamas and Mellinger, 2008. Studying material deposited in the Museu de Zoologia da Universidade de Sao Paulo (MZUSP), the authors found a long series of unidentified specimens of the genus, some of which are specimens of C. obtusa labelled with the same data as the type series as well as other specimens from different localities, representing an enlargement of the known geographic records of the species. This material, together with the types of C. catarinensis, enables this revision. A redescription of the genus and of its type species, C. obtusa, including descriptions and illustrations of its spermathecae and egg, until now never described, the description and illustration of two new species (C. artigasi sp. nov. and C. papaveroi sp. nov.), the diagnosis and egg description of C. catarinensis and an identification key to all included species are presented herein.

Revision of Neodischistus Painter, 1933 (Diptera, Bombyliidae, Bombyliinae)

The Neotropical genus Neodischistus Painter has a distribution restricted to South (Brazil and Argentina) and Central America (Panama). The genus is composed of two previously described species that are herein revised: N. currani Painter and N. collaris Painter. One new Brazilian species is described: N. marstoni sp. nov. Illustrations of the external morphology of adults and male and female terminalia are also included. An identification key to the species is presented and a short discussion about species distributions is added.

Revision of the Neotropical genus Carrerapyrgota Aczel (Diptera, Pyrgotidae) with the description of two new species

The Neotropical genus Carrerapyrgota Aczel is restricted to the South America (Brazil and Argentina). The genus is composed of two previously described species, which are revised herein: C. miliaria Aczel and C. personata (Lutz & Lima). Two new Brazilian species are described: C. aczeli from Sao Paulo and C. bernardii from Bahia. Illustrations of the external morphology of adults and male and female terminalia are also included. An identification key to the species is presented, as well as a brief discussion of the biology and distribution of the genus.

Phylogeny and revision of the Neotropical bee genus Rhectomia s.l. Moure (Hymenoptera, Apidae, Augochlorini)

This paper revises the bees currently considered to belong to the genus Rhectomia s.l. and proposes a species phylogeny based on morphological characters, using other Corynurina as outgroups. The results indicate that Rhinocorynura Schrottky renders Rhectomia s.l. paraphyletic. Consequently, Corynurella is removed from synonymy with Rhectomia s.s., and Paracorynurella gen.n. is proposed. The topology among these genera is: outgroup [(Rhectomia s.s. + Rhinocorynura) (Paracorynurella gen.n. + Corynurella)]. Nine species are assigned to Corynurella: C. brokopondoi sp.n., C. caerulea sp.n., C. cognata sp.n., C. decora sp.n., C. harrisoni (Engel), C. mourei Eickwort, C. nigra sp.n., C. singularis sp.n. and C. triangulata sp.n. Three new species are described in Paracorynurella gen.n.: type species P. betoi sp.n., P. excavata sp.n., P. reticulata sp.n.; P. difficillima (Ducke) comb.n. is transferred from Rhinocorynura. Three species are recognized in Rhectomia s.s.: R. catarina sp.n., R. liebherri Engel and R. pumilla Moure. The male of R. liebherri is described for the first time. Keys for the identification of the genera and species are provided.

Taxonomic revision of extant Doras Lacepede, 1803 (Siluriformes: Doradidae) with descriptions of three new species

Extant Doras are newly diagnosed among Doradidae by the unique combination of maxillary barbels long and fimbriate; mesethmoid with anterior lateral margins converging towards narrow tip; single anterior cranial fontanel contained largely within frontals and anteriorly by mesethmoid (posterior cranial fontanel occluded); anterior nuchal plate wide, pentaganol or roughly hexagonal, sharing distinct lateral suture with epioccipital and isolating supraoccipital from middle nuchal plate; nuchal foramina absent; coracoid process short, posterior tip falling well short of that of postcleithral process; dentary with acicular teeth; and skin immediately ventral to postcleithral process perforated with conspicuous pores. One fossil species, dagger D. dioneae, and two nominal extant species, D. carinatus and D. micropoeus, are recognized as valid and the latter two redescribed. Three additional extant species, D. phlyzakion, D. higuchii and D. zuanoni, are newly described from the middle Amazon and tributaries, lower Amazon tributaries and rio Araguaia (Tocantins drainage), respectively. Doras phlyzakion and D. zuanoni form a monophyletic group that is found in lowland, lentic habitats, and is characterized by multiple conspicuous pores in skin on breast and abdomen, a trait unique among doradids and rare if not unique among all catfishes. The remaining extant species, D. carinatus, D. higuchii and D. micropoeus, with uncertain relationships, are found in upland, lotic habitats. The occurrence of D. carinatus in the Orinoco basin suggests a historical link between right-bank tributaries of the lower Orinoco (e.g., Caroni) draining the western Guiana Shield and more eastern rivers (e.g., Cuyuni-Essequibo) that drain the Shield directly into the Atlantic Ocean. A key to extant species is provided, a neotype is designated for Silurtis carinatus Linnaeus 1766, and Mormyropsis Miranda Ribeiro, 1911, is placed in the synonymy of Doras Lacepede, 1803.

Revision of the genus Spinosipella (Bivalvia : Verticordiidae), with descriptions of two new species from Brazil

A revision of the deep-water verticordiid genus Spinosipella is provided, based on conchological and anatomical characters. The genus is considered distinct from Verticordia (of which it was considered a subgenus) based on the strong ribs, prickly surface, reduction of lunula, relative large size, weakly spiral valve shape, and other characters. The following species are considered in the genus: (1) Spinosipella agnes new species, ranging from Florida, USA, to Rio de Janeiro, Brazil, and also including the Porcupine Abyssal Plain in the North Atlantic; (2) S. tinga new species, occurring from Rio de Janeiro to Rio Grande do Sul, Brazil; (3) S. acuticostata (Philippi, 1844), a Pliocene fossil from southern Italy; (4) S. deshayesiana (Fischer, 1862), from south and central Indo-Pacific (S. ericia Hedley, 1911, the type species of the genus, was revealed to be a new synonym of S. deshayesiana); and (5) S. costeminens (Poutiers, 1981), from the tropical west Pacific. The five species differ mainly in conchological details of the number and size of ribs, of the prickly sculpture, shape of the shell, of the hinge and the degree of convexity. Anatomical description is also provided for the two Pacific species, which differ among themselves mainly by the size of the pair of renal folds. From the standpoint of anatomical characters, the more significant are: the wide lithodesma; the elongation of the auricles, crossing the roof of pallial cavity; a tall digital fold in posterior region of supraseptal chamber; the low but wide palps; the muscular, gizzard-like stomach; the complete separation of both constituents of the hermaphroditic gonad (a ventro-posterior testicle and a centro-dorsal ovary), and a complete fusion of the visceral ganglia.

Taxonomic Revision of the Genus Scorpiodoras (Siluriformes: Doradidae) with Resurrection of Scorpiodoras calderonensis and Description of a New Species

Three species of Scorpiodoras are recognized: S. calderonensis, S. heckelii, and S. liophysus; the latter species is described herein. Scorpiodoras calderonensis occurs in the upper Amazon basin, including the Solimoes, Jurua, Japura, and Tefe rivers. Its type locality, originally stated as ""Calderon"", is elucidated as Tabatinga, Brazil. Scorpiodoras heckelii is the most widespread species, occurring in the Orinoco, Branco, Negro, and Amazonas rivers downstream of its confluence with Rio Negro. Scorpiodoras liophysus is only known from the middle Rio Madeira basin and presents a morphological feature unique within the genus: gas bladder without secondary bladder. An osteological description of the genus is provided, as well as redescriptions of S. calderonensis and S. heckelii. Additionally, a key allowing identification of the species is presented, as well as a biogeographic discussion.

A taxonomic revision of the augochlorine bee genus Ceratalictus Moure (Hymenoptera, Apoidea)

The Neotropical halictid bee genus Ceratalictus Moure (Augochlorini) is revised. Five new species are described, Ceratalictus argentinus n. sp., C. camargoi n. sp., C. culminis n. sp., C. nitidus n. sp. and C. orthocarinatus n. sp.; five species are redescribed: Ceratalictus allostictus Moure, C. clonius (Brethes), C. ischnotes (Vachal), C. psoraspis (Vachal), and C. stigon (Vachal). Ceratalictus lorenzinis (Strand) is synonymized with C. clonius. All catalogued type specimens were examined. Illustrations of all species and an identification key for the 10 presently recognized species are provided.

Revision of the Neotropical genus Yagra Oiticica (Lepidoptera: Castniidae)

The Castniidae, or butterfly moths, are characteristically colourful diurnal moths, distributed throughout the tropics except in Africa. The Neotropical representatives forage almost exclusively on monocotyledonous plants and many species are crop pests with more than 60% of the Neotropical castniids found or endemic in Brazil. Research studies that focus on taxonomy, systematics, and morphology of this group are scarce. In this study, Yagra Oiticica, a small genus restricted to south-eastern South America, is revised and the diagnostic morphological characters of male and female genitalia are illustrated. This research is part of long-term study on the Castniidae for future phylogenetic analysis.

Revision of the Neotropical moth genera Mallodeta Butler and Erruca Walker, revalidated (Noctuidae, Arctiinae, Arctiini, Euchromiina)

Mallodeta Butler and Erruca Walker, revalidated, are redescribed and revised. Mallodeta henceforth includes only its type-species, Glaucopis (Lycorea) clavata Walker, and Erruca is resurrected with seven species: E. deyrolii Walker (type-species), E. consors (Walker), new combination, E. erythrarchos (Walker), new combination, E. cardinalis (Hampson), new combination, E. hanga (Herrich-Schaffer), new combination, E. cruenta (Perty), new combination and E. sanguipuncta (Druce), new combination. Six new synonyms are established, four specific and two generic (junior synonyms in parentheses): Zygaena capistrata Fabricius (=Mallodeta cubana Gaede), Glaucopis (Lycorea) clavata Walker (=M. simplex Rothschild), Erruca deyrolii Walker (=Laemocharis aecyra Herrich-Schaffer and Glaucopis (Hyda) sortita Walker), and Erruca Walker (=Aristodaema Wallengren and Rezia Kirby). Lectotypes are designated to the following species: Erruca deyrolii Walker, Laemocharis deyrollei Herrich-Schaffer, Laemocharis hanga Herrich-Schaffer, Laemocharis aecyra Herrich-Schaffer, Laemocharis norma Herrich-Schaffer, Cosmosoma cardinalis Hampson and Mallodeta sanguipuncta Druce. Illustrations of adults and male and female genitalia of Mallodeta and Erruca are provided, as well as a key to the species of the latter.