HAL-EMSE
Not a member yet
9132 research outputs found
Sort by
Possible Hyperworlds: representing Kripke models in RDF
No full textModal logic extends propositional logic by adding modal operators, and enables us to reason with conceptssuch as necessity, possibility, knowledge, belief, obligation, or consequences of actions. The most common way tointerpret modal logic formulas is to apply the possible worlds semantics and to formally represent it with a Kripkemodel. Kripke models consist of a set of possible worlds, accessibility relations between possible worlds, and avaluation function that assigns to propositional atoms a truth value relative to those worlds. Existing work exploredthe connection between modal logic and Description Logics, including Modal Description Logics, and consider theinclusion of a Kripke model in their semantics. We are interested in considering a novel perspective, where weaim to represent in RDF a Kripke model, formulas from a modal logic language, and in which possible worldssuch formulas are verified. Such a representation could have several applications: 1. contributing to a standardexchange format for modal logic applications, including reasoners; 2. facilitating the Open Science initiative inthe modal logic research community; 3. supporting the representation and management of uncertainty or othermodalities; and 4. facilitating interoperability between heterogeneous systems. As a starting point, our intuitionis that a set of triples could be translated to a formula, and one could explicit in what possible worlds a formulais verified using metadata about this set of triples. Following that intuition, the main contribution of this articleis to provide an RDF representation of normal Kripke models, applying the linked data principles and standards,focusing on identifying possible worlds and expressing the (N+1)-ary accessibility relations between them. We callpossible hyperworld the result of this hypermedia approach to representing possible worlds. We discuss the differentmodeling alternatives for linking sets of triples to possible worlds, and for representing accessibility relations. Wemotivate one modeling choice, and compile our design rationale in a formal vocabulary for describing Kripke models:the Possible Worlds and Kripke Structures Ontology (PWKSO). Adopting a simple and generic usage pattern, weillustrate PWKSO with examples from epistemic multi-modal logic, dyadic deontic logic, and the dynamic logicof mental attitudes and joint actions (DL-MA). Perspectives and future work include 1. defining a translation,in the context of an RDF dataset, of sets of triples to modal logic formulas; 2. querying, instantiating, reasoningwith possible hyperworlds; 3. nesting possible worlds or Kripke structures as a way to model Dynamic EpistemicLogics (DEL) or Propositional Dynamic Logics (PDL); 4. potential applications that leverage existing modal logicformalisms for example to merge knowledge graphs, represent the knowledge or beliefs of agents, represent theeffects of actions or norms, or develop model checking applications
"Consommation ou Bien-Être - le Défi d’une Soutenabilité Forte" Débat collectif - Séminaire D-TechnoSS
No full textCette planche synthétise sous forme d’illustrations graphiques les réflexions menées lors du débat collectif “Consommation ou Bien-Être - le Défi d’une Soutenabilité Forte” dans le cadre du séminaire D-TechnoSS - 8 juillet 2025.Depuis les années 1970, le rapport Meadows a mis en évidence la crise socio-écologique actuelle. La dernière décennie a vu une prise de conscience collective et la nécessité de lutter contre le changement climatique, ce qui entraîne une mobilisation pour développer des connaissances, des réglementations et des technologies visant à intensifier la décarbonation de la société. En réalité, le changement climatique n’est qu’une des six limites planétaires déjà dépassées aujourd’hui (Richardson et al., 2023 ; Rockström et al., 2009 ; Steffen et al., 2015). La plupart des actions mises en place pour répondre aux défis socio-écologiques restent axées sur des approches techno-centrées et/ou ne remettent pas en question le modèle économique actuel. Ces actions, fondées sur l’économie circulaire, les technologies vertes, l’éco-conception, les modèles économiques traditionnels et les stratégies de décarbonation, demeurent insuffisantes pour relever les défis socio-écologiques mis en évidence par l’économie du donut (Brozovic, 2020 ; de Oliveira Neto et al., 2018 ; Raworth, 2017 ; Vilochani et al., 2024). Il est devenu important de développer de nouvelles démarches de co-construction des solutions soutenables entre les concepteurs et les consommateurs et des modes de consommation plus durables pourraient sans doute favoriser une transition vers une soutenabilité forte. Ce séminaire a pour objectif d’approfondir le concept de soutenabilité forte ainsi que sa relation avec les comportements du consommateur et les produits et services intégrant les enjeux socio-écologiques en conception. Il s'inscrit dans le cadre du projet D-TechnoSS financé par l’ANR et mené par l’Université de Technologie de Troyes, l’École des Mines de Saint-Étienne et l’Université Paris Nanterre. Il vise à développer une meilleure compréhension des mécanismes de changements des comportements afin d'adopter des démarches de co-construction de soutenabilité forte
"Cadres et Outils pour la Conception en Soutenabilité Forte" - Séminaire D-TechnoSS
No full textCette planche synthétise sous forme d’illustrations graphiques les réflexions menées lors de la table ronde “Cadres et Outils pour la Conception en Soutenabilité Forte” dans le cadre du séminaire D-TechnoSS - 8 juillet 2025Depuis les années 1970, le rapport Meadows a mis en évidence la crise socio-écologique actuelle. La dernière décennie a vu une prise de conscience collective et la nécessité de lutter contre le changement climatique, ce qui entraîne une mobilisation pour développer des connaissances, des réglementations et des technologies visant à intensifier la décarbonation de la société. En réalité, le changement climatique n’est qu’une des six limites planétaires déjà dépassées aujourd’hui (Richardson et al., 2023 ; Rockström et al., 2009 ; Steffen et al., 2015). La plupart des actions mises en place pour répondre aux défis socio-écologiques restent axées sur des approches techno-centrées et/ou ne remettent pas en question le modèle économique actuel. Ces actions, fondées sur l’économie circulaire, les technologies vertes, l’éco-conception, les modèles économiques traditionnels et les stratégies de décarbonation, demeurent insuffisantes pour relever les défis socio-écologiques mis en évidence par l’économie du donut (Brozovic, 2020 ; de Oliveira Neto et al., 2018 ; Raworth, 2017 ; Vilochani et al., 2024). Il est devenu important de développer de nouvelles démarches de co-construction des solutions soutenables entre les concepteurs et les consommateurs et des modes de consommation plus durables pourraient sans doute favoriser une transition vers une soutenabilité forte. Ce séminaire a pour objectif d’approfondir le concept de soutenabilité forte ainsi que sa relation avec les comportements du consommateur et les produits et services intégrant les enjeux socio-écologiques en conception. Il s'inscrit dans le cadre du projet D-TechnoSS financé par l’ANR et mené par l’Université de Technologie de Troyes, l’École des Mines de Saint-Étienne et l’Université Paris Nanterre. Il vise à développer une meilleure compréhension des mécanismes de changements des comportements afin d'adopter des démarches de co-construction de soutenabilité forte
Machine learning-based pulse wave analysis for classification of circle of Willis topology: An in silico study with 30,618 virtual subjects
No full textInternational audienceBackground and Objective: The topology of the circle of Willis (CoW) is crucial in cerebral circulation and significantly impacts patient management. Incomplete CoW structures increase stroke risk and post-stroke damage. Current detection methods using computed tomography and magnetic resonance scans are often invasive, time-consuming, and costly. This study investigated the use of machine learning (ML) to classify CoW topology through arterial blood flow velocity pulse waves (PWs), which can be noninvasively measured with Doppler ultrasound. Methods: A database of in silico PWs from 30,618 virtual subjects, aged 25 to 75 years, with complete and incomplete CoW topologies was created and validated against in vivo data. Seven ML architectures were trained and tested using 45 combinations of carotid, vertebral and brachial artery PWs, with varying levels of artificial noise to mimic real-world measurement errors. SHapley Additive exPlanations (SHAP) were used to interpret the predictions made by the artificial neural network (ANN) models. Results: A convolutional neural network achieved the highest accuracy (98%) for CoW topology classification using a combination of one vertebral and one common carotid velocity PW without noise. Under a 20% noise-tosignal ratio, a multi-layer perceptron model had the highest prediction rate (79%). All ML models performed best for topologies lacking posterior communication arteries. Mean and peak systolic velocities were identified as key features influencing ANN predictions. Conclusions: ML-based PW analysis shows significant potential for efficient, noninvasive CoW topology detection via Doppler ultrasound. The dataset, post-processing tools, and ML code, are freely available to support further research.</div
Kriging under differential information: application to prediction of perfect flows
No full textNational audienc
Energy modeling and simulation for industrial systems designed for integration into digital twin framework
No full textNational audienc
Towards understanding Complex Adaptive Systems: An illustration on urban logistics
No full textInternational audienceUnderstanding of Complex Adaptive Systems (CAS) is challenging due to their emergent and adaptive properties. We propose a framework to identify stable strategies and potential system outcomes in CAS by focusing on key interactions between stakeholders. In our framework, CAS is modeled as multi-agent systems and surrogate modeling with game-theoretic concepts are used to extract a game that captures strategic behaviors, i.e., decisions taken by stakeholders that influence both their own and others' outcomes. We illustrate the practical relevance of our framework in the domain of urban logistics, more specifically in a mutualization use case where decision-making by shippers, freight carriers, and urban consolidation centers shapes the overall dynamics of the system
Microwave sintering of SnO<sub>2</sub>/ZnO ceramics: Effects of SiC susceptor
No full textInternational audienceThis study investigates the effect of a SiC susceptor on the microwave (MW) heating of pure SnO2, pure ZnO and their composites in different weight ratios (S80-Z20, S50-Z50, S20-Z80). All samples were sintered with and without a SiC susceptor in a multimode MW cavity, and additional MW heating experiments were conducted in a single-mode cavity to observe the MW/material interactions of the pure binary oxides. The role of the SiC susceptor—commonly used to enhance MW absorption—was the key focus. Power curves are discussed in detail since they show the changes in material properties at certain temperatures. Our results show that SnO2 and ZnO ceramics can be heated even without a susceptor, with pure SnO2 initiating heating faster than ZnO and composites exhibiting intermediate behavior. The microstructure, linear shrinkage, bulk density, porosity, and phase composition were characterized for all prepared samples under both sintering conditions
