Proposed Logic System Research Articles

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words

It is commonsense that people do express, think, reason, and make decision directly using linguistic terms in natural language rather than using numerical quantification. How to establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered algebra structure – lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.

A logic framework for reasoning with movement based on fuzzy qualitative representation

We present a logic approach to reason with moving objects under fuzzy qualitative representation. This way, we can deal both with qualitative and quantitative information, and consequently, to obtain more accurate results. The proposed logic system is introduced as an extension of Propositional Dynamic Logic: this choice, on the one hand, simplifies the theoretical study concerning soundness, completeness and decidability; on the other hand, provides the possibility of constructing complex relations from simpler ones and the use of a language very close to programming languages.

A dynamic description logic based system for video event detection

Video event detection is an important research area nowadays. Modeling the video event is a key problem in video event detection. In this paper, we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection. The proposed logic system is named as LTDALCO which can represent and inference the static, dynamic and temporal knowledge in one uniform logic system. Based on the LTDALCO, a framework for video event detection is proposed. The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTDALCO formulas.

Magnetic-film logic. A theoretical and experimental study of a system using magnetic films and conducting loops

The general principles of a proposed logic system using magnetic films are described. Groups of binary storage cells are coupled by means of short planar conducting loops close to the film on a conducting substrate. A theoretical analysis is made of the current induced in the loop when a storage cell on it is read. Currents of 250mA, decaying to 50mA in the first 10ns, are expected. Experiments on the properties of a short loop coupling the cells are described, the measured currents being in general agreement with those predicted over the possible range of measurement, provided that the effects of the substrate in setting film cells are separated from the effects of the loops. It is concluded that, although a complete logic system could be made using the proposed technique, the rapid decay of the currents used to set the cells would require the use of very fast pulse generators, and the system could not complete economically with conventional transistor logic of the same speed. The experiments show the practical possibility of two forms of nondestructive-readout store.