1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20)
Sofia, Bulgaria, 6 - 9 September, 2020
Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.
The parthood predicate, that is central to most mereologies, maybe of a derived or fundamental nature in lower or higher order perspectives of vagueness. Further, they arise in distinct ways in the application contexts of general rough sets, granularity, fuzzy sets, spatial reasoning, point-free approaches and subjective probability. It is of much interest to study and compare their ontologies from the perspectives of granular, algebraic and topological semantics in the context of applications such as knowledge representation, engineering design, biological taxonomies, robotics and medical diagnosis. Novel applications in specific domains such as education research or intelligent n-way decision- making would also be of interest.
The primitive notion of classical geometry is point whereas for point-free geometry it maybe a region (or other tangible objects). Related exact and approximate theories are closely connected with the study of point-free topology or frame theory (and geometric logic). Applied topics related to point-free geometry, point-free topology, and geometric logic will also be within the scope of this symposium. In particular, applications of rough mereotopology, connections with mathematical morphology and other recent developments in spatial mereology would be of interest.
Topics of interest to the symposium are (but not limited to):
- Applications of Mereology and Vagueness,
- Granular Mereo-Classifiers,
- Mereo-ontologies: Comparison,
- Critical Evaluation of Spatial Mereology (Mereotopology),
- Rough Mereotopologies,
- Rough Mereology in Engineering (Assembling, Design, etc),
- Descriptive Proximity and Point-free applications Mereology in Robotics,
- Intelligent Navigation/Planning,
- Imaging, Intelligent Image Analysis,
- Mathematical Morphology and Mereology,
- Applications of Non-transitive Parthood and Granularity in Areas such as Taxonomy,
- Medical Diagnosis, and Imaging (histology, etc),
- Mereology and Fuzzy Sets in Physics,
- Regions as Pluralities,
- Related Ontologies,
- Theories of Knowledge,
- Knowledge Consistency,
- Applications of Knowledge Based Methods involving Mereology Related Situation Logics,
- Domain Science Point-Free Geometry,
- Geometric Logic,
- Qualitative Space,
- Whitehead-Gerla Approach Hybrid Approaches,
- Novel Applications,
- RCC, and Related Topics.
- Authors should submit draft papers (as Postscript, PDF or MSWord file).
- The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here.
- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
- Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants.
- Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database.
- Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site.
- Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar
- Organizers reserve right to move accepted papers between FedCSIS events.