Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Graciela González, Chitta Baral & Michael Gelfond (2005). Alan: An Action Language for Modelling Non-Markovian Domains. Studia Logica 79 (1):115 - 134.In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model interactive multimedia presentations where the Markov property does not always hold. In general, Alan allows the specification of systems where the future state of the world depends not only on the current state, but also on the past states of the world. To the best of our knowledge, Alan is the first action language which incorporates causality with temporal formulas. In the process of defining the effect of actions we define the closure with respect to a path rather than to a state, and show that the non-Markovian model is an extension of the traditional Markovian model. Finally, we establish relationship between theories of Alan and logic programs.Reading list | Discuss | Edit | Categorize |My bibliography
| Export citation | Other links: jstor.org | Scholar | At my library 
Similar books and articles
Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique-attributable to Gentzen-that uses a double induction on the degree and on the rank of the cut formula is shown to be
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... It is commonly agreed that the well-known Lucas-Penrose arguments and even Penrose's 'new argument' in [Penrose, R. (1994): Shadows of the Mind, Oxford University Press] are inconclusive. It is, perhaps, less clear exactly why at least the latter is inconclusive. This note continues the discussion in [Lindström, P. (2001): Penrose's new
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... I defend the permissibility of paid surrogacy arrangements against the arguments Sara Ketchum advances in "Selling Babies and Selling Bodies." I argue that the arrangements cannot be prohibited out of hand on the grounds that they treat persons as objects of sale, because it is possible to view the payments made in these arrangements as
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... Fifteen essays are contained in this collection, all relating to Heinz Post’s article ‘Correspondence, Invariance and Heuristics’ (Post, 1971), also reprinted. In this article, written in the heyday of the post-positivist movement, Post aims to convince his fellowphilosophers of science to bring the issue of heuristics back to the philosophical stage. Examining a
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | More options ...
| | Scholar | More options ... In this second of two essays responding to critical discussion of my "Divine Hiddenness and Human Reason," I show how an 'accommodationist' strategy can be used to defuse objections that were not exposed as irrelevant by the first essay. This strategy involves showing that the dominant concern of reasons for divine withdrawal can be met
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... covenant. "Behold I establish my covenant with you and your descendants after you, and with every living creature that is with you, the birds, the cattle, and every beast of the earth with you" (Gen. 9.9-10). In modern terms, the covenant was both ecumenical and ecological. However, the ecological dimension is usually forgotten; recal
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | More options ...
| | Scholar | More options ... I argue that to be compelled to do routine work is to be gravely harmed. Indeed, that pink-collar work is a more serious harm to women than rape. My purpose is to urge politically active feminists and feminist organizations to arrange their priorities accordingly and devote most of their resources to working for the elimination
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... In several recent issues of this journal, I argued for an account of property possession as strict, numerical identity. While this account has stuck some as being highly idiosyncratic in nature, it is not entirely something new under the sun, since as I will argue in this paper, it turns out to have a historic precedentPlato in Ancient Greek and Roman Philosophy
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: dx.doi.org springerlink.com | Scholar | At my library | More options ...
| | Other links: dx.doi.org springerlink.com | Scholar | At my library | More options ... What is to be “protected†is US power and the interests it represents, not the world, which vigorously opposed the conception. Within a few months, studies revealed that fear of the United States had reached remarkable heights, along with distrust of the political leadership. An international Gallup poll in December, barely noted in the <
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | More options ...
| | Scholar | More options ... As the world watches the current crisis in Kosovo unfold through intensive daily media coverage, particularly by major networks in the US and Europe, one can only wonder why the same attention is not given to the crises in Africa. The military intervention by NATO allied forces, including the United States, to avert Milosevic’s genoci
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | More options ...
| | Scholar | More options ... Discussion of Graciela González , Chitta Baral & Michael Gelfond, Alan: An action language for modelling non-Markovian domains
 Back
All discussions
Start a new thread
|
There are no threads in this forum |
Nothing in this forum yet.
|
Institute of Philosophy
School of Advanced Study University of London |
|
Sponsored by the Joint Information Systems Committee as part of the
Information Environment Programme |
|
Centre for Consciousness
Research School of Social Sciences Australian National University |
Use of this site is subject to terms & conditions.
All rights reserved by PhilPapers Ltd
Unit 11, 60 Great Russell St, London, WC1B 3BE, United Kingdom
