A new kind of RMS, based on a close merge of TMS and ATMS, is proposed. It uses the TMS graph and interpretation and the ATMS multiple context labelling procedure. In order to fil l in the problems of the ATMS environments in presence of nonmonotonic inferences, a new kind of environment, able to take into account hypotheses that do not hold, is defined. These environments can inherit formulas ...

In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A proposi-tional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(;), is introduced. It is used to express that the sentence, ,...

Context is a concept used by philosophers and scientists with many different definitions. Since Dummett, we speak of the "context principle" in Frege and Wittgenstein: "An expression has a meaning only in the context of a sentence". The context principle finds an extension in some of Wittgenstein's ideas, especially in his famous passage where he says that " to understand a sentence means to un...

“Epistemology is about to leave philosophy and join the sciences as other disciplines have done in the past. Briefly, work on the artificial intelligence problem (i.e. the problem of making machines, specifically electronic computers, behave intelligently) will require a theory of how knowledge can be obtained by a system in interaction with its environment, what knowlege is (i.e. its mathemati...

-Human problem solving is done within a context, which constrains the solution space. There have been growing interests in computational modeling of contextual knowledge representation and context-based problem solving. There are different approaches to exploring the concept of context and corresponding computational mechanism for representing and utilizing the contextual model, both formal and...

Enhancing applications by adding one or more sensors is not new. Incorporating machinelearning techniques to fuse the data from the sensors into a high-level context description is less obvious. This paper describes an architecture that combines a hierarchy of self-organizing networks and a Markov chain to enable on-line context recognition. Depending on both user and application, the user can ...

marriage and mate selection is one of the most important events in the social life which has been observed in various forms in different eras and societies. to achieve this, using qualitative content analysis, all marriages mentioned in the shahnameh were analyzed. the results show that the kings and heroes as the class of iranian society in the shahnameh, for finding a matching partner, person...

We propose a new type of fuzzification for formal concept analysis that works with heterogeneous values in a context and illustrate this with an example. We formulate and prove an appropriate counterpart to the so-called basic theorem of a concept lattice. We show that this is a generalization of the previous approaches: it covers the so-called generalized concept lattice and multi-adjoint t-co...

Contextualism in philosophy of language and in epistemology are two distinct but closely entangled projects. The epistemological thesis is grounded in a semantic claim concerning the context-sensitivity of the predicate “know”: we gain insight into epistemological problems by investigating our linguistic intuitions concerning knowledge attribution sentences. Our aim here is to evaluate the plau...