Abstract / Synopsis

This paper discussed the idea of the computer system capable of simulating understanding with respect to reading a text document. The research is concerned with the problem of generating sophisticated knowledge representation for the purpose of understanding the natural language. Due to that, a simplification form of logical-oriented model of knowledge representation called Pragmatic Skolem Clauses (PSC) is proposed to represent the semantic formalism for the computational linguistic. Each set of pragmatic skolem clauses containing at least one skolem constant, which shows the thematic role relationship between clauses. Semantically and pragmatically-accented approach will be discussed in this paper in the context of formal grammar and linguistic semantic.