Sciweavers

27 search results - page 1 / 6
» A Multimodal Logic Approach to Order of Magnitude Qualitativ...
Sort
View
CAEPIA
2003
Springer
13 years 10 months ago
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
Alfredo Burrieza, Manuel Ojeda-Aciego
CAEPIA
2009
Springer
13 years 5 months ago
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
CAEPIA
2005
Springer
13 years 10 months ago
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
CAEPIA
2007
Springer
13 years 11 months ago
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
This paper continues the research line on the multimodal
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
FUZZIEEE
2007
IEEE
13 years 11 months ago
Using Orders of Magnitude and Nominal Variables to Construct Fuzzy Partitions
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
Cati Olmo, Germán Sánchez, Francesc ...