A case study in using preference logic grammars for knowledge representation

Baoqiu Cui, Terrance Swift, David S. Warren

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Data standardization is the commercially important process of extracting useful information from poorly structured textual data. This process includes correcting misspellings and truncations, extraction of data via parsing, and correcting inconsistencies in extracted data. Prolog programming offers natural advantages for standardizing: definite clause grammars can be used to parse data; Prolog rules can be used to correct inconsistencies; and Prolog's simple syntax allows rules to be generated to correct misspellings and truncations of keywords. These advantages can be seen as rudimentary mechanisms for knowledge representation and at least one commercial standardizer has exploited these advantages. However advances in implementation and in knowledge representation ― in particular the addition of preferences to logical formalisms ― allow even more powerful and declarative standardizers to be constructed. In this paper a simple preference logic, that of [7] is considered. A fixed point semantics is defined for this logic and its tabled implementation within XSB is described. Development of a commercial standardizer using the preference logic of [7] is then documented. Finally, detailed comparisons are made between the preference logic standardizer and the previous Prolog standardizer illustrating how an advance in knowledge representation can lead to improved commercial software.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
EditorsNicola Leone, Gerald Pfeifer, Michael Gelfond
PublisherSpringer Verlag
Number of pages15
ISBN (Print)3540667490, 9783540667490
StatePublished - 1999
Event5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States
Duration: Dec 2 1999Dec 4 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
Country/TerritoryUnited States
CityEl Paso

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A case study in using preference logic grammars for knowledge representation'. Together they form a unique fingerprint.

Cite this