DocumentCode :
322272
Title :
Formalizing perspectival defeasible reasoning
Author :
Kim, Hong-Gee
Author_Institution :
Dept. of Philos., Georgia Univ., Athens, GA, USA
Volume :
5
fYear :
1997
fDate :
7-10 Jan 1997
Firstpage :
347
Abstract :
I provide a unique formalism for defeasible reasoning that takes into account how an agent activates a perspective in response to a situation in which reasoning using a concept is called for, how each perspective is organized, and how the contents of each activated perspective is related to the contents of other perspectives. I name the proposed structure a perspectival defeasible theory. To formalize the theory, I present graphical representations of the theory motivated by a psychologically plausible cognitive theory, then I present a proof theory
Keywords :
cognitive systems; nonmonotonic reasoning; software agents; agent; cognitive theory; concept; graphical representations; perspectival defeasible reasoning; perspective; proof theory; Birds; Computational modeling; Context modeling; Humans; Law; Logic programming; Ontologies; Process control; Prototypes; Psychology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI
ISSN :
1060-3425
Print_ISBN :
0-8186-7743-0
Type :
conf
DOI :
10.1109/HICSS.1997.663192
Filename :
663192
Link To Document :
بازگشت