Multi-adjoint logic programming

Multi-adjoint logic programming

Multi-adjoint logic programming[1] means to express a computer program in the language of multi-adjoint logic.

The definition of a multi-adjoint logic program is given, as usual in fuzzy logic programming, as a set of weighted rules and facts of a given formal language F. Notice that we are allowed to use different implications in our rules.

Definition: A multi-adjoint logic program is a set P of rules of the form <(A ←i B), δ> such that:

1. The rule (A ←i B) is a formula of F;

2. The confidence factor δ is an element (a truth-value) of L;

3. The head A is an atom;

4. The body B is a formula built from atoms B1, … , Bn (n ≥ 0) by the use of conjunctors, disjunctors, and aggregators.

5. Facts are rules with body ┬.

6. A query (or goal) is an atom intended as a question ?A prompting the system.


  1. ^ "Multi-adjoint Logic Programming with Continous Semantics". Multi-adjoint Logic Programming with Continous Semantics. http://www.springerlink.com/content/m054fxxx4txjed0t/. 



Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Currying — This article is about the function transformation technique. For the general variety of spicy dishes, see Curry. In mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments (or an n… …   Wikipedia

  • Liste De Sigles — {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZZ …   Wikipédia en Français

  • Liste de sigles — Sigles d’une seule lettre Sigles de deux lettres Sigles de trois lettres Sigles de quatre lettres Sigles de cinq lettres Sigles de six lettres Sigles de sept lettres Sigles de huit lettres Voici une liste des sigles ou acronymes courants. La… …   Wikipédia en Français

  • Liste des sigles — Liste de sigles {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZZ …   Wikipédia en Français

  • Sigle de 7 caractères — Liste de sigles {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ YAA à ZZZ …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”