MSO with tests and reducts
Tests added to Kleene algebra (by Kozen and others) are considered within Monadic Second Order logic over strings, where they are likened to statives in natural language. Reducts are formed over tests and non-tests alike, specifying what is observable. Notions of temporal granularity are based on observable change, under the assumption that a finite set bounds what is observable (with the possibility of stretching such bounds by moving to a larger finite set). String projections at different granularities are conjoined by superpositions that provide another variant of concatenation for Booleans.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Heuristic algorithms for finding distribution reducts in probabilistic rough set model
Attribute reduction is one of the most important topics in rough set theory. Heuristic attribute reduction algorithms have been presented to solve the attribute reduction problem. It is generally known that fitness funct…
AttributeRelated family-based attribute reduction of covering information systems when varying attribute sets
In practical situations, there are many dynamic covering information systems with variations of attributes, but there are few studies on related family-based attribute reduction of dynamic covering information systems. I…
AttributePositive region preserved random sampling: an efficient feature selection method for massive data
Selecting relevant features is an important and necessary step for intelligent machines to maximize their chances of success. However, intelligent machines generally have no enough computing resources when faced with hug…
Neighborhood Selection and Rules Identification for Cellular Automata: A Rough Sets Approach
In this paper a method is proposed which uses data mining techniques based on rough sets theory to select neighborhood and determine update rule for cellular automata (CA). According to the proposed approach, neighborhoo…
Efficient Retrieval of Logos Using Rough Set Reducts
Searching for similar logos in the registered logo database is a very important and tedious task at the trademark office. Speed and accuracy are two aspects that one must attend to while developing a system for retrieval…
Retrieval