Displaying similar documents to “Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]”

Phase structure grammars for the expression of vague concepts in Spanish.

Alejandro Sobrino, Jose Angel Olivas (1996)

Mathware and Soft Computing

Similarity:

This paper characterizes grammars generating Spanish sentences of imprecise meaning. The basic grammar generating sentences conforming to the standard paradigm of fuzzy logic (Quantifier + Noun + Verb + Modifier + Adjective) is systematically deformed (by inversion, supression or addition of nonterminal elements in its production rules) to produce a series of grammars generating grammatical, semantically acceptable semigrammatical or ungrammatical sentences.

A language for expressing fuzzy temporal rules.

Purificación Cariñena, Alberto Bugarín, Manuel Mucientes, Senén Barro (2000)

Mathware and Soft Computing

Similarity:

This paper deals with the formal description of what we call Fuzzy Temporal Propositions: propositions with explicitly expressed information of a temporal type. The set of syntactic rules that make a grammar up for defining a language for this kind of propositions is presented. For some of the rules, examples that illustrate the expressive power of this type of knowledge representation are introduced. Semantic criteria and definitions are also introduced through examples in order to...