Multi-Adjoint Logic Programming with Continuous Semantics (2001)
| Venue: | Lect. Notes in Artificial Intelligence 2173 |
| Citations: | 35 - 16 self |
BibTeX
@INPROCEEDINGS{Medina01multi-adjointlogic,
author = {Jesus Medina and Manuel Ojeda-Aciego and Peter Vojtas},
title = {Multi-Adjoint Logic Programming with Continuous Semantics},
booktitle = {Lect. Notes in Artificial Intelligence 2173},
year = {2001},
pages = {351--364}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Considering different implication operators, such as Lukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truth-values. In this paper we apply this idea to introduce multi-adjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved and the assumptions required to get continuity are further analysed.
Citations
| 641 | Predicate logic as a programming language - Kowalski - 1974 |
| 347 | A Kripke-Kleene Semantics of logic Programs - Fitting - 1985 |
| 47 | On fuzzy logic - Pavelka |
| 39 | Monotonic and residuated logic programs - Damásio, Pereira - 2001 |
| 25 | Metamathematics of fuzzy logic, Trends in Logic—Studia Logica - Hájek - 1998 |
| 19 | Fuzzy logic programming, Fuzzy Sets and Systems 124 - Vojtáˇs - 2001 |
| 17 | L.M.: Hybrid probabilistic logic programs as residuated logic programs - Damásio, Pereira |
| 10 | Fril-Fuzzy and Evidential Reasoning - Baldwin, Martin - 1995 |
| 6 | A proposal of a fuzzy connective with learning function - Naito, Ozawa, et al. - 1995 |
