In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
In this work, in order to improve spatial recognition abilities for the long-term operation tasks of the assistant robot for the elderly, a novel approach of semantic region estimation is proposed. We define a novel g...In this work, in order to improve spatial recognition abilities for the long-term operation tasks of the assistant robot for the elderly, a novel approach of semantic region estimation is proposed. We define a novel graphbased semantic region descriptions, which are estimated in a dynamically fashion. We propose a two-level update algorithm, namely, Symbols update level and Regions update level. The algorithm firstly adopts particle filter to update weights of the symbols, and then use the Viterbi algorithm to estimate the region the robot stays in based on those weights, optimally. Experimental results demonstrate that our proposed approach can solve problems of the long-term operation and kidnapped robot problem.展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金supported by the National Natural Science Foundation of China (61305103 and 61473103)the Foundation for Innovative Research Groups of the National Natural Science Foundation of China (51521003 )+1 种基金the Natural Science Foundation of Heilongjiang Province, China (QC2014C072 and F2015010)SelfPlanned Task (SKLRS201609B and SKLRS201411B) of State Key Laboratory of Robotics and System (HIT)
文摘In this work, in order to improve spatial recognition abilities for the long-term operation tasks of the assistant robot for the elderly, a novel approach of semantic region estimation is proposed. We define a novel graphbased semantic region descriptions, which are estimated in a dynamically fashion. We propose a two-level update algorithm, namely, Symbols update level and Regions update level. The algorithm firstly adopts particle filter to update weights of the symbols, and then use the Viterbi algorithm to estimate the region the robot stays in based on those weights, optimally. Experimental results demonstrate that our proposed approach can solve problems of the long-term operation and kidnapped robot problem.
