Révision des croyancesBelief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts " is true", " is true" and "if and are true then is true", the introduction of the new information " is false" can be done preserving consistency only by removing at least one of the three facts.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
ArgumentationL’argumentation est l'action de convaincre et pousser ainsi l'autre à agir. Contrairement à la persuasion, elle vise à être comprise de tous et résiste à l'utilisation d'arguments fallacieux. L’argument est, en logique et en linguistique, l’ensemble des prémisses données en support à une conclusion. Une argumentation est composée d'une conclusion et d'un ou de plusieurs « éléments de preuve », que l'on appelle des prémisses ou des arguments, et qui constituent des raisons d'accepter cette conclusion.
Logique informelleLa logique informelle, intuitivement, est l'étude des principes de la logique et de la pensée logique en dehors d'une théorie formelle, c'est-à-dire abstraite. Cependant, peut-être à cause de la mention du terme informelle dans le titre, la définition précise de la logique informelle est un sujet de litige. Ralph H. Johnson et J. Anthony Blair définissent la logique informelle comme « une branche de la logique dont la tâche est de développer des normes, des critères, des procédures non formels pour l'analyse, l'interprétation, l'évaluation, la critique et la construction de l'argumentation ».
Théorie de l'argumentationLa Théorie de l'argumentation est l'étude interdisciplinaire de la façon dont les conclusions peuvent être atteintes par un raisonnement logique. Elle comprend les arts et sciences du débat civil, du dialogue, de la conversation, et de la persuasion. Elle étudie les règles de l'inférence, de la logique et les règles des paramètres du monde artificiel et réel. L'argumentation comprend le débat et la négociation qui sont concernés par le fait d'atteindre mutuellement une conclusion.
Liste de concepts logiquesCet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.
Logique probabilisteProbabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory.
Knowledge representation and reasoningKnowledge representation and reasoning (KRR, KR&R, KR2) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Rhétoriquethumb|Démosthène s'exerçant à la parole, toile de Jean-Jules-Antoine Lecomte du Nouÿ (1842-1923). La rhétorique est l'art de l'action du discours sur les esprits. Le mot provient du latin rhetorica, emprunté au grec ancien , « technique, art oratoire ». Plus précisément, selon Ruth Amossy : . La rhétorique est d’abord l’art de l’éloquence. Elle a d’abord concerné la communication orale.
