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

被引：8

作者：

Munoz-Velasco, E. ^{[1
]}

Burrieza, A. ^{[2
]}

Ojeda-Aciego, M. ^{[1
]}

机构：

[1] Univ Malaga, Dept Appl Math, E-29071 Malaga, Spain

[2] Univ Malaga, Dept Philosophy, E-29071 Malaga, Spain

来源：

FUZZY SETS AND SYSTEMS | 2014年 / 242卷

关键词：

Qualitative reasoning with fuzzy data; Moving objects; Order-of-magnitude reasoning; Propositional dynamic logic; Reasoning under uncertainty; CALCULUS;

D O I：

10.1016/j.fss.2013.07.014

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. (c) 2013 Elsevier B.V. All rights reserved.

引用

页码：114 / 131

页数：18

共 37 条

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

[2] Kinematically Optimal Catching a Flying Ball with a Hand-Arm-System [J].

Baeuml, Berthold ;

Wimboeck, Thomas ;

Hirzinger, Gerd .

IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), 2010, :2592-2599

[3]

Bollig B, 2007, LECT NOTES COMPUT SC, V4855, P303

[4]

Bugaychenko D, 2007, LECT NOTES ARTIF INT, V4696, P183

[5] A PDL APPROACH FOR QUALITATIVE VELOCITY [J].

Burrieza, A. ;

Munoz-Velasco, E. ;

Ojeda-Aciego, M. .

INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2011, 19 (01) :11-26

[6] Fuzzy Qualitative Human Motion Analysis [J].

Chan, Chee Seng ;

Liu, Honghai .

IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2009, 17 (04) :851-862

[7] FUZZY QUALITATIVE REASONING ABOUT DYNAMIC SYSTEMS CONTAINING TRIGONOMETRIC RELATIONSHIPS [J].

Coghill, George M. ;

Liu, Honghai ;

Bruce, Allan ;

Wisley, Carol .

INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2011, 19 (03) :477-498

[8]

Cohn A.G., 2007, HDB KNOWLEDGE REPRES

[9] Inferring additional knowledge from QTCN relations [J].

Delafontaine, Matthias ;

Bogaert, Peter ;

Cohn, Anthony G. ;

Witlox, Frank ;

De Maeyer, Philippe ;

Van de Weghe, Nico .

INFORMATION SCIENCES, 2011, 181 (09) :1573-1590

[10]

Escrig M.T., 2002, LNCS LNAI, V2504, P28

← 1 2 3 4 →