TIRM 89 - 934 , Turing Institute

نویسنده

  • Peter Clark
چکیده

This paper describes a prototype system for the prediction of parameters associated with a geological prospect, required for assessing the likelihood of hydrocarbons at the prospect. A principle characteristic of expert reasoning in this domain involves the recall and use of previous examples (`exemplars') of similar, already-drilled wells in addition to the use of general rules concerning known parameters of the prospect. Such reasoning is a common feature of human problem-solving, and involves generation and use of generalisations at run-time when a performance task is known, in contrast to an exhaustive enumeration of generalisations from examples before the performance task is known as performed by many rule induction systems. In this paper we describe the mechanisms for such exemplar-based reasoning in the prototype system, and discuss the characteristics of the problem domain which suggest the appropriateness of this approach.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Evanescent light scattering with magnetic colloids

We measure magnetic interactions between paramagnetic colloidal beads and an external magnetic field by using total internal reflection microscopy TIRM . Our results demonstrate that TIRM can be applied to absorptive paramagnetic probe particles and thus extends the range of interaction types which can be addressed with this method. With our setup, we can detect magnetic forces on single superp...

متن کامل

Comparison of diffusion-weighted with T2-weighted imaging for detection of edema in acute myocardial infarction

BACKGROUND Recent studies, performed with the use of a commercially available diffusion weighted imaging (DWI) sequence, showed that they are sensitive to the increase of water content in the myocardium and may be used as an alternative to the standard T2-weighted sequences. The aim of this study was to compare two methods of myocardial edema imaging: DWI and T2-TIRM. METHODS The study includ...

متن کامل

Unification in Permutative Equational Theories is Undecidable

An equational theory E is permutative if for all terms s, t : s =E t implies that the terms s and t contain the same symbols with the same number of occurrences. The class of permutative equational theories includes the theory of AC (associativity and commutativity). It is shown in this research note that there is no algorithm that decides E-unifiability of terms for all permutative theories. T...

متن کامل

An Arithmetical Hierarchy in Propositional Dynamic Logic

Propositional dynamic logic (PDL), as introduced by Fischer and Ladner (1979) is the propositional part of the dynamic logic of Pratt (1976). Our aim in this paper is to answer a basic question: Does every alternation of modalities add to the expressive power of the logic? We give a positive answer to the question by building models where modalities behave (somewhat) like quantifiers in first-o...

متن کامل

Absolute position total internal reflection microscopy with an optical tweezer.

A noninvasive, in situ calibration method for total internal reflection microscopy (TIRM) based on optical tweezing is presented, which greatly expands the capabilities of this technique. We show that by making only simple modifications to the basic TIRM sensing setup and procedure, a probe particle's absolute position relative to a dielectric interface may be known with better than 10 nm preci...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1989