Objetivo
The problem considered was the prediction of torsional angles in molecules whose topology is known, given certain information which can be extracted by an expert from the molecules' nuclear magnetic resonance (NMR) spectra. Traditional knowledge acquisition techniques were used to obtain an approximation of the problem solving knowledge. A knowledge base refinement system was next designed and implemented to improve the initial theory; the system is provided with a series of examples for each of the classes, where each example is described as a vector of attributes and associated values. The major elements of the system are: incremental processing of the training examples of the specified classes; specializations and generalizations of class concepts; detection of inconsistencies in the empirical theory and the training examples; resolution of the inconsistency using one (or more) of a known set of chemical descriptors which the expert had originally judged to be irrelevant to the problem domain.
HUME is an integrated discovery system which implements a number of different theory driven learning strategies, both deductive and inductive. It is also intended to allow the integration of data driven inductive discovery systems, such as ARC. Given one from a set of observations, HUME finds an explanation for this observation in terms of the theories and knowledge available to the system, such that this explanation can be generalized to explain a significant subset of all observations. However, since the system will in most cases by dealing with incomplete domain theories, a significant subpart of this task will involve theory and law construction, by the use of a theory construction algorithm and the application of informal qualitative models (IQMs). At its most basic level, HUME is a backward chaining Horn clause theorem prover. HUME has available to it a set of other inference modes which it can use in an attempt to construct the missing parts of the domain theory. These other inference modes are a combination of abduction and forward deduction, together with the inductive step of the DISCIPLE algorithm for theory construction.
We propose to build a machine discovery system that will use an incomplete theory of a scientifc domain to guide its search for empirical laws and exceptions to them, and will use there to refine its therory. We plan to apply the system to problems in plysical chemistry. The system will comprise five interacting modules, corresponding to separate subproblems and types of scientific reasoning (1) The theory Operationalisation Module will use the domain theory to predict the form of the laws to be discovered. (2) The law Discovery Module will use this information to guide the determination of the exact forms of the laws, using statistical techniques. (3) The data Evaluation Module will determine whether points that do not fit the laws are errors of special cases, and identify possible reasons for the deviations from predictions. (4) The Law Evaluation Module will evaluate and compare alternative candidate laws. (5) The Theory Revision Module will use the empirical laws and the anomalous cases discovered to refine the domain theory.
Ámbito científico (EuroSciVoc)
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
AB9 1FX Aberdeen
Reino Unido
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.