1,436 research outputs found
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics
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, WFSX. 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.Comment: To appear in Theory and Practice of Logic Programmin
Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
Although Answer Set Programming (ASP) is a powerful framework for declarative problem solving, it cannot in an intuitive way handle situations in which some rules are uncertain, or in which it is more important to satisfy some constraints than others. Possibilistic ASP (PASP) is a natural extension of ASP in which certainty weights are associated with each rule. In this paper we contrast two different views on interpreting the weights attached to rules. Under the first view, weights reflect the certainty with which we can conclude the head of a rule when its body is satisfied. Under the second view, weights reflect the certainty that a given rule restricts the considered epistemic states of an agent in a valid way, i.e. it is the certainty that the rule itself is correct. The first view gives rise to a set of weighted answer sets, whereas the second view gives rise to a weighted set of classical answer sets
Political Violence and Excess Liquidity in Egypt
In this article we estimate a time-series model of excess liquidity in the Egyptian banking sector. While financial liberalisation and financial stability are found to have reduced excess liquidity, these effects have been offset by an increase in the number of violent political incidents arising from conflict between radical Islamic groups and the Egyptian state. The link between political events and financial outcomes provides a rationale for economic policy interventions by the international community in response to increases in political instability
A Bayesian Approach to the Estimation of Environmental Kuznets Curves for CO2 Emissions
This paper investigates the EKC curves for CO2 emissions in a panel of 109 countries during the period 1959-2001. The length of the series makes the application of a heterogeneous estimator suitable from an econometric point of view. The results, based on the hierarchical Bayes estimator, show that different EKC dynamics are associated with the different sub samples of countries considered. On average, more industrialized countries show an EKC evidence in quadratic specifications, which are nevertheless probably evolving into an N shape, emerging from cubic specifications. Less developed countries consistently show that CO2 emissions still rise positively with income, though some signals of an EKC path arise.Environmental Kuznets Curve, CO2 Emissions, Bayesian Approach, Heterogeneous Panels
Learning, hubris and corporate serial acquisitions
Recent empirical research has shown that, from deal to deal, serial acquirers' cumulative abnormal returns (CAR) are declining. This has been most often attributed to CEOs hubris. We question this interpretation. Our theoretical analysis shows that (i) a declining CAR from deal to deal is not sufficient to reveal the presence of hubris, (ii) if CEOs are learning, economically motivated and rational, a declining CAR from deal to deal should be observed, (iii) predictions can be derived about the impact of learning and hubris on the time between successive deals and, finally, (iv) predictions about the CAR and about the time between successive deal trends lead to testable empirical hypotheses.
- …