Search

Your search keyword '"Nhan Le Thanh"' showing total 25 results
Start Over Author "Nhan Le Thanh" Topic [info.info-ai]computer science [cs]/artificial intelligence [cs.ai]
25 results on '"Nhan Le Thanh"'

1. CARS – A Spatio-Temporal BDI Recommender System: Time, Space and Uncertainty

Author

Amel Ben Othmane, Nhan Le Thanh, Andrea G. B. Tettamanzi, Serena Villata, COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Ana Paula Rocha, Jaap van den Herik, Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)

Subjects
Fuzzy sets, Computer science, business.industry, NetLogo, Region connection calculus, Fuzzy set, 020206 networking & telecommunications, 02 engineering and technology, Recommender system, Machine learning, computer.software_genre, Fuzzy logic, Domain (software engineering), [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 0202 electrical engineering, electronic engineering, information engineering, Feature (machine learning), 020201 artificial intelligence & image processing, Artificial intelligence, Allen's Intervals, Architecture, Region Connection Calculus, business, computer, computer.programming_language
Abstract

International audience; Agent-based recommender systems have been exploited in the last years to provide informative suggestions to users, showing the advantage of exploiting components like beliefs, goals and trust in the recommenda-tions' computation. However, many real-world scenarios, like the traffic one, require the additional feature of representing and reasoning about spatial and temporal knowledge, considering also their vague connotation. This paper tackles this challenge and introduces CARS, a spatio-temporal agent-based recommender system based on the Belief-Desire-Intention (BDI) architecture. Our approach extends the BDI model with spatial and temporal information to represent and reason about fuzzy beliefs and desires dynamics. An experimental evaluation about spatio-temporal reasoning in the traffic domain is carried out using the NetLogo platform, showing the improvements our recommender system introduces to support agents in achieving their goals.

Published
2018

2. An ontological approach for organizing a knowledge base to share and reuse business workflow templates

Author

Tuan Phan Hong, Thi Hoa Hue Nguyen, Nhan Le Thanh, Vietnam-Korea Friendship IT College [Da Nang], Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Windows Workflow Foundation, Computer science, Reuse, 02 engineering and technology, computer.software_genre, SPARQL, Workflow engine, Business workflow template, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], XPDL, Workflow technology, Knowledge base, Business process management, 0202 electrical engineering, electronic engineering, information engineering, Database, Ontology, business.industry, 020207 software engineering, Business process modeling, Business process, Workflow, 020201 artificial intelligence & image processing, Software engineering, business, computer, Workflow management system
Abstract

International audience; Business process models have been used in a lot of enterprise applications. Along with their popularity, the problem of how to create them correctly in terms of semantics and syntax while effectively promoting the reuse of suitable parts of existing models is increasingly interest. This paper describes how to organize a knowledge base to facilitate the shareability and reusability of business workflow templates. We first introduce a repository consisting of business workflow templates which are well-checked at the syntactic and semantic level. An organizational mechanism for control flow-based business workflow templates is therefore provided to ensure an effective search of templates. We then propose a process for developing workflow templates. Thereby for each use case, users can select and modify suitable workflow templates from the knowledge base.

Published
2017
Full Text
View/download PDF

3. An Agent-Based Architecture for Personalized Recommendations

Author

Amel Ben Othmane, Serena Villata, Andrea G. B. Tettamanzi, Michel Buffa, Nhan Le Thanh, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), H. Jaap van den Herik, Joaquim Filipe, Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Design framework, NetLogo, business.industry, Computer science, 0102 computer and information sciences, 02 engineering and technology, Plan (drawing), Recommender system, ComputingMethodologies_ARTIFICIALINTELLIGENCE, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Possibility distribution, 010201 computation theory & mathematics, Order (business), Human–computer interaction, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, Architecture, business, computer, computer.programming_language
Abstract

International audience; This paper proposes a design framework for a personalized multi-agent recommender system. More precisely, the proposed framework is a multi-context based recommender system that takes into account user preferences to generate a plan satisfying those preferences. Agents in this framework have a Belief-Desire-Intention (BDI) component based on the well-known BDI architecture. These BDI agents are empowered with cognitive capabilities in order to interact with others agents. They are also able to adapt to the environment changes and to the information coming from other agents. The architecture includes also a planning module based on ontologies in order to represent and reason about plans and intentions. The applicability of the proposed model is shown through a simulation in the NetLogo environment.

Published
2017
Full Text
View/download PDF

4. A Multi-context BDI Recommender System: From Theory to Simulation

Author

Nhan Le Thanh, Serena Villata, Amel Ben Othmane, Andrea G. B. Tettamanzi, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)

Subjects
NetLogo, Computer science, Context (language use), Recommender system, 01 natural sciences, Agent-based social simulation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 010104 statistics & probability, Human–computer interaction, 0502 economics and business, Recommender systems, 0101 mathematics, Agent architecture, computer.programming_language, 050210 logistics & transportation, Context model, Social network, business.industry, Agent-based simulations, Multi-agent system, 05 social sciences, Cognition, Multi-agents Systems, BDI architecture, Artificial intelligence, business, computer
Abstract

International audience; In this paper, a simulation of a multi-agent recommender system is presented and developed in the NetLogo platform. The specification of this recommender system is based on the well known Belief-Desire-Intention agent architecture applied to multi-context systems, extended with contexts foradditional reasoning abilities, especially social ones. The main goal of this simulation study is, besides illustrating the usefulness and feasibility of our agent-based recommender system in a realistic scenario, to understand how groups of agents behave in a social network compared to individual agents. Results show that agents within a social network have better collective performance than individual ones. The utility and the satisfaction of agents is increased by the exchange of messages when executing intentions

Published
2016
Full Text
View/download PDF

5. Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach

Author

Nhan Le-Thanh, Thi-Hoa-Hue Nguyen, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Ngoc Thanh Nguyen, Bogdan Trawiński, Hamido Fujita, Tzung-Pei Hong, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Springer Books, Lecture Notes in Artificial Intelligence, Nguyen N.T., Trawiński B., Fujita H., Hong TP., Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Correctness, Computer science, 0102 computer and information sciences, 02 engineering and technology, Ontology (information science), 01 natural sciences, Workflow engine, SPARQL, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], World Wide Web, Event-driven process chain, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Representation (mathematics), Axiom, OWL DL, business.industry, 020208 electrical & electronic engineering, Ver- ification, [INFO.INFO-WB]Computer Science [cs]/Web, Verification, computer.file_format, Workflow, 010201 computation theory & mathematics, Business Workflow, Software engineering, business, computer
Abstract

International audience; High quality business workflow definitions play an important role in the organization. An incorrectly defined workflow may lead to unexpected results. Therefore, each business workflow definition should be carefully analyzed before it is put into use. In this paper, we introduce an ontological approach which is suitable for ensuring the syntactic cor-rectness of business workflows. In details, we first introduce the CPN Ontology that is developed for representing CPNs with OWL DL. Then, we define axioms, which are added to the CPN Ontology to provide automated support for establishing the correctness of business workflows. Finally, by relying on the CORESE semantic engine, SPARQL queries are implemented to detect shortcomings in concrete workflows. To the best of our knowledge, this is a novel approach for representing and verifying business workflows based on ontologies.

Published
2016
Full Text
View/download PDF

6. An Ontology-based Approach for Business Process Compliance Checking

Author

Nhan Le Thanh, Tuan Anh Pham, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Sungkyunkwan University, Korea and Universiti Kuala Lumpur, Malaysia, Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Business process, business.industry, Computer science, Business rule, Artifact-centric business process model, [INFO.INFO-WB]Computer Science [cs]/Web, 02 engineering and technology, Business process modeling, computer.software_genre, Business Process Compliance, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Business Process Model and Notation, Business process discovery, Business process management, Ontology Reasoning, 020204 information systems, Business Rule, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Semantics of Business Vocabulary and Business Rules, Data mining, business, Software engineering, computer
Abstract

International audience; The early detection of flaws and errors has become a significant feature of a business process modeling tool. This paper proposes an ontology-based approach for business process compliance checking. The business processes and the business rules are represented in a machine understandable form, a reasoner is used to reason on this knowledge base for detecting the potential semantic error by using a set of predefined rules.

Published
2016
Full Text
View/download PDF

7. Semantic Web Approach to Ease Regulation Compliance Checking in Construction Industry

Author

Catherine Faron-Zucker, Alain Zarli, Nhan Le Thanh, Bruno Fies, Khalil Riad Bouzidi, Centre Scientifique et Technique du Bâtiment (CSTB), Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
assisted checking, Computer Networks and Communications, Computer science, ontology, semantic web, knowledge management, building industry, e-regulations, rule based system, 0211 other engineering and technologies, Rule Interchange Format, 02 engineering and technology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], World Wide Web, Named graph, 021105 building & construction, 0202 electrical engineering, electronic engineering, information engineering, SPARQL, [INFO]Computer Science [cs], Semantics of Business Vocabulary and Business Rules, RDF, Semantic Web, computer.programming_language, lcsh:T58.5-58.64, business.industry, Semantic Web Rule Language, lcsh:Information technology, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], computer.file_format, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 020201 artificial intelligence & image processing, Software engineering, business, computer, RDF query language
Abstract

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area, covering products, components and project implementations. They also play an important role in ensuring the quality of a building, and to minimize its environmental impact. Control or conformance checking are becoming more complex every day, not only for industrials, but also for organizations charged with assessing the conformity of new products or processes. This paper will detail the approach taken by the CSTB (Centre Scientifique et Technique du Bâtiment) in order to simplify this conformance control task. The approach and the proposed solutions are based on semantic web technologies. For this purpose, we first establish a domain-ontology, which defines the main concepts involved and the relationships, including one based on OWL (Web Ontology Language) [1]. We rely on SBVR (Semantics of Business Vocabulary and Business Rules) [2] and SPARQL (SPARQL Protocol and RDF Query Language) [3] to reformulate the regulatory requirements written in natural language, respectively, in a controlled and formal language. We then structure our control process based on expert practices. Each elementary control step is defined as a SPARQL query and assembled into complex control processes “on demand”, according to the component tested and its semantic definition. Finally, we represent in RDF (Resource Description Framework) [4] the association between the SBVR rules and SPARQL queries representing the same regulatory constraints.

Published
2012
Full Text
View/download PDF

8. Decomposition-based reasoning for large knowledge bases in description logics

Author

Nhan Le-Thanh, Thi Anh Le Pham, Peter T. Sander, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

Subjects
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Knowledge Base, Theoretical computer science, Deductive reasoning, Opportunistic reasoning, Knowledge representation and reasoning, Computer science, 02 engineering and technology, Model-based reasoning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Theoretical Computer Science, Description logic, Artificial Intelligence, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Non-monotonic logic, Reasoning system, Description Logic Reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science Applications, Qualitative reasoning, Computational Theory and Mathematics, Overlap ontology decomposition, Reasoning Algorithm, 020201 artificial intelligence & image processing, Software
Abstract

International audience; Reasoning in a Knowledge Base (KB) is one of the most important applications of Description Logic (DL) reasoners. The execution time and storage space requirements are both significant factors that directly influence the performance of a reasoning algorithm. In this paper, we investigate a new technique for optimizing DL reasoning in order to minimize the above two factors as much as possible. This technique is applied to speed up TBox and ABox reasoning, especially for large TBoxes. The incorporation of this technique with previous optimization techniques in current DL systems can effectively solve intractable inferences. Our technique is called "overlap ontology decomposition", in which the decomposition of a given ontology into many sub-ontologies is implemented such that the semantics and inference services of the original ontology are preserved. We are concerned about how to reason effectively with multiple KBs and how to improve the efficiency of reasoning over component ontologies.

Published
2008
Full Text
View/download PDF

9. Ontology-based workflow validation

Author

Thi-Hoa-Hue Nguyen, Nhan Le Thanh, Tuan Anh Pham, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Can Tho University, Can Tho, Vietnam, Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Correctness, Computer science, Windows Workflow Foundation, 02 engineering and technology, computer.software_genre, Workflow engine, Workflow, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Workflow technology, XPDL, Workflow verification, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Database, Ontology, business.industry, InformationSystems_INFORMATIONSYSTEMSAPPLICATIONS, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], 020201 artificial intelligence & image processing, Software engineering, business, computer, Workflow Management Coalition, Coloured Petri Net, Workflow management system
Abstract

International audience; In order to ensure a workflow to be executed correctly, many approaches were introduced. But not many of them consider the semantic correctness of the workflow in the design time and the run time. In this paper, a solution to check the semantic correctness of the workflow automatically is presented. To do that, the workflow must be represented in a machine understandable form, an ontology-based approach to represent a workflow is proposed. In addition, we also provide a set of changed operations allowing the users to customize a workflow for using in their organizations. Their change can be made while ensuring the correctness of the workflow. Moreover, a verification method is proposed for checking the semantic correctness of workflow.

Published
2015
Full Text
View/download PDF

10. Coloured Petri Nets-based Approach for Manipulating RDF Data

Author

Thi-Hoa-Hue Nguyen, Nhan Le Thanh, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)

Subjects
Knowledge base, RDF Data manipulation, 020204 information systems, 021105 building & construction, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, CPN, OWL DL ontology, RDF, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract

International audience; This paper introduces a solution for controlling RDF data manipulation operations. We propose a formal approach to manage any modification, query or adaptation of the data to satisfy end-user/application criteria (e.g., RDF filtering). An overview of the RDF data manipulation framework with its main components is first presented. We then introduce the RDF-oriented Composition Definition Language (RDFCDL) including the syntax and its graphical representations defined based on CPNs. The language aims to support both expert and non-expert developers to create/compose RDF manipulation operations. Besides, an ontology for representing processes modelled with the RDFCDL language is developed in order to share and reuse the processes more easily. To the best of our knowledge, this is the first approach providing a means for end-users to create activity nodes over RDF data based upon system-defined functions and allowing manipulating processes to be stored in RDF file format.

Published
2014

11. An Ontology-Enabled Approach for Modelling Business Processes

Author

Nhan Le-Thanh, Thi-Hoa-Hue Nguyen, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Stanislaw Kozielski, Dariusz Mrozek, Pawel Kasprowski, Bożena Małysiak-Mrozek, Daniel Kostrzewa, Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Knowledge management, OWL DL Ontology, business.industry, Business process, Business rule, Artifact-centric business process model, Computer science, 020207 software engineering, 02 engineering and technology, Business process modeling, Workflow engine, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Business Process Model and Notation, Workflow, Representing, Event-driven process chain, 020204 information systems, Business Process, 0202 electrical engineering, electronic engineering, information engineering, Manipulation Operation, CPN, Software engineering, business
Abstract

International audience; Coloured Petri Nets (CPNs) have formal semantics and can describe any type of workflow system, behavioral and syntax wise simultaneously. They are widely studied and successfully applied in modelling of workflows and workflow systems. There is an inherent problem regarding business processes modelled with CPNs sharing and subsequently their reuse need to be considered. The Semantic Web technologies, such as ontologies, with their characteristics demonstrate that they can play an important role in this scenario. In this paper, we propose an ontological approach for representing business models in a meta-knowledge base. Firstly, the CPN ontology is defined to represent CPNs with OWL DL. Secondly, we introduce four basic types of manipulation operations on process models used to develop and modify business workflow patterns. To the best of our knowledge, representing business process definitions and business workflow patterns as knowledge based upon ontologies is a novel approach.

Published
2014
Full Text
View/download PDF

12. Representation of RDF-Oriented Composition with OWL DL Ontology

Author

Thi-Hoa-Hue Nguyen, Nhan Le-Thanh, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Prof. Rosario Girardi, Dr. Lucelene Lopes, Prof. Renata Vieira, Lisa O'Conner, Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)

Subjects
representation, computer.internet_protocol, Computer science, RDF Schema, InformationSystems_INFORMATIONSTORAGEANDRETRIEVAL, 02 engineering and technology, Ontology (information science), computer.software_genre, RDF/XML, OWL DL ontology, OWL-S, RDF, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], RDFNet, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Axiom, computer.programming_language, business.industry, Semantic Web Rule Language, Web Ontology Language, computer.file_format, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, Coloured Petri Net, Natural language processing
Abstract

International audience; This paper introduces a solution for representing RDF-oriented compositions with OWL DL ontologies. Firstly, we present an overview of RDF-oriented Composition Definition Language (RDFCDL), which is defined for creating/composing RDF manipulation operations. Secondly, we propose an approach for representing RDFNet with OWL DL ontology. We focus on translating some key components of the RDFCDL language into classes, properties and axioms of OWL DL ontology.

Published
2013
Full Text
View/download PDF

13. Challenges in Bridging Social Semantics and Formal Semantics on the Web

Author

Andrea G. B. Tettamanzi, Serena Villata, Catherine Faron-Zucker, Peter T. Sander, Nhan Le Thanh, Alain Giboin, Fabien Gandon, Michel Buffa, Olivier Corby, Elena Cabrio, Isabelle Mirbel, Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Hammoudi, S. and Cordeiro, J. and Maciaszek, L.A. and Filipe, J., Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
FOS: Computer and information sciences, Web standards, medicine.medical_specialty, Knowledge representation and reasoning, Computer Science - Artificial Intelligence, Computer science, Formal semantics (linguistics), 02 engineering and technology, Social web, semantic web, social web, knowledge representation, ontologies, Social Semantic Web, Computer Science - Information Retrieval, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], World Wide Web, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, medicine, Semantic Web Stack, Semantic Web, business.industry, Artificial Intelligence (cs.AI), 020201 artificial intelligence & image processing, business, Web modeling, Information Retrieval (cs.IR)
Abstract

International audience; This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics. The approaches introduced here rely on graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The re-search results are applied to support and foster interactions in online communities and manage their resources.

Published
2013

14. Multimodal Approach for Emotion Recognition Using a Formal Computational Model

Author

Chokri Ben Amar, Imen Tayari Meftah, Nhan Le Thanh, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Département de Génie Électrique de Sfax [ENIS] (CEM Lab - ENIS), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Computer science, Speech recognition, component-Emotion recognition, multidimensional model, 02 engineering and technology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, ComputerApplications_MISCELLANEOUS, Credibility, 0202 electrical engineering, electronic engineering, information engineering, multimodal approach, [INFO]Computer Science [cs], Emotion recognition, Facial expression, Modalities, business.industry, 020206 networking & telecommunications, Multimodal therapy, Multidimensional model, State of art, Signal processing algorithms, 020201 artificial intelligence & image processing, Artificial intelligence, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], business, algebraic representation
Abstract

Emotions play a crucial role in human-computer interaction. They are generally expressed and perceived through multiple modalities such as speech, facial expressions, physiological signals. Indeed, the complexity of emotions makes the acquisition very difficult and makes unimodal systems (i.e., the observation of only one source of emotion) unreliable and often unfeasible in applications of high complexity. Moreover the lack of a standard in human emotions modeling hinders the sharing of affective information between applications. In this paper, the authors present a multimodal approach for the emotion recognition from many sources of information. This paper aims to provide a multi-modal system for emotion recognition and exchange that will facilitate inter-systems exchanges and improve the credibility of emotional interaction between users and computers. The authors elaborate a multimodal emotion recognition method from Physiological Data based on signal processing algorithms. The authors’ method permits to recognize emotion composed of several aspects like simulated and masked emotions. This method uses a new multidimensional model to represent emotional states based on an algebraic representation. The experimental results show that the proposed multimodal emotion recognition method improves the recognition rates in comparison to the unimodal approach. Compared to the state of art multimodal techniques, the proposed method gives a good results with 72% of correct.

Published
2013
Full Text
View/download PDF

15. Detecting depression using multimodal approach of emotion recognition

Author

Nhan Le Thanh, Chokri Ben Amar, Imen Tayari Meftah, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Université de Sfax - University of Sfax, and IEEE

Subjects
Speech recognition, Early detection, 050109 social psychology, 02 engineering and technology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Computer vision, Emotion recognition, Algebra over a field, Depression (differential diagnoses), Facial expression, business.industry, Pain and suffering, 05 social sciences, Multimodal therapy, multimodal emotion recognition, physiological signal, Algebraic model, depression detection, 020201 artificial intelligence & image processing, Artificial intelligence, business, Psychology
Abstract

International audience; Depression is a growing problem in our society. It causes pain and suffering not only to patients but also to those who care about them. This paper presents a multimodal emotion recognition system that is capable of preventing depression. It consists of detecting persistent negative emotions for early detection of depression. Our proposal is based on an algebraic representation of emotional states using multidimensional vectors. This algebraic model provides powerful mathematical tools for the analysis and the processing of emotions and permits the fusion of complementary information such as facial expression, voice, physiological signals, etc. Experiments results show the efficiency of the proposed method in detecting negative emotions by giving high recognition rate.

Published
2012
Full Text
View/download PDF

16. Multimodal Approach for Emotion Recognition Using an Algebraic Representation of Emotional States

Author

Chokri Ben Amar, Nhan Le Thanh, Imen Tayari Meftah, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Université de Sfax - University of Sfax, and IEEE

Subjects
Computer science, media_common.quotation_subject, Emotion classification, 02 engineering and technology, Anger, Physiological signals, emotional state algebraic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, ComputerApplications_MISCELLANEOUS, 0202 electrical engineering, electronic engineering, information engineering, multimodal approach, Computer vision, media_common, Facial expression, Modalities, business.industry, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], 020206 networking & telecommunications, Infinity, Sadness, Algebra representation, 020201 artificial intelligence & image processing, Emotion recognition, Artificial intelligence, business, Cognitive psychology, Gesture
Abstract

International audience; Emotions play a key role in human-computer interaction. They are generally expressed through several ways (e.g. facial expressions, speech, body postures and gestures, etc). In this paper, we present a multimodal approach for the emotion recognition that integrates information coming from different cues and modalities. It is based on a formal multidimensional model using an algebraic representation of emotional states. This multidimensional model provides to represent infinity of emotions and provide powerful mathematical tools for the analysis and the processing of these emotions. It permits to estimate the human emotional state through combining information from different modalities (e.g. facial expressions, speech, body postures and gestures, etc) in order to allow more reliable estimation of emotional states. Our proposal permits to recognize not only the basic emotions (e.g., anger, sadness, fear) but also different types of complex emotions like simulated and masked emotions. Experimental results show how the proposed approach increase the recognition rates in comparison with the unimodal approach.

Published
2012
Full Text
View/download PDF

17. Multimodal recognition of emotions using a formal computational model

Author

Chokri Ben Amar, Nhan Le Thanh, Imen Tayari Meftah, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Université de Sfax - University of Sfax, and IEEE

Subjects
Facial expression, Modalities, Speech recognition, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], 05 social sciences, Feature extraction, 020206 networking & telecommunications, 050109 social psychology, 02 engineering and technology, Physiological signals, Speaker recognition, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Multidimensional model, Vectorial representation, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, ComputerApplications_MISCELLANEOUS, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Emotion recognition, State (computer science), Psychology, Gesture
Abstract

International audience; In this paper, we present a multimodal approach for the emotion recognition that takes into account more sources of information (physiological signals, facial expressions, speech, etc). This approach is based on an algebraic representation of emotional states using multidimensional vectors. This multidimensional model provides a powerful mathematical tools for the analysis and the processing of emotions. It permits to integrate information from different modalities (speech, facial expressions, gestures) in order to allow more reliable estimation of emotional states. Indeed, our proposal aims at efficient recognition of emotional state even when it appear to be superposed or masked.

Published
2012
Full Text
View/download PDF

18. Emotion Recognition Using KNN Classification for User Modeling and Sharing of Affect States

Author

Imen Tayari Meftah, Chokri Ben Amar, Nhan Le Thanh, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), REsearch Group in Intelligent Machines [Sfax] (REGIM-Lab), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Springer, Berlin, Heidelberg, Huang, T., Zeng, Z., Li, C., and Leung, C.S.

Subjects
Computer science, media_common.quotation_subject, Speech recognition, User modeling, Emotion classification, 05 social sciences, KNN, 050109 social psychology, 02 engineering and technology, Anger, physiological signals, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Sadness, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], emotion recognition, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, [INFO]Computer Science [cs], Emotion recognition, Classifier (UML), media_common
Abstract

International audience; In this study, we propose a new method of recognizing emotional states from physiological signals. Our proposal uses signal processing techniques to analyze physiological signals. It permits to recognize not only the basic emotions (e.g., anger, sadness, fear) but also any kind of complex emotion, including simultaneous superposed or masked emotions. This method consists of two main steps: the training step and the detection step. In the First step, our algorithm extracts the features of emotion from the data to generate an emotion training data base. Then in the second step, we apply the k-nearest-neighbor classifier to assign the predefined classes to instances in the test set. The final result is defined as an eight components vector representing emotion in multidimensional space. Experiments show the efficiency of the proposed method in detecting basic emotion by giving hight recognition rate.

Published
2012
Full Text
View/download PDF

19. Abductive Reasoning for Semantic Matchmaking with Modular Ontologies

Author

Viet-Hoang Vu, Nhan Le-Thanh, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Springer books, Abraham, A., Corchado Rodríguez, J.M., Rodríguez González, S., and de Paz Santana, J.F.

Subjects
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Service (systems architecture), Theoretical computer science, Process (engineering), Computer science, Inference, package-based description logics, distributed ontology, 02 engineering and technology, Task (project management), [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], semantic matchmaking, Description logic, [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, tableaux-based methods, abductive reasoning, business.industry, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Modular design, Semantic matchmaking, Abductive reasoning, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 020201 artificial intelligence & image processing, business
Abstract

International audience; Semantic matchmaking is defined as a process of finding possible matches between requests and supplies based on their logical relations. Recently, attempts have been done to formalize this process in Description Logics (DLs). We extend this formalization to Packages-based Description Logics (P-DLs), the extensions of DLs for distributed and modular ontologies, for allowing the description of demands and offers to be represented in different terminologies. To support this task, we develop a distributed tableaux-based method for computing concept abduction, a non-monotonic inference service specifically proposed for this kind of operation.

Published
2011

20. Knowledge capitalisation and organisation for conformance checking model in construction

Author

Nhan Le Thanh, Catherine Faron-Zucker, Alain Zarli, Anastasiya Yurchyshyna, Centre Scientifique et Technique du Bâtiment (CSTB), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

Subjects
Knowledge management, Knowledge representation and reasoning, Computer science, 0211 other engineering and technologies, Scheduling (production processes), 02 engineering and technology, Conformance checking, conformance queries, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Tacit knowledge, 021105 building & construction, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], ontology, knowledge organisation, conformance constraints, explicit knowledge, business.industry, conformance checking models, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], expert knowledge representation, tacit knowledge, construction projects, conformance requirements, matching graph representations, Knowledge organisation, knowledge capitalisation, Ontology, 020201 artificial intelligence & image processing, Explicit knowledge, Software engineering, business
Abstract

International audience; This paper presents an ontological method aimed at the capitalisation and organisation of conformance-related knowledge for semi-automatic checking model of the conformance of construction projects against a set of conformance requirements. We start by developing a method for knowledge representation of explicit knowledge taking part in checking, and capitalisation of tacit knowledge defining checking practices. Then we explain our approach for classification, organisation and retrieval of conformance requirements and propose an approach for scheduling these requirements to optimise the checking process. Finally, we introduce our reasoning model that is based on matching graph representations of construction projects and conformance queries, and interpret the acquired results in terms of conformance checking in construction. To validate our approach, we describe a prototype illustrating its feasibility, and discuss ongoing works and perspectives of our research.

Published
2010

21. Modeling ORM Schemas in Description Logics

Author

Thi Dieu Thu Nguyen, Nhan Le Thanh, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Springer London, Loureiro G., and Curran R.

Subjects
Relational database, Computer science, 02 engineering and technology, computer.software_genre, Semantics, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], semantic web, Description logic, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Semantic Web Stack, Semantic Web, computer.programming_language, description logics (DLs), business.industry, 05 social sciences, 050301 education, InformationSystems_DATABASEMANAGEMENT, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Web Ontology Language, object role modeling (ORM), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Feature (linguistics), Information integration, web ontology language, Artificial intelligence, business, 0503 education, computer, Natural language processing
Abstract

International audience; In recent years, there has been a growing interest in integration of semantics into the Semantic Web environment, whose goal is to access, relate and combine information from multiple sources. With regard to this tendency, our work studies a mechanism to model ORM schemas in the Description Logic language SHOINK (D), the underpinning of a Web ontology language. This mechanism meets the key feature required by ORM schemas (i.e. identification and functional dependency constraints). It can be applied to integrate information not only from systems described in ORM schemas but also from relational databases into the Semantic Web environment.

Published
2007
Full Text
View/download PDF

22. Some approaches of ontology Decomposition in Description Logics

Author

Thi Anh Le Pham, Peter Sander, Nhan Le-Thanh, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Springer London, Loureiro G., and Curran R.

Subjects
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Theoretical computer science, Computation, Process ontology, Ontology-based data integration, Computer Science::Information Retrieval, Graph partitioning, Graph partition, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, Image segmentation, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Description logic, 010201 computation theory & mathematics, ontology decomposition, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], image segmentation, Eigenvalues and eigenvectors, Axiom, Mathematics
Abstract

International audience; In this paper, we investigate the problem of decomposing an ontology in Description Logics (DLs) based on graph partitioning algorithms. Also, we focus on syntax features of axioms in a given ontology. Our approach aims at decomposing the ontology into many sub-ontologies that are as distinct as possible. We analyze the algorithms and exploit parameters of partitioning that influence the efficiency of computation and reasoning. These parameters are the number of concepts and roles shared by a pair of sub-ontologies, the size (the number of axioms) of each sub-ontology, and the topology of decomposition. We provide two concrete approaches for automatically decomposing the ontology, one is called partitioning based on minimal separator, and the other is segmenting based on eigenvectors and eigenvalues.

Published
2007
Full Text
View/download PDF

23. Constructing Metrics for Evaluating Multi-Relational Association Rules in the Semantic Web from Metrics for Scoring Association Rules

Author

Andrea G. B. Tettamanzi, Nguyen Thanh Binh, Tran Duc Minh, Claudia d'Amato, Thang Long University, University of Bari Aldo Moro (UNIBA), Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), The university of Danang, Marc Bui, Nhan Le Thanh, Hung Võ Trùng, Università degli studi di Bari Aldo Moro = University of Bari Aldo Moro (UNIBA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
Association rule learning, business.industry, Computer science, Evolutionary algorithm, Ontology (information science), computer.software_genre, Description Logics, Inductive programming, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Knowledge-based systems, Description logic, Metric (mathematics), Pattern Discovery, Evolutionary Algorithms, Artificial intelligence, business, Semantic Web, computer, Natural language processing
Abstract

International audience; We propose a method to construct asymmetric metrics for evaluating the quality of multi-relational association rules coded in the form of SWRL rules. These metrics are derived from metrics for scoring association rules. We use each constructed metric as a fitness function for evolutionary inductive programming employed to discover hidden knowledge patterns (represented in SWRL) from assertional data of ontological knowledge bases. This new knowledge can be integrated easily within the ontology to enrich it. In addition, we also carry out a search for the best metric to score candidate multi-relational association rules in the evolutionary approach by experiment. We performed experiments on three publicly available ontologies validating the performances of our approach and comparing them with the main state-of-the-art systems.

Published
2019
Full Text
View/download PDF

24. Hardware and software architecture of an emotions detection system using physiological signals. Application to the musical mnemotherapy

Author

Koné, Chaka, Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Côte d'Azur, Cécile Belleudy, and Nhan Le Thanh

Subjects
Noeuds de capteurs, Estimation de la consommation d'énergie, Physiological signals, Sensor nodes, Multimodal approach, Signals fusion, Exploration d'architecture, [SPI.TRON]Engineering Sciences [physics]/Electronics, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Automatic detection of emotions, Détection automatique des émotions, Energy consumption estimation, Fusion des signaux, Design space exploration, Signaux physiologiques, Approche multimodale
Abstract

This thesis work is part of the field of affective computing and more specifically artificial intelligence and architectural exploration. The goal of this work is to design a complete system of emotions detection using physiological signals. This work is therefore situated at the intersection of computer science for the definition of algorithm of detection of emotions and electronics for the development of an architecture exploration methodology for the design of sensor nodes. At first, algorithms for multimodal and instantaneous detection of emotions were defined. Two algorithms of classification KNN then SVM, were implemented and made it possible to obtain a recognition rate of the emotions higher than 80%. To design such a battery-powered system, an analytical model for estimating the power consumption at high level of abstraction has been proposed and validated on a real platform. To consider user constraints, a connected object architecture design and simulation tool for health has been developed, allowing the performance of systems to be evaluated prior to their design. Then, we used this tool to propose a hardware/software architecture for the collection and the processing of the data satisfying the architectural and applicative constraints. With this architecture, experiments have been conducted for musical Mnemotherapy. EMOTICA is a complete system for emotions detection using physiological signals satisfying the constraints of architecture, application and user.; Ce travail de thèse s’inscrit dans le domaine de l’informatique affective et plus précisément de l’intelligence artificielle et de l’exploration d’architecture. L’objectif de ce travail est de concevoir un système complet de détection des émotions en utilisant des signaux physiologiques. Ce travail se place donc à l’intersection de l’informatique pour la définition d’algorithme de détection des émotions et de l’électronique pour l’élaboration d’une méthodologie d’exploration d’architecture et pour la conception de nœuds de capteurs. Dans un premier temps, des algorithmes de détection multimodale et instantanée des émotions ont été définis. Deux algorithmes de classification KNN puis SVM, ont été implémentés et ont permis d’obtenir un taux de reconnaissance des émotions supérieurs à 80%. Afin de concevoir un tel système alimenté sur pile, un modèle analytique d’estimation de la consommation à haut niveau d’abstraction a été proposé et validé sur une plateforme réelle. Afin de tenir compte des contraintes utilisateurs, un outil de conception et de simulation d’architecture d’objets connectés pour la santé a été développé, permettant ainsi d’évaluer les performances des systèmes avant leur conception. Une architecture logicielle/matérielle pour la collecte et le traitement des données satisfaisant les contraintes applicatives et utilisateurs a ainsi été proposée. Doté de cette architecture, des expérimentations ont été menées pour la Mnémothérapie musicale. EMOTICA est un système complet de détection des émotions utilisant des signaux physiologiques satisfaisant les contraintes d’architecture, d’application et de l’utilisateur.

Published
2018

25. Architecture logicielle et matérielle d'un système de détection des émotions utilisant les signaux physiologiques. Application à la mnémothérapie musicale

Author

Koné, Chaka, Laboratoire d'Electronique, Antennes et Télécommunications (LEAT), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Côte d'Azur, Cécile Belleudy, and Nhan Le Thanh

Subjects
Noeuds de capteurs, Estimation de la consommation d'énergie, Physiological signals, Sensor nodes, Multimodal approach, Signals fusion, Exploration d'architecture, [SPI.TRON]Engineering Sciences [physics]/Electronics, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Automatic detection of emotions, Détection automatique des émotions, Energy consumption estimation, Fusion des signaux, Design space exploration, Signaux physiologiques, Approche multimodale
Abstract

This thesis work is part of the field of affective computing and more specifically artificial intelligence and architectural exploration. The goal of this work is to design a complete system of emotions detection using physiological signals. This work is therefore situated at the intersection of computer science for the definition of algorithm of detection of emotions and electronics for the development of an architecture exploration methodology for the design of sensor nodes. At first, algorithms for multimodal and instantaneous detection of emotions were defined. Two algorithms of classification KNN then SVM, were implemented and made it possible to obtain a recognition rate of the emotions higher than 80%. To design such a battery-powered system, an analytical model for estimating the power consumption at high level of abstraction has been proposed and validated on a real platform. To consider user constraints, a connected object architecture design and simulation tool for health has been developed, allowing the performance of systems to be evaluated prior to their design. Then, we used this tool to propose a hardware/software architecture for the collection and the processing of the data satisfying the architectural and applicative constraints. With this architecture, experiments have been conducted for musical Mnemotherapy. EMOTICA is a complete system for emotions detection using physiological signals satisfying the constraints of architecture, application and user.; Ce travail de thèse s’inscrit dans le domaine de l’informatique affective et plus précisément de l’intelligence artificielle et de l’exploration d’architecture. L’objectif de ce travail est de concevoir un système complet de détection des émotions en utilisant des signaux physiologiques. Ce travail se place donc à l’intersection de l’informatique pour la définition d’algorithme de détection des émotions et de l’électronique pour l’élaboration d’une méthodologie d’exploration d’architecture et pour la conception de nœuds de capteurs. Dans un premier temps, des algorithmes de détection multimodale et instantanée des émotions ont été définis. Deux algorithmes de classification KNN puis SVM, ont été implémentés et ont permis d’obtenir un taux de reconnaissance des émotions supérieurs à 80%. Afin de concevoir un tel système alimenté sur pile, un modèle analytique d’estimation de la consommation à haut niveau d’abstraction a été proposé et validé sur une plateforme réelle. Afin de tenir compte des contraintes utilisateurs, un outil de conception et de simulation d’architecture d’objets connectés pour la santé a été développé, permettant ainsi d’évaluer les performances des systèmes avant leur conception. Une architecture logicielle/matérielle pour la collecte et le traitement des données satisfaisant les contraintes applicatives et utilisateurs a ainsi été proposée. Doté de cette architecture, des expérimentations ont été menées pour la Mnémothérapie musicale. EMOTICA est un système complet de détection des émotions utilisant des signaux physiologiques satisfaisant les contraintes d’architecture, d’application et de l’utilisateur.

Published
2018

Catalog

Books, media, physical & digital resources
See catalog results