using answer set programming to simulate the interplay of taxonomic and nomenclatural change
DESCRIPTION
Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change. Nico Franz 1 , Joohyung Lee 2 & Chao Zhang 2 1 School of Life Sciences, Arizona State University 2 CIDSE Automated Reasoning Group, ASU - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/1.jpg)
Using Answer Set Programming to
Simulate the Interplay of Taxonomic
and Nomenclatural Change
Nico Franz1, Joohyung Lee2 & Chao Zhang2
1 School of Life Sciences, Arizona State University 2 CIDSE Automated Reasoning Group, ASU
TDWD 2013 Annual Conference, Florence, Italy
Semantics for Biodiversity – Formal Models and Ontologies
November 01, 2013
Slides @ http://taxonbytes.org/tdwg-2013-using-asp-to-simulate-the-interplay-of-taxonomic-and-nomenclatural-change
![Page 2: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/2.jpg)
Question – are therules of nomenclature
logically tractable?
![Page 3: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/3.jpg)
Core principles embodied in the Code of Zoological Nomenclature
1. Binominal Nomenclature• The scientific name of a species, and not of a taxon at any other rank, is a combination of two names.
2. Priority• The valid name of a taxon is the oldest available name applied to it.
3. Coordination• Within the [family, genus, species] group, a name established for a taxon at any rank is simultaneously
established with the same author/date for taxa with the same name-bearing type at other ranks in the group.
4. First Reviser• The relative precedence of two or more names or nomenclatural acts published on the same date, or of
different original spellings of the same name, is determined by the First Reviser.
5. Homonymy• The name of each taxon must be unique.
6. Typification• Each nominal taxon in the family group, genus group or species group has a name-bearing type fixed to
provide the objective standard of reference by which the application of the name is determined.
7. [Gender Agreement]• Agreement in grammatical gender between a generic name and Latin or latinized adjectival or participial
species-group names combined with it originally or subsequently.
Source: Code On-Line: http://www.nhm.ac.uk/hosted-sites/iczn/code/index.jsp
![Page 4: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/4.jpg)
Core principles embodied in the Code of Zoological Nomenclature
1. Binominal Nomenclature• The scientific name of a species, and not…
2. Priority• The valid name of a taxon is the oldest….
3. Coordination• Within the [family, genus, species] group, a name established for a taxon at any rank is simultaneously
established with the same author/date for taxa with the same name-bearing type at other ranks in the group.
4. First Reviser• The relative precedence of two or more names or nomenclatural acts published on the same date, or of
different original spellings of the same name, is determined by the First Reviser.
5. Homonymy• The name of each taxon must be unique.
6. Typification• Each nominal taxon in the family group, genus group or species group has a name-bearing type fixed to
provide the objective standard of reference by which the application of the name is determined.
7. [Gender Agreement]• Agreement in grammatical gender between a generic name and Latin or latinized adjectival or participial
species-group names combined with it originally or subsequently.
Source: Code On-Line: http://www.nhm.ac.uk/hosted-sites/iczn/code/index.jsp
Working hypothesis:All (6 + 1) Principles are representable in
Stable Model Semantics and computable with ASP programs & solvers.
![Page 5: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/5.jpg)
Answer Set Programming reviewed in 10 bullet points
• Relatively new programming paradigm, not widely used until late 1990s
• A form of declarative programming based on Stable Model Semantics
• Combines expressive representation language with efficient solving tools
• Instead of proving truth/falsity, identifies solutions that satisfy conditions
![Page 6: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/6.jpg)
Answer Set Programming reviewed in 10 bullet points
• Relatively new programming paradigm, not widely used until late 1990s
• A form of declarative programming based on Stable Model Semantics
• Combines expressive representation language with efficient solving tools
• Instead of proving truth/falsity, identifies solutions that satisfy conditions
• Closed World Assumption – what is not known is false (unlike OWL-DL)
• Can compute non-monotonic reasoning
• Has the property of elaboration tolerance
• Excels at modeling complex rules
![Page 7: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/7.jpg)
Answer Set Programming reviewed in 10 bullet points
• Relatively new programming paradigm, not widely used until late 1990s
• A form of declarative programming based on Stable Model Semantics
• Combines expressive representation language with efficient solving tools
• Instead of proving truth/falsity, identifies solutions that satisfy conditions
• Closed World Assumption – what is not known is false (unlike OWL-DL)
• Can compute non-monotonic reasoning
• Has the property of elaboration tolerance
• Excels at modeling complex rules
• Capable of default reasoning ("by default, X is true"), transition systems
• Translatable (in part) into First-Order Logic (FOL), Description Logic (DL)
• More information in the reference list appended to this presentation
![Page 8: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/8.jpg)
ASP paradigm – set conditions, constraints, ground, identify SMs
Source: Eiter, T. 2008. http://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
![Page 9: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/9.jpg)
ASP paradigm – apply to taxonomy/nomenclature change scenario
Source: Eiter, T. 2008. http://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
Fully specified input taxonomy (t = 0); incl.: ranked names, priority/type relationships
At t = 1 (revision), effect a taxonomic change where 1 species is moved into another genus
![Page 10: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/10.jpg)
ASP paradigm – apply to taxonomy/nomenclature change scenario
Source: Eiter, T. 2008. http://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
Represent: input tree, names, years, ranks…
Encode: Principles of Nomenclature
Choice: Select a taxonomic change scenario
![Page 11: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/11.jpg)
ASP paradigm – apply to taxonomy/nomenclature change scenario
Source: Eiter, T. 2008. http://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
Grounding of all domains, variables and conditions at t = 0 (original) vs. t = 1 (revision)
![Page 12: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/12.jpg)
ASP paradigm – apply to taxonomy/nomenclature change scenario
Source: Eiter, T. 2008. http://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
Inference of Stable Models (taxonomies) and all concomitant nomenclatural emendations
![Page 13: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/13.jpg)
9-taxon use case – transition model
![Page 14: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/14.jpg)
Input (original) taxonomy at t = 0 ["9-name/taxon use case"]
• All type bearing and non-type bearing epithets have different publication years
t = 0
* = type-bearing name
Transition: exactly 1 species will move to the other genus at t = 1.
Since there are 4 species, this yields 4 Stable Models.
![Page 15: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/15.jpg)
Model 1: O. secundus moves into Agenus
• Requires new higher-level synonymies, "cascading", new names, new types
t = 0
t = 1
Required nomenclatural changes; O. secundus is a type bearer.
![Page 16: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/16.jpg)
Model 2: A. tertius moves into Ogenus
• Non-type bearer – 1 taxonomic change ↔ 1 new combination
t = 0
t = 1
![Page 17: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/17.jpg)
Model 3: O. quartus moves into Agenus
• Non-type bearer – 1 taxonomic change ↔ 1 new combination
t = 0
t = 1
![Page 18: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/18.jpg)
Model 4: A. primus "moves" [Ogenus spp. ingress into Agenus]
• Most dramatic nomenclatural adjustments – A. primus is globally oldest type
t = 0
t = 1
Two species (names) – secundus & quartus – move into Agenus.
![Page 19: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/19.jpg)
Modeling in ASPDoes it work? It does.
![Page 20: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/20.jpg)
Current ASP program properly resolves all 4 models*
* Output optics notwithstanding; actual tree visualization in progress.
![Page 21: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/21.jpg)
Conclusion – ASP can logically represent key rules of nomenclature
1. Binominal Nomenclature• The scientific name of a species, and not…
2. Priority• The valid name of a taxon is the oldest….
3. Coordination• Within the [family, genus, species] group, a name established for a taxon at any rank is simultaneously
established with the same author/date for taxa with the same name-bearing type at other ranks in the group.
4. First Reviser• The relative precedence of two or more names or nomenclatural acts published on the same date, or of
different original spellings of the same name, is determined by the First Reviser.
5. Homonymy• The name of each taxon must be unique.
6. Typification• Each nominal taxon in the family group, genus group or species group has a name-bearing type fixed to
provide the objective standard of reference by which the application of the name is determined.
7. [Gender Agreement]• Agreement in grammatical gender between a generic name and Latin or latinized adjectival or participial
species-group names combined with it originally or subsequently.
= Principles currently modeled.
Likely feasible.
Likely feasible.
Extension of Priority.
![Page 22: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/22.jpg)
ASP code sample – modeling priority, new combination, synonymy
![Page 23: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/23.jpg)
Next up – improved output visualization, more complex cases
• "20-name/taxon use case" can include 36 *one-species-moves* permutations
• Compute, tabulate, visualize complete set of nomenclatural changes for each
• At the genus level, moving entire non-type genera requires no name change
![Page 24: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/24.jpg)
Conclusions & outlook
1. This work is a novel representation of the Principles of Nomenclature in a formal logic system with default conditions and transitional properties.
2. The model can be elaborated to include an increasing wide range of taxonomic / nomenclatural change scenarios, and specific rule exceptions.
3. ASP could be utilized to validate proposed nomenclatural emendations or infer additional required changes, and implemented in a nomenclatoral repository such as ZooBank.
4. In complex change scenarios, ASP could be used to perform optimizations and minimize nomenclatural instability given the need to move one or more taxa.
![Page 25: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/25.jpg)
• TDWG 2013 Symposium organizers – John Deck, Mark Schildhauer, Ramona Walls
• Stanley Blum, David Patterson, Richard Pyle – nomenclatural use case input
• Euler team, UC Davis – Bertram Ludäscher, Mingmin Chen – ASP support
Acknowledgments
http://taxonbytes.org https://sols.asu.edu
![Page 26: Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change](https://reader036.vdocument.in/reader036/viewer/2022062310/568165bb550346895dd8b8d1/html5/thumbnails/26.jpg)
What is ASP? – introductory reading list & links
Brewka, G., T. Either & M. Truszczyński. 2011. Answer set programming at a glance. Communications of the ACM 54: 92-103. Available at http://people.scs.carleton.ca/~bertossi/KR11/material/communications201112ASP.pdf
Eiter, T. 2008. Answer Set Programming in a nutshell. Available athttp://gradlog.informatik.uni-freiburg.de/gradlog/slides_ak/eiter_asp.pdf
Gelfond, M. 2008. Answer sets; pp. 285-316. In: van Harmelen, F., V. Lifschitz & B. Porter. Handbook of Knowledge Representation. Elsevier. Available athttp://www.depts.ttu.edu/cs/research/krlab/pdfs/papers/gel07b.pdf
Gebser, M., B. Kaufmann, R. Kaminski, M. Ostrowski, T. Schaub & M. Schneider. 2011. Potassco: the Potsdam Answer Set Solving Collection. Available at http://www.cs.uni-potsdam.de/wv/pdfformat/gekakaosscsc11a.pdf
Lifschitz, V. 2008. What is Answer Set Programming? Available at http://www.cs.utexas.edu/~ai-lab/pubs/wiasp.pdf
Potassco Group website: http://potassco.sourceforge.net/ (programs, tutorials)