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