• DocumentCode
    2390325
  • Title

    ObjTrans: an intelligent tool for knowledge-object transformation

  • Author

    Park, Hyung-Sik ; Su, Yuh-Tsong

  • Author_Institution
    Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
  • fYear
    1991
  • fDate
    10-13 Nov 1991
  • Firstpage
    394
  • Lastpage
    398
  • Abstract
    A description is presented of a prototype called ObjTrans which was developed to automate the process of transforming the object structure of object-oriented logic programs called KOs. ObjTrans allows the user to abstract the specification of application KOs, perform a series of primitive operators on the abstracted specification interactively and heuristically, and incrementally reconstruct the specification of KOs resulting from object transformation. ObjTrans is implemented in Smalltalk/V-Prolog/V which does not allow multiple inheritance
  • Keywords
    formal specification; knowledge based systems; logic programming; object-oriented programming; software tools; KOs; ObjTrans; Smalltalk; V; V-Prolog; knowledge-object transformation; object-oriented logic programs; prototype; specification; Application software; Artificial intelligence; Cities and towns; Computer science; Connectors; Logic programming; Object oriented modeling; Prototypes; Software prototyping; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    0-8186-2300-4
  • Type

    conf

  • DOI
    10.1109/TAI.1991.167120
  • Filename
    167120
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2390325