Search results for "artificial intelligence"
showing 10 items of 6122 documents
How to Enrich Description Logics with Fuzziness
2017
International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.
Attempts to produce minimal Resolution refutations
2018
We address the challenge of searching minimal refutations proofs of inconsistent CNF formulae using the Resolution rule. We propose two algorithms which can only afford formulae of at most 5 variables with a desktop computer. A faster but incomplete algorithm is used to produce "hard" 5 variables 3CNF formulae though a stochastic greedy search. It allowed us to find formulae that can be refuted by producing clauses of at most 3 literals, but whose all minimal refutations contain at least one clause of 4 literals.
Propagation d'informations le long d'une ligne de transmission non linéaire structurée en super réseau et simulant un neurone myélinisé
2019
Non-linear systems are almostly described by partial differential equations that characterize them. We have some systems such as the chain of coupled pebdelums, the protein chain comprising molecules with hydrogen bonds, atomic lattice, and so on .These systems are most often characterized by anharmonic inter particulate interactions and and then immersed in deformable potential substrates. In addition to nonlinearity and dispersion, these other phenomena namely anharmonicity and deformability are responsible for certain properties of propagation of solitary waves such as (compactons, kinks and anti-kinks, peackons, ...etc) and also the ability of the systems to transmit a signal . We used …
Customizing Semantic Profiling for Digital Advertising
2014
International audience; Personalization is the new magic buzzword of application development. To make the complexity of today's application functionalities and information spaces "digestible", customization has become the new go-to technique. But while those technologies aim to ease the consumption of media for their users, they suffer from the same problematic: in the age of Big Data, applications have to cope with a conundrum of heterogeneous information sources that have to be perceived, processed and interpreted. Researchers tend to aim for a maximum degree of integration to create the perfect, all-embracing personalization. The results are wide-range, but overly complex systems that su…
Enhancement and assessment of WKS variance parameter for intelligent 3D shape recognition and matching based on MPSO
2016
This paper presents an improved wave kernel signature (WKS) using the modified particle swarm optimization (MPSO)-based intelligent recognition and matching on 3D shapes. We select the first feature vector from WKS, which represents the 3D shape over the first energy scale. The choice of this vector is to reinforce robustness against non-rigid 3D shapes. Furthermore, an optimized WKS-based method for extracting key-points from objects is introduced. Due to its discriminative power, the associated optimized WKS values with each point remain extremely stable, which allows for efficient salient features extraction. To assert our method regarding its robustness against topological deformations,…
Drivers-Inspired Ants for Solving the Vehicle Routing Problem with Time Windows
2016
International audience; In our study, we develop a method that merges two information sources within ants colony optimization heuristic. Namely artificial ants which occurs for short term optimization and transporter's vehicles that occurs in long term and continuous optimization toward solving the real-world vehicle routing problem. This study is supported by a transporter (Upsilon) of the region of l'Yonne in France and a transport and logistics software development company (Tedies). Our method suits for transporters that use human planners to make decisions about their tours and intending to move to computer planners without drastically upsetting the drivers habits. Hence, the pledge of …
Utilisation De La Conduite En Convoi Pour La Conception De Nouveau Systèmes De Transports Innovants Pour La Livraison De Marchandises Dans Les Centre…
2017
International audience
Semantically Adapting IFC Model Relations into OWL Properties
2015
International audience
Towards the Agent-Based Simulation of Unmanned Aerial Vehicles in a 3d Environment
2017
International audience
Formal Ontology for Knowledge Management in Archaeology
2011
pas de résumé