An Approximation of Action Theories of $\mathcal{AL}$ and Its Application to Conformant Planning

2005 ◽  
pp. 172-184 ◽  
Author(s):  
Tran Cao Son ◽  
Phan Huy Tu ◽  
Michael Gelfond ◽  
A. Ricardo Morales
Keyword(s):  
Conformant Planning ◽  
Action Theories

scholarly journals Approximation of action theories and its application to conformant planning

2011 ◽  
Vol 175 (1) ◽  
pp. 79-119 ◽  
Author(s):  
Phan Huy Tu ◽  
Tran Cao Son ◽  
Michael Gelfond ◽  
A. Ricardo Morales
Keyword(s):  
Conformant Planning ◽  
Action Theories

An invalid epistemological argument against double-action theories

Analysis ◽  
1978 ◽  
Vol 38 (1) ◽  
pp. 42-45
Author(s):  
N. Griffin
Keyword(s):  
Action Theories

scholarly journals Computing Superior Counter-Examples for Conformant Planning

2020 ◽  
Vol 34 (06) ◽  
pp. 10017-10024
Author(s):  
Xiaodi Zhang ◽  
Alban Grastien ◽  
Enrico Scala
Keyword(s):  
Theoretical Explanation ◽  
Improve Performance ◽  
Conformant Planning ◽  
Counter Example ◽  
The Right

In a counter-example based approach to conformant planning, choosing the right counter-example can improve performance. We formalise this observation by introducing the notion of “superiority” of a counter-example over another one, that holds whenever the superior counter-example exhibits more tags than the latter. We provide a theoretical explanation that supports the strategy of searching for maximally superior counter-examples, and we show how this strategy can be implemented. The empirical experiments validate our approach.

Atonement and the Work of Christ

2018 ◽  
pp. 84-97
Author(s):  
William J. Abraham
Keyword(s):  
Human Action ◽  
Divine Action ◽  
The Core ◽  
The World ◽  
Action Theories ◽  
Core Meaning

In sorting through how best to understand the work of Christ we need a narrative that captures the core meaning of “atonement” and a way to deploy the various theories that abound in the tradition. At the root of the issue is a narrative of reconciliation that highlights the serious alienation that exists between human agents and God. Fixing this problem requires both divine and human action. Theories of atonement seek to spell out the divine action involved. Each has its own advantage in developing complementary descriptions of what has gone wrong with the world and how to fix it.

Sign in / Sign up

Export Citation Format

Share Document