Accession Number : ADA228005


Title :   Working Notes of the 1990 Spring Symposium on Automated Abduction


Descriptive Note : Technical rept.,


Corporate Author : CALIFORNIA UNIV IRVINE


Personal Author(s) : O'Rorke, Paul


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a228005.pdf


Report Date : 27 Sep 1990


Pagination or Media Count : 175


Abstract : The philosopher Charles Sanders Pierce used the term abduction for a form of inference considered to be as important as deduction and induction. Abduction is concerned with explanatory reasoning and is closely related to the relatively modern notions of backward chaining and inference to the best explanation. Since explanations are important in many different aspects of intelligence, cognitive scientists have become interested in computer programs that construct and evaluate explanations. In artificial intelligence, a number of key tasks have come to be viewed in terms of abduction. In expert systems, the best known abduction problem is diagnosis. In natural language comprehension, plan recognition is viewed as an abduction problem involving the inference of goals from observed behavior. In qualitative physics, postdiction is an abduction problem involving explaining states of the physical world in terms of processes and casual laws. In machine learning, explanation-based learning strategies improve performance using processes that construct explanations.


Descriptors :   *COMPREHENSION , *NATURAL LANGUAGE , *COMPUTER PROGRAMS , *ARTIFICIAL INTELLIGENCE , *REASONING , EXPERT SYSTEMS , SCIENTISTS , RECOGNITION , LEARNING MACHINES , COGNITION , PHYSICAL PROPERTIES , GLOBAL , PHYSICS


Subject Categories : Linguistics
      Computer Programming and Software
      Cybernetics


Distribution Statement : APPROVED FOR PUBLIC RELEASE