• 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