The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided desig...

Research in cognitive psychology demonstrated that human knowledge is mostly stored by the connections between neurons rather than in the nervous cells themselves. The attempt to model such an idea leads to an interactive network, where information is represented by some set of neuromimetic descriptors. These descriptors can be either objectual or attributive, i.e. specifying an object or a pro...

We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and negations. The focus of this paper is on generating referring expressions involving positive and negated relations. We describe rule-based overgeneration of referring expressions based on the notion of ‘extension’, and show how to...

Abstract Assyriologists and Semitists have assumed that the attributive masculine plural morpheme - ūt found in Akkadian is a secondary development analogy with feminine āt . In this paper I suggest should be reconstructed to Proto-Semitic. My arguments are based on some pronouns West Semitic existence of distinction between predicative morphology both branches Semitic.