LiLFeS: Assumed formalism

• Basically followed Carpenter’s definition of Typed Feature Structures

  • Supported
    • Appropriateness conditions on features
    • Multiple inheritance of types (monotonic) (A type hierarchy must be BCPO.)
    • Cyclic feature structures
  • Not supported
    • Type constraint system (Now implementing)
    • Inequations
    • Disjunctive feature structures (One can write a necessary substrate in definite clause programs.)

Previous slide

Next slide

Back to first slide

View graphic version