A logic programming system for nonmonotonic reasoning

Alferes, José Júlio; Damásio, Carlos Viegas; Pereira, Lúıs Moniz

doi:10.1007/bf00883931

Cited by 47 publications

(37 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The essential problem with the previous definition is that the negations of Equilibrium Logic [22] underlying Answer Set semantics [15] and extensions are ruled out by RIF-FLD semantics. The same happens to Well-founded Semantics with Explicit Negation and its extensions [2,1,12]. The reason is the same for all these semantics since the double negation law for default negation does not hold, as can be seen in Figures 3-6 (the truth-table for symmetric negation is −).…”

Section: T T T T T T T T T Df T T T T T T T T T III T T T T T T T T Tmentioning

confidence: 66%

“…It has been shown that the adoption of double negation law for the semantics of negation hinders the RIF intention of providing a sufficient general semantics capable of capturing in a natural way an interesting subset of existing semantics for rule-based systems, namely for extended logic programming under Answer Set Semantics [15] or Well-founded Semantics with Explicit Negation [3,2]. It is argued that the only natural condition to impose is anti-monotonicity of the negation symbol.…”

Section: Conclusion and Further Workmentioning

confidence: 99%

See 1 more Smart Citation

Modularity in the Rule Interchange Format

Damásio

Analyti

Antoniou

2011

Rule-Based Reasoning, Programming, and Applications

View full text Add to dashboard Cite

Abstract. The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multidocuments, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.

show abstract

Section: T T T T T T T T T Df T T T T T T T T T III T T T T T T T T Tmentioning

confidence: 66%

Section: Conclusion and Further Workmentioning

confidence: 99%

Modularity in the Rule Interchange Format

Damásio

Analyti

Antoniou

2011

Rule-Based Reasoning, Programming, and Applications

View full text Add to dashboard Cite

show abstract

“…We use the definition of (Alferes et al 1995), because it is closer to our definition of argumentation semantics than the original definition of (Pereira and Alferes 1992).…”

Section: Well-founded Semantics With Explicit Negationmentioning

confidence: 99%

“…For the well-founded semantics with explicit negation, WFSX (Pereira and Alferes 1992;Alferes and Pereira 1996), there exists a scenario semantics (Alferes et al 1993) which is similar to an argumentation semantics. This semantics applies only to non-contradictory programs; to our knowledge, no argumentation semantics has yet been found equivalent to the paraconsistent well-founded semantics with explicit negation, WFSX p (Damásio 1996;Alferes et al 1995;Alferes and Pereira 1996). This paper makes the following contributions: we identify various notions of attack for extended logic programs.…”

Section: Introductionmentioning

confidence: 99%

A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics

Schweimeier

Schroeder

2005

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Argumentation has proved a useful tool in defining formal semantics for assumption-based reasoning by viewing a proof as a process in which proponents and opponents attack each others arguments by undercuts (attack to an argument's premise) and rebuts (attack to an argument's conclusion). In this paper, we formulate a variety of notions of attack for extended logic programs from combinations of undercuts and rebuts and define a general hierarchy of argumentation semantics parameterised by the notions of attack chosen by proponent and opponent. We prove the equivalence and subset relationships between the semantics and examine some essential properties concerning consistency and the coherence principle, which relates default negation and explicit negation. Most significantly, we place existing semantics put forward in the literature in our hierarchy and identify a particular argumentation semantics for which we prove equivalence to the paraconsistent well-founded semantics with explicit negation, WFSXp. Finally, we present a general proof theory, based on dialogue trees, and show that it is sound and complete with respect to the argumentation semantics.

show abstract

“…The MWeb framework is constructed, compatible and based on Rule Interchange Format (RIF) guidelines fostering immediate integration with RDF [12]. MWeb provides two semantics designated MWebWFS and MWebAS with a solid theory based on the two major semantics of extended logic programming, respectively, Well-Founded Semantics with Explicit Negation [1] and Answer Sets [9]. A compiler of MWeb into XSB Prolog is available 4 making use of the tabling features to guarantee termination of recursive rules with negation.…”

Section: Introductionmentioning

confidence: 99%

Embeddings of Simple Modular Extended RDF

Damásio

Analyti

Antoniou

2010

Web Reasoning and Rule Systems

View full text Add to dashboard Cite

Abstract. The Extended Resource Description Framework has been proposed to equip RDF graphs with weak and strong negation, as well as derivation rules, increasing the expressiveness of ordinary RDF graphs. In parallel, the Modular Web framework enables collaborative and controlled reasoning in the Semantic Web. In this paper we exploit the use of the Modular Web framework to specify the modular semantics for Extended Resource Description Framework ontologies.

show abstract

A logic programming system for nonmonotonic reasoning

Cited by 47 publications

References 35 publications

Modularity in the Rule Interchange Format

Modularity in the Rule Interchange Format

A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics

Embeddings of Simple Modular Extended RDF

Contact Info

Product

Resources

About