A causal approach to nonmonotonic reasoning

Bochman, Alexander

doi:10.1016/j.artint.2004.07.002

“…Strictly speaking input/output logic is not a single logic but a family of logics, just like modal logic is a family of logics containing systems K, KD, S4, S5, ... We refer to the family as the input/output framework. The proposed framework has been applied to domains other than normative reasoning, for example causal reasoning, argumentation, logic programming and non-monotonic logic, see Bochman [2].…”

Section: Input/output Logicmentioning

confidence: 99%

On the Complexity of Input/Output Logic

Sun

¹

,

Ambrossio

²

2015

Logic, Rationality, and Interaction

View full text Add to dashboard Cite

show abstract

“…Strictly speaking input/output logic is not a single logic but a family of logics, just like modal logic is a family of logics containing systems K, KD, S4, S5, ... We refer to the family as the input/output framework. The proposed framework has been applied to domains other than normative reasoning, for example causal reasoning, argumentation, logic programming and non-monotonic logic, see Bochman [5].…”

Section: Input/output Logicmentioning

confidence: 99%

Computational Complexity of Input/Output Logic

Sun

¹

,

Ambrossio

²

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Consequently, to consider the defend connective we need an identity free logic, which are rare. A possible choice is input/output logic [35,36], which has been proposed in philosophical logic for normative or deontic reasoning, and which has been used in artificial intelligence to characterize causal reasoning [9] and logic programming [10]. To emphasize the lack of identity, Makinson and van der Torre write their conditional "if input a, then output x" as (a, x).…”

Section: Related Workmentioning

confidence: 99%

“…In the political party, in order to allow these agents to cooperate, the leader sets a number of requirements the unified argumentation framework has to satisfy. 1 Consider the following properties: ∧ c); 6 The argumentation frameworks of the agents ag 9 , ag 10 , ag 11 and the unification of their frameworks described in Example 14…”

Section: Example 13mentioning

confidence: 99%

A logic of argumentation for specification and verification of abstract argumentation frameworks

Villata

¹

,

Boella

²

,

Gabbay

³

et al. 2012

Ann Math Artif Intell

View full text Add to dashboard Cite

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung's abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like "if the argument to increase taxes is accepted, then the argument to increase services must be accepted too," we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. We show how to use this logic to verify the requirements of argumentation frameworks where higher-order attacks are allowed [A preliminary version of the logic of argumentation compliance was called the logic of abstract argumentation (Boella et al. 2005)].

show abstract

A causal approach to nonmonotonic reasoning

Cited by 22 publications

References 17 publications

On the Complexity of Input/Output Logic

On the Complexity of Input/Output Logic

Computational Complexity of Input/Output Logic

A logic of argumentation for specification and verification of abstract argumentation frameworks

Contact Info

Product

Resources

About