An Introduction to Artificial Intelligence and Legal Reasoning: Using xTalk to Model the Alien Tort Claims Act and Torture Victim Protection Act

This paper presents an introduction to artificial intelligence for legal scholars and includes a computer program that determines the existence of jurisdiction, defences, and applicability of the Alien Tort Claims Act and Torture Victims Protection Act. The paper includes a discussion of the limits and implications of computer programming in formal representations of the law. Concluding that formalization of the law reveals implicit weaknesses in reductionist legal theories, this paper emphasizes the limitations in practice of such theories

Finishing the euchromatic sequence of the human genome

The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∼99% of the euchromatic genome and is accurate to an error rate of ∼1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead

Zeno's Paradox: A response to Mr. Lynds

A brief explanation of the heuristic value of paradoxes as well as a critique of Mr. Lynds's argument by reductio ad absurdam