Filters








14 Hits in 1.6 sec

Computing Fuzzy Answer Sets Using dlvhex [chapter]

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 Lecture Notes in Computer Science  
By using the DLVHEX reasoning engine, we so devise a vehicle for effectively computing fuzzy answer sets.  ...  In this paper, we show how the fuzzy answer set semantics can be mapped onto the semantics for HEX-programs, which are nonmonotonic logic programs under the answer set semantics that support the use of  ...  The mapping we propose in this work to compute fuzzy answer sets using HEXprograms is based on the characterisation of the FASP semantics with unfounded sets from [17] .  ... 
doi:10.1007/978-3-540-74610-2_40 fatcat:gr3bn4hjojeq7l2prmzrteaaqa

Ranking Services Using Fuzzy HEX Programs [chapter]

Stijn Heymans, Ioan Toma
2008 Lecture Notes in Computer Science  
Finally, we illustrate the use of fuzzy HEX programs for ranking services by using them to model non-functional properties of services and user preferences.  ...  Additionally, we provide a translation from fuzzy HEX programs to HEX programs, enabling an implementation via the dlvhex reasoner.  ...  Directions for Further Research As future work, we plan to develop a reasoner for fuzzy HEX programs based on the DLVHEX reasoner, using the translation of fuzzy HEX programs to HEX programs presented  ... 
doi:10.1007/978-3-540-88737-9_14 fatcat:yiiktryblfcjbgdgjjnuor2ada

Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics [article]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 arXiv   pre-print
However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient fuzzy answer set programming solver.  ...  In recent years answer set programming has been extended to deal with multi-valued predicates.  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their useful suggestions and remarks.  ... 
arXiv:1104.5133v1 fatcat:aksfbu2tnzgntbwub465in7xhy

Reducing fuzzy answer set programming to model finding in fuzzy logics

JEROEN JANSSEN, DIRK VERMEIR, STEVEN SCHOCKAERT, MARTINE DE COCK
2011 Theory and Practice of Logic Programming  
AbstractIn recent years, answer set programming (ASP) has been extended to deal with multivalued predicates.  ...  A well-knowntechnique for classical ASP consists of translating an ASP programPto a propositional theory whose models exactlycorrespond to the answer sets ofP.  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their useful suggestions and remarks.  ... 
doi:10.1017/s1471068411000093 fatcat:unnwhgj5ejgyvihdh2oe3l6ibq

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
When we talk about rule-based approaches here, the focus will be on deductive rules languages approaches with a two-valued semantics; probabilistic, fuzzy, dynamic (event-condition-action rules, production  ...  In Section 5, first general issues that come up in combining logic-based rules and ontologies are revisited in more detail; after that, three different generic settings for  ...  However, in contrast to strong answer sets, weak answer sets are not guaranteed to be minimal, in the sense that a weak answer set may contain some other weak answer set properly; intuituively, they are  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru

Answer Set Programming: A Primer [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
It shows some programming techniques and briefly overviews Answer Set solvers.  ...  Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years.  ...  Fuzzy extensions of answer-set programs and their relationship to HEX-programs are given in [86, 87] .  ... 
doi:10.1007/978-3-642-03754-2_2 fatcat:au2bnpvk25awbja73itqqex5ni

Efficient HEX-Program Evaluation Based on Unfounded Sets

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller
2014 The Journal of Artificial Intelligence Research  
HEX-programs extend logic programs under the answer set semantics with external computations through external atoms.  ...  As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates  ...  Set Programming and Other Computing Paradigms (ASPOCP 2012), September 4, 2012, Budapest, Hungary (Eiter, Fink, Krennwallner, Redl, & Schüller, 2012b) .  ... 
doi:10.1613/jair.4175 fatcat:hcxe3ullanbztaafzxk6g6ekie

Combining Nonmonotonic Knowledge Bases with External Sources [chapter]

Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
This article reviews some of these formalisms that are centered around Answer Set Programming, viz.  ...  These formalisms were designed with different principles and four different settings, and thus have different properties and features; however, as argued, they are not unrelated.  ...  Computation Exploiting Proposition 6, answer sets of Horn MLPs can be computed by means of a bottom up fixed-point computation.  ... 
doi:10.1007/978-3-642-04222-5_2 fatcat:ywmul3hqujhqvjmvpy5hnfslgu

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
2008 Artificial Intelligence  
We also show how the weak answer sets can be computed utilizing answer sets of ordinary normal logic programs.  ...  For arbitrary dl-programs, we define answer sets by generalizing Gelfond and Lifschitz's notion of a transform, leading to a strong and a weak answer set semantics, which are based on reductions to the  ...  General algorithm for computing weak answer sets Computing the set of all weak answer sets of a given (general) dl-program KB = (L, P ) can be reduced to computing the set of all answer sets of a normal  ... 
doi:10.1016/j.artint.2008.04.002 fatcat:6ljwvnzkkrec3martvmac4cdua

Sponsoring institutions

2002 Physica A: Statistical Mechanics and its Applications  
At each turn, some facts representing the board state are coupled with the logic program, which has been conceived so that answer sets represent the moves: strong constraints "drop" any answer set representing  ...  The actual reasoning is carried out by computing the answer sets of an HEXprogram P AI that models the knowledge of the game.  ...  The following program, in combination with F , computes all 3-Colorings (as answer sets) of the graph represented by F . r 1 : color(X, red) | color(X, green) | color(X, blue) ← node(X). r 2 : ← color(  ... 
doi:10.1016/s0378-4371(02)01572-8 fatcat:qcyfgqu3sfd45jncgigcqlzjc4

Sponsoring institutions

1985 Nuclear Physics A  
At each turn, some facts representing the board state are coupled with the logic program, which has been conceived so that answer sets represent the moves: strong constraints "drop" any answer set representing  ...  The actual reasoning is carried out by computing the answer sets of an HEXprogram P AI that models the knowledge of the game.  ...  The following program, in combination with F , computes all 3-Colorings (as answer sets) of the graph represented by F . r 1 : color(X, red) | color(X, green) | color(X, blue) ← node(X). r 2 : ← color(  ... 
doi:10.1016/0375-9474(85)90488-9 fatcat:rduhsx664rbqnegxl4hkxgp3lu

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
As such, it is an interesting and challenging application area for many computer science fields and approaches.  ...  Usually, an order on answer sets is computed based on the preferences, and maximal answer sets w.r.t. the order are selected.  ...  ., using answer set programming for planning, each answer set of the program corresponds to a possible plan.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

Development of a build system for cross-platform open-source projects

Alexander Leutgöb, Thomas Eiter, Christoph Redl
2017
Open-source projects are typically maintained by developer communities who use agile methods and online collaboration tools.  ...  Such software is mainly used by academic research groups in the field of Business Informatics for describing ontologies or information extraction.  ...  Potassco, the Potsdam Answer Set Solving Collection. 4 http://www.kr.tuwien.ac.at/research/systems/dlvhex/. dlvhex. 5 http://www.boost.org.  ... 
doi:10.34726/hss.2016.27843 fatcat:t2zezhqz6bbzfgngfutiz3sfnq

Rule Interchange on the Web [chapter]

Harold Boley, Michael Kifer, Paula-Lavinia Pătrânjan, Axel Polleres
Lecture Notes in Computer Science  
Second, even within the same category of rules, systems use different (often incompatible) semantics and syntaxes.  ...  His work was supported in part by the BIT Institute, NSF grants CCR-0311512 and IIS-0534419, and by US Army Research Office under a subcontract from BNL.  ...  ., it is based on logic programming with disjunctions in rule heads, negation as failure in rule bodies, and several other extensions-all based on the so-called answer set semantics (see [Bar03] ).  ... 
doi:10.1007/978-3-540-74615-7_5 fatcat:orwxx4khwrhznjpfskktuk3us4