This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...) to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)
The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly repetitive. A (...) check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)
This issue of Mélusine pursues the research initiated in 1982 on the surrealist book, without giving the last word on such a complex subject. Demonstrating erudition worthy of La Revue d'histoire littéraire de la France, the contributors propose new ideas and points of view. By the sheer abundance of technical terms, the articles would have astonished the avant-garde poets and artists in question, who were so very fond of entertainment. Some contributors examine the illustrated book, the artist's book and the (...) book-object in general as surrealist publications, while others focus on a single book or even on the non-book imagined by André Breton.In her introduction, editor Andrea Oberhuber describes the evolution of .. (shrink)
Andrea Staiti, Geistigkeit, Leben und geschichtliche Welt in der Transzendentalphänomenologie Husserls Content Type Journal Article Pages 1-6 DOI 10.1007/s10743-012-9103-8 Authors Nicholas de Warren, Department of Philosophy, Wellesley College, Wellesley, MA 02481, USA Journal Husserl Studies Online ISSN 1572-8501 Print ISSN 0167-9848.
« Météorite tombé de l’autre côté du Rhin, Dietrich ne semble d’aucun temps philosophique assignable, rebelle à tous les « ismes », splendide, mais isolé – d’un mot : “Teutonique” ». C’est la connaissance de ce grand penseur, Theodoricus Teutonicus von Vriberg, Thierry ou Dietrich de Freiberg en français, que vient enrichir la thèse de doctorat d’Andrea Colli, publiée en 2010 aux éditions Marietti. Cette recherche prolonge la redécouverte de cet « épineux outsider » dont le coup de lancement (...) .. (shrink)
En este trabajo presentamos la traducción del latín al español de la carta de Giovanni Pico della Mirandola a su amigo Andrea Corneo de Urbino con introducción y notas. En el texto, Pico expone sus puntos de vista respecto una de las cuestiones que tuvo en vilo a los intelectuales del siglo XV: la de la elección entre la vida activa y la contemplativa. La carta trata, además, del llamado "incidente de Arezzo", un confuso episodio en el que el (...) joven conde raptó a la esposa de Giuliano Mariotto de' Medici. A lo largo del texto Pico se revela como imitador de los autores clásicos latinos, entre ellos, Séneca, Horacio, Gelio, Plauto, Terencio y especialmente Cicerón. In this paper, we offer the translation from latin to spanish of Giovanni Pico della Mirandola's letter to his friend Andrea Corneo from Urbino with introduction and notes. In this text, Pico presents his points of view about one of the most important problems along the fifteenth century: the choice between active and contemplative life. In addition, the letter enter upon the so-called "incident of Arezzo", a confusing episode in which the young count kidnapped Giuliano Mariotto de' Medici's wife. Along the text, Pico reveals himself as classical latin authors's imitator, among others, Seneca, Horace, Gellius, Plautus, Terence and specially Cicero. (shrink)
L’ouvrage Spiritualité, vie et monde historique dans la phénoménologie transcendantale de Husserl est la version remaniée de la thèse d’Andrea Sebastiano Staiti, soutenue en février 2009. L’ouverture proposée résulte d’un constat bibliographique : Husserl, dans son projet d’une étude de la conscience transcendantale pure, s’est également confronté à des thèmes tels que l’intersubjectivité, l’histoire, l’éthique, la culture ou encore la théologie. Parmi ses nombreux thèmes, l’histoire est choi..
Perhaps almost all non-theists will agree that ‘the problem of evil’ has some role in their reasons for rejecting traditional Western theism. When they consult their intuitions, non-theists typically do not find it credible to suppose that this is the kind of world which could have been created by an all-powerful, all-knowing, all-good being. Moreover, when they review their reasons for non-belief, non-theists typically find that a catalogue of the amounts and kinds of evils which are to be found in (...) the world adds some weight to the case against the existence of such a being. (shrink)
In this provocative book, Nye argues that feminist attempts to spin coherent theories from the threads of the various philosophies of man fail as the patriarchal assumptions of each theory resist and undermine every effort. Nevertheless, she claims, although the threads cannot be woven into a coherent tapestry, as dedicated feminist Arachnes meticulously separate strand from strand, "the mechanisms of oppression are finally understood" and the patriarchal tapestries begin to unravel.