Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/aggregated-fuzzy-answer-set-programming-aZPhbTZr75
References (89)
-
P. Simons, I. Niemelä, T. Soininen (2000)
Extending and implementing the stable model semanticsArtif. Intell., 138
-
G. Brewka (2004)
Complex Preferences for Answer Set Optimization -
Kim Bauters, S. Schockaert, M. Cock, D. Vermeir (2010)
Possibilistic Answer Set Programming Revisited -
C. Damásio, L. Pereira (2000)
Hybrid Probabilistic Logic Programs as Residuated Logic ProgramsStudia Logica, 72
-
D. Dubois, H. Fargier, H. Prade (1996)
Refinements of the maximin approach to decision-making in a fuzzy environmentFuzzy Sets Syst., 81
-
T. Cao (2000)
Annotated fuzzy logic programsFuzzy Sets Syst., 113
-
V. Subrahmanian (1994)
Amalgamating knowledge basesACM Trans. Database Syst., 19
-
J. Fodor, R. Yager, A. Rybalov (1997)
Structure of UninormsInt. J. Uncertain. Fuzziness Knowl. Based Syst., 5
-
(1996)
k-Additive fuzzy measures -
C. Damásio, J. Medina, M. Ojeda‐Aciego (2007)
Termination of logic programs with imperfect information: applications and query procedureJ. Appl. Log., 5
-
K. Balog, M. Rijke (2007)
Determining Expert Profiles (With an Application to Expert Finding) -
Jeroen Janssen, S. Schockaert, D. Vermeir, M. Cock (2009)
General Fuzzy Answer Set Programs -
L. Lakshmanan, F. Sadri (1994)
Probabilistic Deductive Databases -
L. Lakshmanan, Nematollaah Shiri (1996)
A Parametric Approach to Deductive Databases with UncertaintyIEEE Trans. Knowl. Data Eng., 13
-
U. Straccia (2008)
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs -
R. Ng, V. Subrahmanian (1990)
A semantical framework for supporting subjective and conditional probabilities in deductive databasesJournal of Automated Reasoning, 10
-
D. Dubois, H. Prade (2001)
Advances in the Egalitarist Approach to Decision-Making in a Fuzzy Environment -
Gerd Wagner (1998)
Negation in Fuzzy and Possibilistic Logic Programs -
G Choquet (1954)
Theory of capacitiesAnn. Inst. Fourier, 5
-
Ronald Fagin, E. Wimmers (2000)
A formula for incorporating weights into scoring rulesTheor. Comput. Sci., 239
-
Nematollaah Shiri-Varnaamkhaasti (1997)
Towards a generalized theory of deductive databases with uncertainty -
Jeroen Janssen, S. Schockaert, D. Vermeir, M. Cock (2009)
Fuzzy Answer Set Programming with Literal Preferences -
Jeroen Janssen, S. Heymans, D. Vermeir, M. Cock (2008)
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories -
T. Schiex, H. Fargier, G. Verfaillie (1995)
Valued Constraint Satisfaction Problems: Hard and Easy Problems -
N. Leone, G. Pfeifer, Wolfgang Faber, Thomas Eiter, G. Gottlob, S. Perri, Francesco Scarcello (2002)
The DLV system for knowledge representation and reasoningACM Trans. Comput. Log., 7
-
M. Ishizuka, N. Kanai (1985)
Prolog-ELF incorporating fuzzy logicNew Generation Computing, 3
-
P. Hájek (1998)
Metamathematics of Fuzzy Logic, 4
-
L. Lakshmanan, F. Sadri (1997)
Uncertain Deductive Databases: A Hybrid ApproachInf. Syst., 22
-
L. Lakshmanan, F. Sadri (1994)
Modeling Uncertainty in Deductive Databases -
R. Ng, V. Subrahmanian (1994)
Stable Semantics for Probabilistic Deductive DatabasesInf. Comput., 110
-
Carlos Damsio, L. Pereira (2004)
Sorted Monotonic Logic Programs and their Embeddings -
N. Madrid, M. Ojeda‐Aciego (2010)
On the Measure of Instability in Normal Residuated Logic Programs -
P. Nicolas, Laurent Garcia, I. Stéphan, Claire Lefèvre (2006)
Possibilistic uncertainty handling for answer set programmingAnnals of Mathematics and Artificial Intelligence, 47
-
Chitta Baral (2003)
Knowledge Representation, Reasoning and Declarative Problem Solving -
Davy Nieuwenborgh, M. Cock, D. Vermeir (2007)
An introduction to fuzzy answer set programmingAnnals of Mathematics and Artificial Intelligence, 50
-
I. Niemelä (1999)
Logic programs with stable model semantics as a constraint programming paradigmAnnals of Mathematics and Artificial Intelligence, 25
-
N. Pfeifer, G. Kleiter (2006)
Proceedings of the 11th IPMU Conference (Information Processing and Management of Uncertainty in Knowledge-Based Systems -
R. Yager, J. Kacprzyk (1997)
The Ordered Weighted Averaging Operators: Theory and Applications -
L. Lakshmanan (1994)
An Epistemic Foundation for Logic Programming with Uncertainty -
Emad Saad (2009)
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics -
M. Kifer, Ai Li (1988)
On the Semantics of Rule-Based Expert Systems with Uncertainty -
(2001)
Numerical aggregation operators: state of the art -
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan (2009)
Characterizations of stable model semantics for logic programs with arbitrary constraint atomsTheory and Practice of Logic Programming, 9
-
C. Damásio, L. Pereira (2001)
Antitonic Logic Programs -
E. Shapiro (1983)
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems -
M. Emden (1986)
Quantitative Deduction and its Fixpoint TheoryJ. Log. Program., 3
-
U. Straccia, M. Ojeda‐Aciego, C. Damásio (2008)
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic ProgramsSIAM J. Comput., 38
-
N. Madrid, M. Ojeda‐Aciego (2010)
Measuring Instability in Normal Residuated Logic Programs: Discarding Information -
V Novák, I Perfilieva, J [ERROR while converting LaTeX/Unicode] (1999)
Mathematical Principles of Fuzzy Logic -
Rafee Ebrahim (2001)
Fuzzy logic programmingFuzzy Sets Syst., 117
-
S. Schockaert, Jeroen Janssen, D. Vermeir, M. Cock (2009)
Answer Sets in a Fuzzy Equilibrium Logic -
菅野 道夫 (1975)
Theory of fuzzy integrals and its applications -
LVS Lakshmanan, F Sadri (1994)
Proceedings of the 1994 International Symposium on Logic programming (ILPS’94) -
C. Damásio, J. Medina, M. Ojeda‐Aciego (2004)
Sorted Multi-adjoint Logic Programs: Termination Results and Applications -
C. Damásio, L. Pereira (2001)
Monotonic and Residuated Logic Programs -
D. Dubois, J. Lang, H. Prade (1991)
Towards Possibilistic Logic Programming -
Yann Loyer, U. Straccia (2003)
The Approximate Well-Founded Semantics for Logic Programs with Uncertainty -
P. Nicolas, Laurent Garcia, I. Stéphan (2005)
Possibilistic Stable Models -
Yann Loyer, U. Straccia (2002)
The Well-Founded Semantics in Normal Logic Programs with Uncertainty -
A. Tarski (1955)
A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONSPacific Journal of Mathematics, 5
-
N. Madrid, M. Ojeda‐Aciego (2008)
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 3
-
Thomas Lukasiewicz (1999)
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -
Jeroen Janssen, S. Schockaert, D. Vermeir, Martine Cock
Under Consideration for Publication in Theory and Practice of Logic Programming Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics -
N. Madrid, M. Ojeda‐Aciego (2009)
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs -
V. Marek, M. Truszczynski (1998)
Stable models and an alternative logic programming paradigm -
I. Turksen (1992)
Interval-valued fuzzy sets and “compensatory AND”Fuzzy Sets and Systems, 51
-
(2002)
A Thorough Study of Linguistic Modifiers in Fuzzy Set Theory -
N. Fuhr (2000)
Probabilistic datalog: Implementing logical information retrieval for advanced applicationsJ. Am. Soc. Inf. Sci., 51
-
R. Yager (1981)
Concepts, Theory, and Techniques A NEW METHODOLOGY FOR ORDINAL MULTIOBJECTIVE DECISIONS BASED ON FUZZY SETSDecision Sciences, 12
-
M. Fitting (1991)
Bilattices and the Semantics of Logic ProgrammingJ. Log. Program., 11
-
G. Choquet (1954)
Theory of capacitiesAnnales de l'Institut Fourier, 5
-
A. Nerode, J. Remmel, V. Subrahmanian (1997)
Annotated Nonmonotonic Rule SystemsTheor. Comput. Sci., 171
-
Thomas Lukasiewicz, U. Straccia (2007)
Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web -
U. Straccia (2005)
Query Answering in Normal Logic Programs Under Uncertainty -
R. Yager (1988)
On ordered weighted averaging aggregation operators in multicriteria decisionmakingIEEE Trans. Syst. Man Cybern., 18
-
M. Luhandjula (1982)
Compensatory operators in fuzzy linear programming with multiple objectivesFuzzy Sets and Systems, 8
-
Naveen Garg, T. Kavitha, Amit Kumar, K. Mehlhorn, Julián Mestre (2009)
Assigning Papers to RefereesAlgorithmica, 58
-
Thomas Lukasiewicz (2006)
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
-
Alex Dekhtyar, V. Subrahmanian (2000)
Hybrid Probabilistic ProgramsJ. Log. Program., 43
-
D. Dubois, P. Fortemps (1999)
Computing improved optimal solutions to max-min flexible constraint satisfaction problemsEur. J. Oper. Res., 118
-
N. Madrid, M. Ojeda‐Aciego (2010)
Measuring instability in normal residuated logic programs: Adding informationInternational Conference on Fuzzy Systems
-
M. Kifer, V. Subrahmanian (1992)
Theory of Generalized Annotated Logic Programming and its ApplicationsJ. Log. Program., 12
-
T. Alsinet, L. Godo, S. Sandri (2002)
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description -
U. Straccia (2006)
Annotated Answer Set Programming -
G. Brewka, I. Niemelä, M. Truszczynski (2003)
Answer Set Optimization -
Thomas Lukasiewicz (1998)
Probabilistic Logic Programming -
D. Dubois, H. Prade (1986)
Weighted minimum and maximum operations in fuzzy set theoryInf. Sci., 39
-
RR Yager (1981)
A new methodology for ordinal multiple aspect decisions based on fuzzy setsDecis. Sci., 12
-
M. Grabisch, H. Nguyen (1994)
Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference
- Publisher
- Springer Journals
- Copyright
- Copyright © 2011 by Springer Science+Business Media B.V.
- Subject
- Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Statistical Physics, Dynamical Systems and Complexity
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/s10472-011-9256-8
- Publisher site
- See Article on Publisher Site
Abstract
Fuzzy Answer Set Programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combinatorial problems. As a result of its inherent continuity, rules in FASP may be satisfied or violated to certain degrees. Rather than insisting that all rules are fully satisfied, we may only require that they are satisfied partially, to the best extent possible. However, most approaches that feature partial rule satisfaction limit themselves to attaching predefined weights to rules, which is not sufficiently flexible for most real-life applications. In this paper, we develop an alternative, based on aggregator functions that specify which (combination of) rules are most important to satisfy. We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Aug 5, 2011