Formalisation des propriétés en modélisation déclarative à l'aide des ensembles flous
type: Dataset
contact point: Organization
  fn: CCSD
keyword: proprietes
keyword: reports
keyword: logique-floue
keyword: modelisation-declarative
keyword: infoeu-reposemanticsreport
keyword: infoinfo-grcomputer-science-csgraphics-csgr
landing page: https://inria.hal.science/hal-00816884
description: Nous allons d'abord définir l'environnement de définition des propriétés. Ensuite, nous étudierons les propriétés simples et paramétrées qui portent seulement sur une scène. Puis, l'utilisation des opérateurs flous sur ces propriétés sera abordée. Nous étudierons ensuite les propriétés relatives et les propriétés de comparaison qui portent sur deux sous-scènes. Après, nous verrons quelques descriptions particulières basées sur les propriétés n-aires et la négation. Enfin, nous aborderons une méthode pour évaluer et interpréter une description.
identifier: Report N°: RR-IRIN-106
issued: 2026-05-11T08:43:11.662622
language: fr
modified: 2026-05-11T08:43:11.662627

test_moissonnage_selune
type: Agent

Formalisation des propriétés en modélisation déclarative à l'aide des ensembles flous
type: Distribution
access URL: https://inria.hal.science/hal-00816884
format: HTML
issued: 2026-05-11T08:43:11.670386
modified: 2026-05-11T08:43:11.654696