Knowledge base modelling based on linguistics and founded in logic

Abstract Knowledge base systems should in principle be able to store and manipulate any sort of knowledge, including vague (indefinite) knowledge, knowledge about events and obligations and knowledge about temporal aspects. In this paper a language, CPL, is introduced in which all these different kinds of knowledge can be expressed. This language is based on the linguistic theory of Functional Grammar. The semantics of this language is based on a logical interpretation of the language structures, for which we use five different forms of logic: predicate, modal, deontic, dynamic and temporal logic. Inferences, based on these logics, that can be made within this language, are shown.

[1]  T. S. E. Maibaum,et al.  Database Specification , 1985, DS-1.

[2]  J.-J.Ch. Meyer.  Using Programming Concepts in Deontic Reasoning , 1989 .

[3]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Henk Sol,et al.  Information Systems Design Methodologies: A Comparative Review , 1983 .

[5]  Terry Winograd,et al.  Language as a Cognitive Process , 1983, CL.

[6]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[7]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[8]  Michael L. Brodie,et al.  Active and passive component modelling: ACM/PCM , 1986, Trends in Information Systems.

[9]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[10]  L. T. F Gamut.  Logica, taal en betekenis. 2 : Intensionele logica en logische grammatica , 1982 .

[11]  Peter van Emde Boas,et al.  Some Observations on Compositional Semantics , 1981, Logic of Programs.

[12]  Hans Weigand,et al.  Linguistically Motivated Principles of Knowledge Base Systems , 1990 .

[13]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[14]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[15]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[16]  Frank Dignum.  Parsing an English Text Using Functional Grammar , 1989 .

[17]  Noam Chomsky,et al.  Aspects of the Theory of Syntax. , 1966 .

[18]  K. L. Clark,et al.  Logic Programming , 1982 .

[19]  Hans Weigand,et al.  Constraint Modelling Using a Conceptual Prototyping Language , 1987, Data Knowl. Eng..

[20]  Peter Roper,et al.  Intervals and tenses , 1980, J. Philos. Log..

[21]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[22]  David Chenho Kung,et al.  On Structural and Behavioral Modeling of Reality , 1985, DS-1.

[23]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[24]  Harry K. T. Wong,et al.  The role of time in information processing: a survey , 1982, SGAR.

[25]  Franciscus Petrus Maria Dignum,et al.  A language for modelling knowledge bases :: Based on linguistics, founded in logic , 1989 .

[26]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[27]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[28]  Robert A. Kowalski.  Logic for Data Description , 1977, Logic and Data Bases.

[29]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[30]  Hector J. Levesque,et al.  What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level , 1984, Expert Database Workshop.

[31]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[32]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[33]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[34]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.