The usual approaches to verification of knowledge in the literature have a rather practical nature, and are sometimes ad hoc and depending on the syntactical structure of a particular knowledge representation language in the definitions of the properties that are tested. In this paper a more principled investigation provides a well-defined semantical basis, independent of any particular syntact...

Knowledge-based machine translation can be viewed as the problem of extracting and representing the meaning of a text and generating a translation in a target language using the meaning representation. Meaning extraction requires the integration of information present explicitly in a text with common sense and domain knowledge given to the system. Thus, integrating linguistic knowledge of each ...

A knowledge representation system provides an important service to the rest of a knowledge-based system: it computes automatically a set of inferences over the beliefs encoded within it. Given that the knowledge-based system relies on these inferences in the midst of its operation (i.e., its diagnosis, planning, or whatever), their computational tractability is an important concern. Here we pre...

Natural language geometry problems are translated into formal representation. This is done as an essential step involved in text to diagram conversion. A parser is designed that analyzes a problem statement in order to describe it as a language independent, unambiguous formal representation. Natural language processing tools and a lexical knowledge base are used to assist the parser that finall...

This paper describes the adaptation approach of reusable knowledge representation components used in the KSM environment for the formulation and operationalisation of structured knowledge models. Reusable knowledge representation components in KSM are called primitives of representation. A primitive of representation provides: (1) a knowledge representation formalism (2) a set of tasks that use...

1 Department of Artificial Intelligence, Technical University of Madrid, Campus de Montegancedo s/n, Boadilla del Monte, 28660 Madrid (Spain). {jlsierra,mmolina}@dia.fi.upm.es Abstract. This paper describes the adaptation approach of reusable knowledge representation components defined in the KSM environment for the formulation and operationalisation of structured knowledge models. Reusable kno...

Brief Summary of Objectives: There are three objectives of the contract: to perform research and development in parallel parsing, semantic representation, ill-formed input, discourse, and tools for linguistic knowledge acquisition, and to integrate software components from BBN and elsewhere to produce Janus, DARPA's New Generation Natural Language Interface, and to demonstrate state-of-theart n...

The processing of semantic information requires the adequate knowledge representation and ability to interpret semantically related knowledge. The majority of present day approaches to knowledge representation and processing are based on symbolic approach, i.e. on describing the meaning of represented domain knowledge and procedural knowledge used to process this domain knowledge. Hierarchical ...