Towards Biresiduated Multi-Adjoint Logic Programming

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00096786" target="_blank" >RIV/67985807:_____/04:00096786 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Towards Biresiduated Multi-Adjoint Logic Programming
Original language description
Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, theneed of biresiduated pairs is justified through the study of a very intuitive family of operators, which turn out to be not necessarily commutative and associative and, thus, might have two different residuated implications; finally, we introduce the framework of biresiduated multi-adjoint logic programming and sketch some considerations on its fixpoint semantics.
Czech name
Bireziduované multi-adjungované logické programování
Czech description
Multi-adjungované logické programování bylo navrženo jako generalizace monotónního a rezidovaného logického programování. Používá vícero implikací v pravidlech a obecnou formu spojek v těle pravidel. Potřeba bireziduavaných párů je v této práci motivovaná studiem velice intuitivní třídy operátorů, které alev nemusí být komutativní ani asociativní (a tedy můžou mít dvě různé rezidované implikace). V této práci zavádíme bireziduované multiadjungované logické programování a několik výsledků o sémantice pevného bodu.

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)