• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.171-197
• /
• 2008

In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.273-292
• /
• 2017

In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics $P_nIMICAL$ and $FP_nIMICAL$ are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for $FP_nIMICAL$ using construction in the style of Jenei-Montagna.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.1
• /
• pp.41-48
• /
• 2007

Latest advances in network sensor technology and state of the art of mobile robot, and artificial intelligence research can be employed to develop autonomous and distributed monitoring systems. In this study, as the preliminary step for developing a multi-purpose "Intelligent Space" platform to implement advanced technologies easily to realize smart services to human. We will give an explanation for the ISpace system architecture designed and implemented in this study and a short review of existing techniques, since there exist several recent thorough books and review paper on this paper. Instead we will focus on the main results with relevance to the DIND data fusion with CI of Intelligent Space. We will conclude by discussing some possible future extensions of ISpace. It is first dealt with the general principle of the navigation and guidance architecture, then the detailed functions tracking multiple objects, human detection and motion assessment, with the results from the simulations run.