DocumentCode
1962353
Title
On metatheoretic properties of logic-based abductive inference
Author
Marquis, Pierre
Author_Institution
CRIN-CNRS, Batiment LORIA, Vandoeuvre-les-Nancy, France
fYear
1993
fDate
8-11 Nov 1993
Firstpage
444
Lastpage
445
Abstract
Many researches in artificial intelligence have been devoted so far to logic-based abductive inference. However, as far as one knows, the problem of characterizing metatheoretic properties of abduction has not been addressed till now. The author contributes to filling this gap. Abductive inference is abstractly considered a relation between a theory, an observation, a preference criterion and a hypothesis. Metatheoretic properties of this relation are pointed out and discussed
Keywords
formal logic; inference mechanisms; abstract relation; artificial intelligence; hypothesis; logic-based abductive inference; metatheoretic properties; observation; preference criterion; theory; Artificial intelligence; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1993. TAI '93. Proceedings., Fifth International Conference on
Conference_Location
Boston, MA
ISSN
1063-6730
Print_ISBN
0-8186-4200-9
Type
conf
DOI
10.1109/TAI.1993.633994
Filename
633994
Link To Document