Accession Number : ADA263096


Title :   Modelling Temporal Abductive Explanation


Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH DEPT OF ELECTRICAL AND COMPUTER ENGINEERING


Personal Author(s) : Santos, Jr, Eugene,


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


Report Date : 11 Mar 1993


Pagination or Media Count : 24


Abstract : Abductive reasoning and temporal reasoning have for the most part remained separate fields of study. Models for either tasks have made overly- simplistic assumptions about the other in order to concentrate on small highly- domain specific tasks. For example, existing abductive models have precluded any temporal information in their formulations whereas temporal models do not address abduction being only concerned with consistency issues. We present a unified approach to merging abductive and temporal reasoning. This approach properly subsumes existing abductive models as well as temporal ones and provides a precise framework for explanatory reasoning. Furthermore, effective algorithms for this new model are developed based on linear programming techniques. Probabilistic reasoning, Constraining satisfaction, Linear programming, Temporal reasoning, Abductive explanation.


Descriptors :   *ALGORITHMS , *REASONING , COMPUTERIZED SIMULATION , FORMULATIONS , COMPUTER PROGRAMMING , LINEAR PROGRAMMING , CONSISTENCY , APPROACH


Subject Categories : Psychology


Distribution Statement : APPROVED FOR PUBLIC RELEASE