Multi-adjoint logic programming
id:
multi-adjoint-logic-programming-196-7747629
title:
Multi-adjoint logic programming
text:
Multi-adjoint logic programming defines syntax and semantics of a logic programming program in such a way that the underlying maths justifying the results are a residuated lattice and/or MV-algebra. 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
brand slug:
wiki
category slug:
encyclopedia
description:
Sub-field of logic programming
original url:
https://en.wikipedia.org/wiki/Multi-adjoint_logic_programming
date created:
date modified:
2024-04-13T20:01:36Z
main entity:
{"identifier":"Q6934419","url":"https://www.wikidata.org/entity/Q6934419"}
image:
fields total:
13
integrity:
14