Much of the work in inductive learning considers languages that represent hypotheses using some restricted form of propositional logic; an important research problem is extending propo-sitional learning algorithms to use more expressive rst-order representations. Further, it is desirable for these algorithms to have solid theoretical foundations, so that their behavior is reliable and predictab...

An extension of the concept description language ACC used in KL-ONE-like terminological reasoning is presented. The extension includes multi-modal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an inst...

This paper presents some original techniques for implementing accounting knowledge in PROLOG language. We will represent rules of operation of accounts, the texts of accounting operations, and how to compute the depreciation.

Irregular lexemes are standardly regular in some respect. Most are just like regular lexemes except that they deviate in one or two characteristics. What is needed is a natural way of saying \this lexeme is regular except for this property". One obvious approach is to use nonmonotonicity and inheritance machinery to capture such lexical irregularity (and subregularity), and much recent research...

An informal reception will be held on Saturday, November 8. A general plenary session, in which the highlights of each symposium will be presented, will be held on Sunday, November 9. Symposia will be limited to between forty and sixty participants. Each participant will be expected to attend a single symposium. Working notes will be prepared and distributed to participants in each symposium. I...

Goals The principal objective of this project is to develop a system for representing and reasoning about the discourse context in extended man-machine dialogs. Current focus areas include the development of a general theory of multiagent planning to account for the structure of natural-langnage dialog, the development of a general knowledge representation for capturing a wide range of natura l...

It is argued that a knowledge representation language intended to be applied across diverse domains must be based on natural language. It is also indicated that such a representation language will facilitate the acquisition of knowledge from natural language and the interaction with other programs in need of obtaining some knowledge. The main aspects of a knowledge representation language based...

NKRL is a conceptual language which intends to provide a normalised, pragmatic description of the semantic contents (in short, the "meaning") of NL narrative documents. We introduce firstly the general architecture of NKRL, and we give some examples of its characteristic features. We supply, afterward, some sketchy information about the inference techniques and the NLP procedures associated wit...