• DocumentCode
    2675357
  • Title

    Selecting predicate logic for knowledge representation by comparative study of knowledge representation schemes

  • Author

    Ali, Amjad ; Khan, Mohammad Abid

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Peshawar, Peshawar, Pakistan
  • fYear
    2009
  • fDate
    19-20 Oct. 2009
  • Firstpage
    23
  • Lastpage
    28
  • Abstract
    In artificial intelligence, knowledge representation is a combination of data structures and interpretive procedures that leads to knowledgeable behavior. Therefore, it is required to investigate such knowledge representation technique in which knowledge can be easily and efficiently represented in computer. This research paper compares various knowledge representation techniques and proves that predicate logic is a more efficient and more accurate knowledge representation scheme. The algorithm in this paper splits the English text/sentences into phrases/constituents and then represents these in predicate logic. This algorithm also generates the original sentences from the representation in order to check the accuracy of representation. The algorithm has been tested on real text/sentences of English. The algorithm has achieved an accuracy of 80%. If the text is in simple discourse units, then the algorithm accurately represents it in predicate logic. The algorithm also accurately retrieves the original text/sentences from such representation.
  • Keywords
    formal languages; knowledge representation; natural language processing; text analysis; English sentence; English text; artificial intelligence; data structure; interpretive procedure; knowledge representation; knowledgeable behavior; predicate logic; Artificial intelligence; Computational efficiency; Computational linguistics; Computer science; Data structures; Formal languages; Knowledge representation; Logic; Natural languages; Testing; Epistemolog; Phrases; Simple discourse units;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Emerging Technologies, 2009. ICET 2009. International Conference on
  • Conference_Location
    Islamabad
  • Print_ISBN
    978-1-4244-5630-7
  • Electronic_ISBN
    978-1-4244-5631-4
  • Type

    conf

  • DOI
    10.1109/ICET.2009.5353207
  • Filename
    5353207