This week: part II of our interim series of “new and interesting though not (yet) Next Generation Sequencing” papers. Joeri Witteveen is taking a new look at how the Codes of Nomenclature enforce contingent assignments of types to taxonomic names. Awesome!
Witteveen, J. 2014. Naming and contingency: the type method of biological taxonomy. Biology & Philosophy. Available on-line here.
No, this not concept taxonomy. Instead this post is intended to set up a nomenclaturally and taxonomically correct use case for an Answer Set Programming (ASP) reasoning project. The post will limit itself to: (1) getting the required nomenclatural emendations “right” (Section 4), given (2) a specific set of starting conditions (Sections 1 & 2), and (3) a new taxonomic insight that necessitates change (Section 3).
Presentation slides are now posted for the TDWG 2013 ASP Taxonomy Nomenclature talk.
Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change
Nico Franz, Joohyung Lee & Chao Zhang
Date: 2013-11-01 10:03 AM – 10:11 AM