Towards mathematical morpho-logics

Authors:
Isabelle Bloch;Jérôme Lang
Affiliations:
ENST-TSI, CNRS URA 820, 46 rue Barrault 75013 Paris, France;IRIT-UPS, 118 route de Narbonne 31062 Toulouse, France
Venue:
Technologies for constructing intelligent systems
Year:
2002

Citing 5
Cited 9

Propositional knowledge base revision and minimal change

Artificial Intelligence
Supermodels and robustness

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
DISTANCE-SAT: complexity and algorithms

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Jumping to explanations versus jumping to conclusions

Artificial Intelligence
Image Analysis and Mathematical Morphology

Image Analysis and Mathematical Morphology

Implementing semantic merging operators using binary decision diagrams

International Journal of Approximate Reasoning
Merging Belief Bases Represented by Logic Programs

ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The mathematical morpho-logical view on reasoning about space

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Merging first-order knowledge using dilation operators

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Information fusion

SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Solving conflicts in information merging by a flexible interpretation of atomic propositions

Artificial Intelligence
Logics for approximate and strong entailments

Fuzzy Sets and Systems
Axiomatic characterization of belief merging by negotiation

Multimedia Tools and Applications
Distance-Based measures of inconsistency

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we suggest a new way to process information represented in a logical framework based on mathematical morphology. We show how the basic morphological operations can be expressed in a logical setting. We give some properties, show some links with revision and fusion, and ideas illustrate possible use of morpho-logics to approximation, reasoning and decision.