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

DOI10.1016/j.fss.2013.07.014zbMath1315.68241OpenAlexW2039520924MaRDI QIDQ2350485

Manuel Ojeda Aciego, Emilio Muñoz-Velasco, Alfredo Burrieza

Publication date: 24 June 2015

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.07.014

zbMATH Keywords

moving objectspropositional dynamic logicreasoning under uncertaintyorder-of-magnitude reasoningqualitative reasoning with fuzzy data

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Subject-oriented spatial logic

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Qualitative reasoning about relative direction of oriented points
• On the improvement of combined fuzzy topological and directional relations information
• Spatial reasoning in a fuzzy region connection calculus
• Logics of communication and change
• Fuzzy qualitative trigonometry
• Imprecise reasoning in geographic information systems
• Fuzzy region connection calculus: An interpretation based on closeness
• A PDL APPROACH FOR QUALITATIVE VELOCITY
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
• Propositional Dynamic Logic for Message-Passing Systems