Skip to main content
SpringerLink
Log in

Logical object as a basis of knowledge based systems

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper presents a framework called logical knowledge object (LKO), which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented programming paradigms, where objects are viewed as abstractions with states, constraints, behaviors and inheritance. The operational semantics defined in the style of natural semantics is simple and clear. A hybrid knowledge representation amalgamating rule, frame, semantic network and blackboard is available for both most structured and flat knowledge. The management of knowledge bases has been formally specified. Accordingly, LKO is well suited for the formal representation of knowledge and requirements of KBSs. Based on the framework, verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs. In addition, LKO provides a methodology for the development of KBSs, applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements, and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bologna S, Ness E, Sivertsen T. Dependable knowledge based systems development and verification: What we can learn from software engineering and what we need. InProc. of Tools for Artificial Intelligence, IEEE, 1990, pp.86–95.

  2. Tsai J J P, Weigert T, Jang H C. A hybrid knowledge representation as a basis of requirement specification and specification analysis.IEEE Trans. on Software Engineering, 1992, 18(12): 1076–1099.

    Article  Google Scholar 

  3. Xu Dianxiang, Zheng Guoliang. A hybrid knowledge representation based on logical objects. InProc. of Int’l Conf. on Expert Systems for Development, Bangkok, March 1994.

  4. Xu Dianxiang, Zheng Guoliang. Logical knowledge objects. InProc. of JKJCES’94, Tokyo, March 1994.

  5. Terwilliger R B, Kirstis P A. PK/C++: An object oriented, logic based, executable specification language. InProc. of the 22th Hawaii Int’l Conf. on System Science, 1989.

  6. Kwok C S, Sergot M. A metalevel approach to object-oriented structuring of logic programs. InProc. of ICSC’92, Hong Kong, pp.574–580.

  7. Hodas J S, Miller D. Representing objects in a logic programming language with scoping constructs. InLogic Programming: Proc. of the 7th Int’l Conf., MIT Press, 1990, pp.511–526.

  8. Chen W D, Warren D S. Objects as intentions. InLogic Programming: Proc. of the 5th Int’l Conf., MIT Press, 1988, pp.404–416.

  9. Mello P. Inheritance as combination of Horn clause theories. InInheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991.

  10. Mccabe F G. Logic and Objects. Prentice Hall, 1992.

  11. Kim B Met al. Combining many-sorted logic and object-oriented programming.Information & Software Technology, 1993, 35(4).

  12. Plotkin G D. A structural approach to operational semantics.Technical Report FAIMI FN19, Computer Science Department, Arhus University, 1981.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Nanjing University, 210093, Nanjing

    Xu Dianxiang & Zheng Guoliang

Authors
  1. Xu Dianxiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zheng Guoliang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work is supported by the High Tech Research and Development Programme of China

Xu Dianxiang received his B.A., M.S. and Ph.D. degrees in computer architecture, computer application and computer software respectively from Nanjing University in 1989, 1992 and 1995. He is currently a member of the Department of Computer Science and Technology at Nanjing University. His research interests are in software engineering and knowledge based systems

Zheng Guoliang is a Professor of the Department of Computer Science and Technology at Nanjing University. His current research interests are in software engineering and formal methods

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, D., Zheng, G. Logical object as a basis of knowledge based systems. J. of Comput. Sci. & Technol. 10, 425–438 (1995). https://doi.org/10.1007/BF02948338

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948338

Keywords

Search

Navigation