Vícebodové logické programování - Multi-adjoint logic programming

Vícebodové logické programování[1] definuje syntaxi a sémantiku a logické programování program takovým způsobem, aby základní matematika ospravedlňující výsledky byla a zbytková mříž a / nebo MV-algebra.

Definice vícejádrového logického programu je uvedena, jak je obvyklé v fuzzy logika programování, jako soubor vážených pravidel a faktů daného formální jazyk F. Všimněte si, že v našich pravidlech můžeme používat různé důsledky.

Definice: A multi-adjoint logický program je množina P pravidel ve tvaru <(A ←i B.), δ> takové, že:

1. The pravidlo (A ← i B) je vzorec F;

2. The faktor spolehlivosti δ je prvek (a pravdivostní hodnota ) z L;

3. The hlava A je atom;

4. The tělo B je vzorec vytvořený z atomy B1,…, Bn (n ≥ 0) použitím spojivky, disjunktory, a agregátory.

5. Fakta jsou pravidla s body ┬.

6. Dotaz (nebo fotbalová branka) je atom zamýšlen jako otázka?A výzva systému.

Implementace

Provádění Vícebodové logické programování: Rfuzzy,[2]Floper,[3] a další si nyní nepamatujeme.

  1. ^ Medina, Jesús; Ojeda-Aciego, Manuel; Vojtaš, Peter (2001). Vícebodové logické programování s kontinuální sémantikou. Logické programování a bezmotonové uvažování. Přednášky z informatiky. 2173. str. 351–364. doi:10.1007/3-540-45402-0_26. ISBN  978-3-540-42593-9.
  2. ^ "Rfuzzy". Archivovány od originál dne 2012-02-28. Citováno 2012-01-21.
  3. ^ "Floper".