Ramification and causality

Thielscher, Michael

doi:10.1016/s0004-3702(96)00033-1

Cited by 123 publications

(93 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…One of the main motivations behind our work has been to furnish a framework with which we can analyse such aspects of commonsense reasoning as causal reasoning, as identified by McCain & Turner [1], Lin [9], Thielscher [10], Sandewall [11], among others. In this respect, this paper is an attempt to lay the groundwork for such an analysis.…”

Section: Resultsmentioning

confidence: 99%

On the Intended Interpretations of Actions

Jauregui

Pagnucco

Foo

2004

PRICAI 2004: Trends in Artificial Intelligence

View full text Add to dashboard Cite

Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam's razor-we should accept the simplest hypothesis explaining the observed phenomena-to generalise the commonsense law of inertia. In particular, we identify the intended interpretation of an action as the simplest transformation induced by an action on a world to produce a possible successor. We formalise the notion of simplicity of a transformation as its conditional Kolmogorov complexity. Finally we show that the framework can solve simple commonsense reasoning problems and indicate its role as a first step towards capturing commonsense notions of causation.

show abstract

Section: Resultsmentioning

confidence: 99%

On the Intended Interpretations of Actions

Jauregui

Pagnucco

Foo

2004

PRICAI 2004: Trends in Artificial Intelligence

View full text Add to dashboard Cite

show abstract

“…We note that technically, our reduction axioms in terms of a causality relation are close to causality-based solutions to the ramification problem in reasoning about actions [18,24,25,31,28].…”

Section: Related Workmentioning

confidence: 99%

A Dynamic Logic of Institutional Actions

Herzig¹,

Lorini²,

Troquard³

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and institutional facts and actions; (2) the distinction between causality and 'counts-as'; (3) the notion of institutional power. Technically, our contribution consists in extending a dynamic logic of propositional assignments with constructions allowing to express that an agent plays a given role; that a physical action causes another physical action; that a physical action performed by an agent playing a given role counts as an institutional action.

show abstract

“…The most detailed and promising approaches to the Ramification Problem depend on the development of theories of common sense causation, and therefore are closely related to the causal approaches to reasoning about time and action discussed below in Section 4.6. See, for instance, [ Lin, 1995, Thielscher, 1989, Giunchiglia et al, 1997 .…”

Section: Nonmonotonic Treatments Of Inertia and A Package Of Problemsmentioning

confidence: 99%

Logic and Artificial Intelligence

Thomason¹

2009

The Development of Modern Logic

View full text Add to dashboard Cite

Ramification and causality

Cited by 123 publications

References 23 publications

On the Intended Interpretations of Actions

On the Intended Interpretations of Actions

A Dynamic Logic of Institutional Actions

Logic and Artificial Intelligence

Contact Info

Product

Resources

About