This paper presents a formulation of formal context satisfying some constraints which we already know, and an encoding a constraint-implying problem into SAT problem. The constraint-implying problem is whether an attribute implication which holds in the formal context is implied by the other attribute implications which also hold in the formal context together with information of the constraint...

In the early 60’s Professor Bar-Hillel and his co-workers published a series of seminal papers on formal grammars, their mathematical properties and linguistic adequacy. Many of these papers appear in Bar-Hillel 1964. One of their papers was on categorial grammars and phrase structure grammars (Bar-Hillel, Galfman, and Shamir 1960). In this paper they showed that categorial grammars are weakly ...

The syntactic concept lattice is a residuated lattice associated with a given formal language; it arises naturally as a generalisation of the syntactic monoid in the analysis of the distributional structure of the language. In this paper we define the syntactic concept lattice and present its basic properties, and its relationship to the universal automaton and the syntactic congruence; we cons...

During the last fifteen years, much of the research of proof theoretical grammars has been focused on their weak generative capacity. This research culminated in Pentus’ theorem, which showed that Lambek grammars generate precisely the context-free languages. However, during the same period of time, research on other grammar formalisms has stressed the importance of “strong generative capacity,...

Introduction: Meeting the needs of the elderly in order to promote active aging among them is becoming more and more important every day. Moreover, careful planning is needed for principled planning. In this regard, this study tries to use Camberwell Assessment of Need for the Elderly (CANE) as a multi-dimensional tool, to get a comprehensive understanding of the health-related needs of the eld...

Fuzzy Formal Concept Analysis (FCA) is a mathematical tool for the effective representation of imprecise and vague knowledge. However, with a large number of formal concepts from a fuzzy context, the task of knowledge representation becomes complex. Hence, knowledge reduction is an important issue in FCA with a fuzzy setting. The purpose of this current study is to address this issue by proposi...

Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, context modeling is still a complex task, due to the lack of an adequate, dynamic, formal and ...