Faiza Khellaf-Hamed
Les publications de Faiza Khellaf-Hamed :
Les livres
Aucun ouvrage lié à cet auteur.Les articles
Représentation de la c-révision à base de la logique des pénalités
Auteurs : Safia Laaziz, Younes Zeboudj, Salem Benferhat, Faiza Khellaf-HamedLa révision des croyances consiste à modifier un état épistémique après l'arrivée de nouvelles informations. Dans cet article, nous nous concentrons sur le problème de la révision itérative multiple des croyances appelée la c-révision. Les états épistémiques sont représentés dans le cadre des fonctions ordinales conditionnelles. La nouvelle information de la c-révision est representée par un ensemble consistant de formules pondérées. Nous montrons que la c-révision a un lien très naturel avec la logique des pénalités.
LFA 2018 - Rencontres francophones sur la Logique Floue et ses Applications
Auteur : Collectif LFAContributeurs : Luc Jaulin, Matthias C. M. Troffaes, Véronique Cherfaoui, Olivier Pivert, Henri Prade, Grégory Smits, Pierre Nerzic, Olivier Pivert, Marie-Jeanne Lesot, Laurent Foulloy, Lamia Berrah , Vincent Clivillé, Christophe Marsala, Anne Laurent, Marie-Jeanne Lesot, Maria Rifqi, Arnaud Castelltort, Sarra Saied, Zied Elouedi, Siwar Jendoubi, Didier Coquin, Reda Boukezzoula, Arthur Guillon , Marie-Jeanne Lesot, Christophe Marsala, Grégory Smits, Olivier Pivert, Toan Ngoc Duong, Yonatan-Carlos Carranza-Alarcon, Sébastien Destercke, Sébastien Ramel, Frédéric Pichon, François Delmotte, Emmanuel Ramasso, Vincent Placet, Nadia Ben Abdallah, Anne-Laure Jousselme, Frédéric Pichon, Didier Dubois, Francis Faux, Henri Prade, Agnès Rico, Constance Thierry, Jean-Christophe Dubois, Yolande le Gall, Arnaud Martin, Malika Ben Khalifa, Zied Elouedi, Éric Lefevre, Thomas Laurain, Jimmy Lauber, Reinaldo Palhares, Dhouha Kharrat, Hamdi Gassara, Ahmed El Hajjaji, Mohamed Chaabane, Sofiane Bououden, Mohammed Chadli, Ilyes Boulkaibet, Thierry Marie Guerra, Mathias Blandeau, Miguel Bernal, Salama Makni, Maha Bouattour, Ahmed El Hajjaji, Mohamed Chaabane, Thi Van Anh Nguyen, Anh Tu Nguyen, Laurent Vermeiren, Antoine Dequidt, Michel Dambrine, Cung Le, Doha El Hellani, Ahmed El Hajjaji, Jérôme Bosche, Laurent Foulloy, Gilles Mauris, Arij Azzabi, Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi, Farid Aiche, Reda Boukezzoula, Sylvie Galichet, Laurent Foulloy, Olivier Strauss, Agnès Rico, Rédina Berkachy, Laurent Donzé, Safia Laaziz, Younes Zeboudj, Salem Benferhat, Faiza Khellaf-Hamed, Didier Dubois, Hélène Fargier, Agnès Rico, Sébastien Destercke, Véronique Cherfaoui, Mylène Masson, Hafida Mouhagir, Sarah Fakih, Cécile L'Héritier, Abdelhak Imoussaten, Sébastien Harispe, Gilles Dusserre, Benoit Roig
Collection : LFA
Rubrique : Données – informatique – I.A. – IHM
Public concerné : Spécialistes
Mots clés : IHM, Informatique, intelligence artificielle, Logique floue, traitement données
Référence : 167733
La négation d'un réseau possibiliste basé sur le minimum
Auteurs : Salem Benferhat, Faiza Khellaf-Hamed, Ismahane ZeddighaLes réseaux possibilistes sont des outils importants pour modéliser le raisonnement sous incertitude. Ils permettent de représenter les connaissances d'une façon compacte en les codifiant par une distribution possibiliste jointe. Dans ce papier, nous nous intéressons à la définition d'un nouveau concept : la négation d'un réseau possibiliste, qui permettra la codification de l'inverse de la distribution possibiliste jointe. Par la suite, nous proposerons un algorithme de propagation pour calculer la distribution de possibilités associée à chaque événement. Notre algorithme est basé sur la construction de l'arbre de jonction associé à la structure initiale. Possibilistic networks are important tools for reasoning under uncertainty. They are compact representations of joint possibility distribution that encode available expert knowledge. In this paper, we are interested in defining the concept of negated possibilistic networks which will encode the reverse of a joint possibility distribution. Then, we propose a propagation algorithm to compute a possibility degree of each event. Our algorithm is based on the junction tree associated with the original graphical structure.
LFA 2012
Auteur : Collectif LFAContributeurs : Inés Couso, Anne Laurent, Éric Benoit, Didier Dubois, Henri Prade, Agnès Rico, Miguel Couceiro, Jean-Luc Marichal, Serge Guillaume, Brigitte Charnomordic, Mouna Boughamsa, Messaoud Ramdani, Nicole El Zoghby, Véronique Cherfaoui, Bertrand Ducourthial, Thierry Denoeux, Mira Bou Farah, David Mercier, Éric Lefevre, François Delmotte, Nadia Ben Abdallah, Nassima Mouhous Voyneau, Thierry Denoeux, David Mercier, Éric Lefevre, Rémus Pusca, Cristian Demian, Raphael Romary, Olivier Pivert, Grégory Smits, Hélène Jaudoin, Allel Hadjali, Didier Dubois, Hélène Fargier, Dominique Guyonnet, Katia Abbaci, Allel Hadjali, Ludovic Liétard, Daniel Rocacher, Matthieu Puyo, Nadine Matton, Stéphane Vautier, Didier Dubois, Henri Prade, Salem Benferhat, Faiza Khellaf-Hamed, Ismahane Zeddigha, Gilles Mauris, Leila Amgoud, Henri Prade, Farid Aiche, Didier Dubois, Afef Denguir, François Trousset, Jacky Montmain, Samia Boulkrinat, Allel Hadjali, Aïcha Mokhtari, Sawsan Kanj, Fahed Abdallah, Thierry Denoeux, Olivier Strauss, Désiré Dro Sidibe, William Puech, Samir Hachour, François Delmotte, Éric Lefevre, David Mercier, John Klein, Jean-Marc Vannobel, Perfecto Malaquias Quintero Flores, Federico Del Razo Lopez, Nicolas Sicard, Anne Laurent, Amal Oudni, Marie-Jeanne Lesot, Maria Rifqi, Reda Boukezzoula, Moheb Elmasry, Sylvie Galichet, Laurent Foulloy, Nicolas Sutton-Charani, Sébastien Destercke, Thierry Denoeux, Mehena Loudahi, John Klein, Jean-Marc Vannobel, Olivier Colot, Felipe Aguirre, Sébastien Destercke, Mohamed Sallak, Walter Schon
Collection : LFA
Rubrique : Données – informatique – I.A. – IHM
Public concerné : Spécialistes
Mots clés : IHM, Informatique, intelligence artificielle, traitement données
Référence : 104716
Algorithme d'inférence pour la logique possibiliste multiagents
Auteurs : Asma Belhadi, Didier Dubois, Faiza Khellaf-Hamed, Henri PradeCet article présente une extension multi-agents de la logique propositionnelle, dont les formules sont des paires (a,A) où a est une formule propositionnelle et A un sous-ensemble d'agents. La formule (a,A) exprime que (au moins) tous les agents dans A croient que a est vraie. Une méthode de réfutation, basée sur un principe de résolution généralisé, utilisant une stratégie linéaire est proposée. Cette stratégie linéaire est ensuite étendue en prenant en compte des degrés de certitude dans des formules de la forme (a, alpha/A) (exprimant que les agents de A sont certains au moins au degré α que a est vrai). Cela permet de généraliser la méthode de réfutation de la logique possibiliste à la logique multi-agents possibiliste. This paper presents a multiple agent extension of classical logic, a logic whose formulas are pairs of the form (a,A), where a is a proposition and A a subset of agents. Formula (a,A) expresses that (at least) all agents in A believe that a is true. A refutation method, based on a generalized resolution principle, using a linear strategy is proposed. This linear strategy is then extended for taking into account certainty degrees in formulas of the form (a, α/A) expressing that all agents in A are certain that a is true at least at level α). This allows us to generalize the refutation method of possibilistic logic to multiple agent possibilistic logic.
LFA 2014
Auteur : Collectif LFAContributeurs : Bernard Fustier, Trevor Martin, Serge Boverie, Paul-Antoine Bisgambiglia, Dominique Urbani, Éric Innocenti, Mohammed Boumediene, Jean-Philippe Lauffenburger, Jérémie Daniel, Christophe Cudel, Liviu-Cristian Duţu, Gilles Mauris, Philippe Bolon, Stéphanie Dabic, Jean-Marc Tissot, Jérôme Dutozia, Karine Emsellem, Christine Voiron-Canicio, Olivier Pivert, Grégory Smits, Aurélien Moreau, Hélène Jaudoin, Ludovic Liétard, Daniel Rocacher, Allel Hadjali, Pierre Nerzic, Grégory Smits, Olivier Pivert, Nahla Ben Amor, Fatma Essghaier, Hélène Fargier, Nahla Ben Amor, Zeineb Elkhalfi, Hélène Fargier, Wided Guezguez, Didier Dubois, Zied Elouedi, Rim Hentech, Henri Prade, Tomáš Kroupa, Bruno Teheux, Gilles Moyse, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier , Grégory Smits, Olivier Pivert, Marie-Jeanne Lesot, Éric Lefevre, Frédéric Pichon, David Mercier, Zied Elouedi, Benjamin Quost, Gen Yang, Sébastien Destercke, Marie-Hélène Masson, Isabelle Bloch, Jamal Atif, Amal Oudni, Marie-Jeanne Lesot, Maria Rifqi, Olivier Strauss, Farès Graba, Frédéric Comby, Benyamine Allouche, Laurent Vermeiren, Antoine Dequidt, Michel Dambrine, Abdelmadjid Cherifi, Laurent Arcese, Kévin Guelton, Victor Estrada-Manzo, Zsofia Lendek, Thierry Marie Guerra, Raymundo Márquez, V. Campos, Thierry Marie Guerra, R. Palhares, Alexandre Kruszewski, Miguel Bernal, AnhTu Nguyen, Antoine Dequidt, Jimmy Lauber, Stefan Janaqi, Sébastien Harispe, Jacky Montmain, Sylvie Ranwez, Safia Bal-Bourai, Aïcha Mokhtari, Didier Dubois, Henri Prade, Agnès Rico, Salem Benferhat, Karim Tabia, Zied Bouraoui, Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakdhar Sais, Oumaima Boussarsar, Imen Boukhris, Zied Elouedi, Nahla Ben Amor, Didier Dubois, Héla Gouider, Henri Prade, Asma Belhadi, Didier Dubois, Faiza Khellaf-Hamed, Faiza Khellaf-Hamed, Henri Prade, Matteo Caglioni, Didier Dubois, Giovanni Fusco
Collection : LFA
Rubrique : Données – informatique – I.A. – IHM
Public concerné : Spécialistes
Mots clés : IHM, Informatique, intelligence artificielle, traitement données, Logique floue
Référence : 115634
Poss SROIQ(D) pour une ontologie géographique sous incertitude
Auteurs : Safia Bal-Bourai, Aïcha Mokhtari, Faiza Khellaf-HamedL'utilisation du formalisme de la logique de description (DL) pour représenter les connaissances géoraphiques a eu beaucoup d'attentions récemment. Néanmoins, les DLs classiques ne sont pas adaptées pour la représentation des connaissances incomplètes et incertaines, qui caractérisent plusieurs situations du domaine géographique. En outre, elles ne permettent pas de représenter l'information spatio-temporelle. Dans ce papier, nous proposons une extension possibiliste de la très expressive logique de description SROIQ(D), la base du langage OWL2, appelée Poss − SROIQ(D). Cette solution permet de gérer l'incertitude et faire face à l'incohérence dans les applications géographiques. La syntaxe et la sémantique de Poss − SROIQ(D) sont proposées et des exemples illustratifs, du domaine archéologique, sont donnés ainsi que le principe du système d'inférence. The use of description logics (DL) formalism to represent geographical knowledge has received a lot of attention recently. Nevertheless, classical DLs are not suitable to represent incomplete and uncertain knowledge, which represent several situations in geographic domain. In addition they cannot represent the spatio-temporal information usually present in geographical applications. In this paper, we propose a possibilistic extension of the very expressive Description Logic SROIQ(D), the basis of the language OWL2, called Poss − SROIQ(D), as a solution to handling uncertainty and for dealing with inconsistency in geographical applications. Both syntax and semantics of Poss − SROIQ(D) are considered. Illustrative examples, from archaeological domain, are given and the principal of the inference system.
LFA 2014
Auteur : Collectif LFAContributeurs : Bernard Fustier, Trevor Martin, Serge Boverie, Paul-Antoine Bisgambiglia, Dominique Urbani, Éric Innocenti, Mohammed Boumediene, Jean-Philippe Lauffenburger, Jérémie Daniel, Christophe Cudel, Liviu-Cristian Duţu, Gilles Mauris, Philippe Bolon, Stéphanie Dabic, Jean-Marc Tissot, Jérôme Dutozia, Karine Emsellem, Christine Voiron-Canicio, Olivier Pivert, Grégory Smits, Aurélien Moreau, Hélène Jaudoin, Ludovic Liétard, Daniel Rocacher, Allel Hadjali, Pierre Nerzic, Grégory Smits, Olivier Pivert, Nahla Ben Amor, Fatma Essghaier, Hélène Fargier, Nahla Ben Amor, Zeineb Elkhalfi, Hélène Fargier, Wided Guezguez, Didier Dubois, Zied Elouedi, Rim Hentech, Henri Prade, Tomáš Kroupa, Bruno Teheux, Gilles Moyse, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier , Grégory Smits, Olivier Pivert, Marie-Jeanne Lesot, Éric Lefevre, Frédéric Pichon, David Mercier, Zied Elouedi, Benjamin Quost, Gen Yang, Sébastien Destercke, Marie-Hélène Masson, Isabelle Bloch, Jamal Atif, Amal Oudni, Marie-Jeanne Lesot, Maria Rifqi, Olivier Strauss, Farès Graba, Frédéric Comby, Benyamine Allouche, Laurent Vermeiren, Antoine Dequidt, Michel Dambrine, Abdelmadjid Cherifi, Laurent Arcese, Kévin Guelton, Victor Estrada-Manzo, Zsofia Lendek, Thierry Marie Guerra, Raymundo Márquez, V. Campos, Thierry Marie Guerra, R. Palhares, Alexandre Kruszewski, Miguel Bernal, AnhTu Nguyen, Antoine Dequidt, Jimmy Lauber, Stefan Janaqi, Sébastien Harispe, Jacky Montmain, Sylvie Ranwez, Safia Bal-Bourai, Aïcha Mokhtari, Didier Dubois, Henri Prade, Agnès Rico, Salem Benferhat, Karim Tabia, Zied Bouraoui, Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakdhar Sais, Oumaima Boussarsar, Imen Boukhris, Zied Elouedi, Nahla Ben Amor, Didier Dubois, Héla Gouider, Henri Prade, Asma Belhadi, Didier Dubois, Faiza Khellaf-Hamed, Faiza Khellaf-Hamed, Henri Prade, Matteo Caglioni, Didier Dubois, Giovanni Fusco
Collection : LFA
Rubrique : Données – informatique – I.A. – IHM
Public concerné : Spécialistes
Mots clés : IHM, Informatique, intelligence artificielle, traitement données, Logique floue
Référence : 115628
La logique possibiliste multi-agent : une introduction
Auteurs : Asma Belhadi, Didier Dubois, Faiza Khellaf-Hamed, Henri PradeLa logique possibiliste multi-agent est une extension de la logique possibiliste. Elle manipule des formules de la forme (a, α/A) où a est une formule propositionnelle, α ∈ [0, 1], et A est un sous-ensemble d'agents. Une telle formule permet d'exprimer qu'au moins tous les agents qui sont dans l'ensemble A croient que la formule a est vraie au moins avec un degré de certitude α. Cet article présente la logique possibiliste multi-agent, établit sa correction et sa complétude, et suggère dans sa conclusion des applications potentielles.
LFA 2015
Auteur : Collectif LFAContributeurs : Anne-Laure Jousselme, Didier Dubois, Henri Prade, Michel Grabish, Grégory Smits, Olivier Pivert, Olivier Pivert, Grégory Smits, Ludovic Liétard, Thomas Laurain, Jimmy Lauber, Reinaldo Palhares, Salim Labiod, Thierry-Marie Guerra, Abdelmadjid Cherifi, Kévin Guelton, Laurent Arcese, Amal Ben Rjad, Mouloud Kharoune, Zoltan Miklos, Arnaud Martin, Boutheina Ben Yaghlane, Sébastien Harispe, Abdelhak Imoussaten, François Trousset, Jacky Montmain, Faten Elarbi, Tassadit Bouadi, Arnaud Martin, Boutheina Ben Yaghlane, Sabrine Mallek, Imen Boukhris, Zied Elouedi, Éric Lefevre, Saïd Jabbour, Badran Raddaoui, Lakdhar Sais, Didier Dubois, Agnès Rico, Marc Pirlot, Henri Prade, Manel Ayadi, Nahla Ben Amor, Laurence Cornez, Alberto Donizetti, Jean-Philippe Poli, Laurence Boudet, Abdelwahab Naji, Mohamed Ramdani, Bruno Teheux, Miguel Couceiro, Jean-Luc Marichal, Claudette Cayrol, Didier Dubois, Fayal Touazi, Miguel Couceiro, Quentin Brabant, Diadé Sow, Abdelhak Imoussaten, Pierre Couturier, Jacky Montmain, Nahla Ben Amor, Zeineb Elkhalfi, Hélène Fargier, Régis Sabbadin, Faial Bourahala, Farid Khaber, Mourad Oussalah, Naima Bouzera, Rémi Losero, Jimmy Lauber, Thierry-Marie Guerra, Paul-Antoine Bisgambiglia, Romain Franceschini, Damien Foures, Éric Innocenti, Nessrine El Hadj Salem, Allel Hadjali, Boutheina Ben Yaghlane, Aymen Gammoudi, Aymen Gammoudi, Allel Hadjali, Boutheina Ben Yaghlane, Salem Benferhat, Amélie Levray, Karim Tabia, Henri Prade, Asma Belhadi, Didier Dubois, Faiza Khellaf-Hamed, Henri Prade, Amal Oudni, Mohamed Amine Boukhaled, Gauvain Bourgne, Anne Laurent, Marie-Jeanne Lesot, Maria Rifqi, Jamal Atif, Isabelle Bloch, Céline Hudelot, Hugo Saulnier, Inés Couso, Olivier Strauss
Collection : LFA
Rubrique : Données – informatique – I.A. – IHM
Public concerné : Spécialistes
Mots clés : traitement données, IHM, Informatique, intelligence artificielle, Logique floue
Référence : 151034