We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthesis of sentences and describe our approach consisting in separating knowledge that comes under different levels of well-formedness and coroutining their treatment. This approach has led us to develop in Prolog a softwa...

Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying these to formal concept analysis. We also approach FCA from the perspective of collections of formal contexts. Usually, when doing FCA, a formal context is fixed...

Finding computationally valuable representations of models of predicate logic formulas is an important task in many elds related to automated theorem proving, e.g. automated model building or semantic resolution. For representing a single (Herbrand) model we need a mechanism to describe all true ground atoms in the model, i.e. to characterize potentially innnite sets of terms. In this article w...

In section 3, an algorithm performing so called generalized good translation of formal languages is given in the form of an ALGOL 60 procedure. Its description is given in section 2. It is possible to translate from a formal (context-free) language into other one with help of this algorithm if certain conditions hold for both grammars. At the same time, some parts of output text may correspond ...

Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable representations is by making them objective or empiricist: the structure of the representation should be based on the structure of the language. Rather than defining a function from representation to language we should start by defining ...

Macrostructural modelization is paramount to the development of large complex systems (LCS). However, effective methodology has not been well established for macrostructural modelization of LCS. This paper explores the macrostructural modelization of LCS in terms of block diagram based model and grammar based model. Firstly, the macrostructural modelization problem of LCS is formulated. Secondl...