Providing Decision Support for Cosmogenic Isotope Dating

to AI. An automated tool can do boring and repetitive reasoning, freeing experts to do more difficult and creative work. Indirectly, it can make explicit the knowledge and reasoning used by experts in the field. Finally, an automated tool can consider all possibilities, sometimes exploring scenarios that human experts may miss. This article discusses automating reasoning for dating geological landforms. Dating landforms is similar to investigating a crime scene: from the information available on the surface, left behind by an unknown series of events, experts must deduce what happened in the past. In the example diagrammed in figure 1, subsurface rocks are exposed over time as the soil around them erodes. A geoscientist would be faced with the situation shown on the right of the figure; his task is to deduce the situation shown at the left, along with the processes that were at work and the timeline involved. To accomplish this, a geoscientist first dates a set of rock samples from the present surface, then reasons backward to deduce what process affected the original landform. This is a difficult deduction: geological processes take place over an extremely long period of time, and evidence remaining today is scarce and noisy. Finally, experts in geological dating, like experts in any field, are only human, and can be biased in favor of one theory over another. In the face of these problems, experts form an exhaustive list of possible hypotheses and consider the evidence for and against each one—much like the AI concept of argumentation. Our system to automate this reasoning, Calvin, uses the same argumentation process as experts, comparing the strength of the evidence for and against a set of hypotheses before coming to a conclusion. We collected knowledge about how isotope dating experts reason through interviews with several dozen geoscientists. Confidence is key in this kind of reasoning, not only in the IAAI Articles