Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases


The KIPS Transactions:PartD, Vol. 9, No. 2, pp. 243-251, Apr. 2002
10.3745/KIPSTD.2002.9.2.243,   PDF Download:

Abstract

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lassez's Strong Model Semantics(LSMS)[9] which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it's properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
Y. Y. Sok and J. H. Chun, "Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases," The KIPS Transactions:PartD, vol. 9, no. 2, pp. 243-251, 2002. DOI: 10.3745/KIPSTD.2002.9.2.243.

[ACM Style]
Yoon Young Sok and Jong Hoon Chun. 2002. Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases. The KIPS Transactions:PartD, 9, 2, (2002), 243-251. DOI: 10.3745/KIPSTD.2002.9.2.243.