Inheritance Theory and Knowledge Bases

Information

  • NSF Award
  • 9003165
Owner
  • Award Id
    9003165
  • Award Effective Date
    9/15/1990 - 35 years ago
  • Award Expiration Date
    8/31/1994 - 31 years ago
  • Award Amount
    $ 270,791.00
  • Award Instrument
    Continuing grant

Inheritance Theory and Knowledge Bases

Theories of defeasible reasoning previously developed and supported will be further investigated. Expansion will include networks with expressive enhancements such as: nets with limited cyclicity; Boolean combinations of nodes in nets; study of arguments which interfere with a given argument by disabling inferences leading to a particular conclusion; hydra inheritance; higher order links; semantic foundations for defeasible inheritance; and additional work on roles and relations. This is basic research on reasoning focusing on inheritance and having significance in non-monotonic methods.

  • Program Officer
    Larry H. Reeker
  • Min Amd Letter Date
    9/25/1990 - 35 years ago
  • Max Amd Letter Date
    6/2/1992 - 33 years ago
  • ARRA Amount

Institutions

  • Name
    MPC Corporation
  • City
    Pittsburgh
  • State
    PA
  • Country
    United States
  • Address
    5000 Forbes Avenue
  • Postal Code
    152133890
  • Phone Number
    4122682091

Investigators

  • First Name
    David
  • Last Name
    Touretzky
  • Email Address
    dst@cs.cmu.edu
  • Start Date
    9/15/1990 12:00:00 AM

FOA Information

  • Name
    Information Systems
  • Code
    104000
  • Name
    Other Sciences NEC
  • Code
    99

Program Element

  • Text
    ARTIFICIAL INTELL & COGNIT SCI
  • Code
    6856