Sur le logique du changement : révision et fusion de base de connaissance
Sur le logique du changement : révision et fusion de base de connaissance
复制标题
变革的逻辑:认知基础的修订与融合
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Sébastien Konieczny
中科院分区：
文献类型：
--
作者：
Sébastien Konieczny
在形式化和模型化方面的主要问题是动态方面的问题。这是一个有理由的能力，部分认识不完善或不完整，pouvant etre remises en doute ulterieution。修正理论研究的是在知识基础上发生的新的信息变化，再加上可靠的信息，这是不成立的。为了使修正案的逻辑得以实现，年度股东大会（Alchourron、Gardenfors、Makinson三人）的干部必须参加。这些都是一个干部的贡献。为了保证一个良好的业绩，全体成员的年度大会不应进行修改。我们根据新信息第一优势的概念，确定了一个经营者类别。我们的工作人员为迭代做出了很好的贡献。从实用价值的角度来看，修订工作者通常会提出表述和计算方面的问题。我们对经营者的结构作了明确的定义和研究。一个类似的问题，一个修订的例子，可能会导致对不同来源的矛盾信息的整体认识。关于认知基础的融合。我们建议为这些经营者提供一个独特的逻辑，为修订而推广AGM干部。这种特性逻辑可以用于比较不同的融合方法或用于确定现有方法的适应性。为了说明这一点，我们研究了聚变合成基的操作者如何选择最大一致性的子集合，以使聚变者的认识基得到统一。我们必须指出，现有的经营者不满足三个适当的逻辑，并且利用选择的功能允许增加适当的验证名称。
Un des problemes majeurs dans la formalisation et la modelisation du raisonnement est la prise en compte de son aspect dynamique. C'est-a-dire la capacite a raisonner a partir de connaissances imparfaites ou incompletes, pouvant etre remises en doute ulterieurement. La theorie de la revision etudie les changements qui interviennent dans une base de connaissance lorsqu'une nouvelle information, plus fiable, est incorporee. Pour l'e��tude logique de la revision c'est le cadre AGM (d'apres ses trois auteurs Alchourron, Gardenfors, Makinson) qui s'est impose. Cette these est une contribution a ce cadre. Le cadre AGM ne contraint pas suffisamment la revision pour assurer un bon comportement lors de l'iteration. Nous definissons une classe d'operateurs bases sur la notion de primaute forte de la nouvelle information. Nous montrons que ces operateurs ont un bon comportement pour l'iteration. D'un point de vue pratique, les operateurs de revision usuels posent des problemes de representation et de calcul. Nous definissons et etudions des operateurs syntaxiques bases sur une logique induite par le chainage avant. Un probleme similaire a celui de la revision se pose lorsque l'on veut extraire une connaissance d'un ensemble d'informations contradictoires provenant de sources differentes. On parle alors de fusion de bases de connaissance. Nous proposons une caracterisation logique pour ces operateurs, generalisation du cadre AGM pour la revision. Cette caracterisation logique peut etre utilisee pour comparer differentes methodes de fusion ou pour suggerer des adaptations de methodes existantes. Pour illustrer ceci nous etudions des operateurs de fusion syntaxique bases sur la selection de sous-ensembles maximaux consistants de la reunion des bases de connaissance a fusionner. Nous montrons que les operateurs existants ne satisfont que tres peu de proprietes logiques et que l'utilisation de fonctions de selection permet d'augmenter le nombre de proprietes verifiees.