QUIXOT E is a language which provides knowledge representationand inference-service for various knowledge applications. In this paper, we use some examples, mainly focusing on the characteristics for natural language processing applications. QUIXOT E is an instance of CLP (Constraint Logic Programming language) scheme [3], and can be considered also as a DOOD (Deductive and Object-Oriented Data...

In software requirements engineering there have been very few attempts to automate the translation from a requirements document written in a natural language (NL) to one of the formal specification languages. One of the major reasons for this challenge comes from the ambiguity of the NL requirements documentation because NL depends heavily on context. To make a smooth transition from NL require...

Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalisms for representing knowledge about causal relations are quite limited in the kind of specifications of causes and effects they allow. In this paper, we present the new language C-Log, which offers a significantly more...

The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, and graphs. Concepts and relations are linked to form graphs, and graphs may be nested within other graphs. Additional constructs are used to support distributed reasoning and ontological concision. KNAML treats ontolo...

1 Domain, Action, and Agent Knowledge in SPUD Juliet C. Bourne Department of Computer and Information Science University of Pennsylvania 200 S. 33rd St, Philadelphia PA 19104 [email protected] Abstract A modal rst-order logic (mFOL) representation for domain, action, and agent knowledge supports reasoning about the domain and what agents know about the domain. Taking advantage of the indep...

To eliminate the difficulties caused by the implicit nature of the natural relationship between domain models (and the corresponding delta-analyses) and framework instances, we aim to provide a mechanism for the construction of a bidirectional, concrete, active link between domain models and framework code by constructing a new instance of declarative metaprogramming. This instance supports a s...

Natural language is an ideal mode of interaction and knowledge sharing between intelligent computer systems and their human users. But a major problem that natural language interaction poses is linguistic variation, or the “paraphrase problem”: there are a variety of ways of referring to the same idea. This is a special problem for intelligent systems in domains such as information retrieval, w...

We are developing a multilevel metalogic programming language that we call Alloy. It is based on rst-order predicate calculus extended with metalogical constructs. An Alloy program consists of a collection of theories, all in the same language, and a representation relation over these theories. The whole language is self-representable, including names for expressions with variables. A signiican...

In recent years, the natural language generation community has begun to mature rapidly and produce sophisticated oo-the-shelf surface realizers. A parallel development in the knowledge representation community has been the emergence of large-scale knowledge bases that house tens of thousands of facts encoded in expressive representational languages. Because of the richness of their representati...