This paper presents the design of a knowledge acquisition user interface for a compositional modeling system. To facilitate collabora-tive development of knowledge bases and their reuse, knowledge of the domain is represented in a formal language based on the rst-order predicate logic. The vocabulary used is also formally deened explicitly in the same language. However, use of a formal represen...

Multilayered Extended Semantic Networks (MultiNet) have been developed along the general line of semantic networks (SN) for the semantic representation of large stocks of natural language information. They allow for a very differentiated meaning representation of natural language expressions and an adequate modelling of cognitive structures. MultiNet has been used for the semantic characterizat...

Information or knowledge contained by the texts is structured in a language specific syntactic form. They are neither understood nor processed by the computers. They must be organized in a structured form. Structured representation of sentences written in a particular language enables a computer to have a good understanding of the knowledge they contain. Such type of representation is also usef...

KR is a very efficient semantic network knowledge representation language implemented in Common Lisp. It provides basic mechanisms for knowledge representation which include user-defined inheritance, relations, and the usual repertoire of knowledge manipulation functions. The system is simple and compact and does not include some of the more complex functionality often found in other knowledge ...

This paper aims to enhance the practical applicability of relational grammars, which have been devised for the semantic analysis of natural language. We focus on their application in knowledge representation. In particular, we address how the representation problem for kl-one-based knowledge representation systems can be automatically solved with the help of relational grammars. New rules are p...

Knowledge compilation is a valuable tool for dealing with the computational intractability of propositional reasoning. In knowledge compilation, a representation in a source language is typically compiled into a target language in order to perform some reasoning task in polynomial time. One particularly popular target language is Deterministic Decomposable Negation Normal Form (d-DNNF). d-DNNF ...

We present a formal description of a propositional semantic-network-based knowledge representation system. Variables in this representation are not atomic and have potentially complex structure. We start from the individual components of a semantic network system, atomics nodes and relations that connect nodes, and provide a complete speci cation for the structure of nodes and a subsumption pro...

This paper proposes that for a complex intelligent system, the choice of a knowledge representation language for the interaction processing component and the domain reasoning component should be left unconstrained provided that some type of common knowledge representation language for communicating oals, actions, and inputs is available. This common language would be used for both components fo...

An object-based methodology for knowledge representation and its Standard Generalized Markup Language (SGML) implementation is presented. The methodology includes class, perspective, domain, and event constructs for representing knowledge within an object paradigm. The perspective construct allows for representation of knowledge from multiple and varying viewpoints. The event construct allows a...

This paper describes the results of a preliminary study of a Knowledge Engineering approach to Natural Language Understanding. A computer system is being developed to handle the acquisition, representation, and use of linguistic knowledge. The computer system is rule-based and utilizes a semantic network for knowledge storage and representation. In order to facilitate the interaction between us...