Title :
Formalizing perspectival defeasible reasoning
Author_Institution :
Dept. of Philos., Georgia Univ., Athens, GA, USA
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;
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-7743-0
DOI :
10.1109/HICSS.1997.663192