2,490 research outputs found
Experimental Results for the PRICAI 2023 Paper ``Detecting AI Planning Modelling Mistakes -- Potential Errors and Benchmark Domains''
No full textThis repository contains data related to the following paper:
An overview of which domains have been tested on which software, refer to the following paper:
@InProceedings{Sleath2023PossibleModelingErrors,
author = {Kayleigh Sleath and Pascal Bercher},
title = {Detecting AI Planning Modelling Mistakes -- Potential Errors and Benchmark Domains},
booktitle = {Proceedings of the 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2023)},
year = {2023},
publisher = {Springer}
}
Specifically, it contains:
- the benchmarks used in the paper.
- screenshots of the output of call commands to the respective software artifacts
(the actual call commands are only contained in some of them)
- excel tables collecting the results
Please note:
(1) These benchmark problems are just copied in here for the sake of completeness and transparency. But if you are actually interested in using them, please use the newest version, which might have corrections and additional test cases. You find it here: https://github.com/ProfDrChaos/flawedPlanningModels
(2) Please also note that the screenshots of our tests might not perfectly fit the folder structure of our benchmarks because we made some minor restructurings after the paper submission. Specifically, some test cases that we classified as syntactical in the submission were then changed into a semantic ones for the camera-ready version. (Hence the paths in the screenshots or tables might be slightly different.)
(3) Also note that by the time you read this, several errors undetected by these systems at the time of the evaluation might be resolved by now. (We included the version numbers of the tested software.
Laying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems)
No full textBuilding upon recent advancements in formalising Fully Observable Non-Deterministic (FOND) Hierarchical Task Network (HTN) planning, we present the first approach to find strong solutions for HTN problems with uncertainty in action outcomes. We present a search algorithm, along with a compilation that relaxes a FOND HTN problem to a deterministic one. This allows the utilisation of existing grounders and heuristics from the deterministic HTN planning literature.Pascal Bercher is the recipient of an Australian Research Council (ARC) Discovery Early Career Researcher Award (DECRA), project number DE240101245, funded by the Australian Government.Peer-reviewe
Samuel Beckett and the Writers of Port-Royal
Get PDFIt has been observed that ‘the literary influences on Beckett have been far more important than has been acknowledged, and more important indeed, than the philosophical influences’ (Smith 2002: 3). The truth of this statement is evidenced by the description that scholars have given of Samuel Beckett’s relationship to seventeenth century French classicism. To date, critical interest has been limited for the most part to the figure of the philosopher René Descartes on the (fragile) grounds that Beckett was exclusively concerned with the Cartesian imperative of clarity and order, the fundamental dualism between body and mind, and Nominalism.
Together with the assumption that Beckett’s vision was essentially Cartesian, his literary filiation with Pascal was suggested by critics, but only in terms of Beckett’s formal approach to the theatre. In his short article on En attendant Godot in 1953, the playwright Jean Anouilh was among the first reviewers to suggest that Beckett’s drama synthesizes the encounter between ‘classicism’ and a ‘modern’ form of art. It is well known that Beckett retained a lifelong admiration for Pascal – indeed, Pascal was one of his ‘old chestnuts’ (Knowlson 1997: 653). Little attention has been paid, however, to the originality of Pascal’s thought, the specific nature of his prose, and the impact these might have had upon Beckett’s mature work, especially the trilogy and the subsequent short prose. Yet, in the literary and philosophical context of post-war France, Beckett’s filiation with Pascal, their corresponding preoccupations, were evident to his contemporaries, who identified Pascal as an underlying presence in his works
Hybrid planning - from theory to practice
No full textThis work lays fundamental groundwork for the development of so-called Companion Systems - cognitive technical systems that are capable to reason about themselves, their users and environment, and to plan a course of action to achieve their users' goals. They are intelligent devices that assist their users in operating them: instead of the user having to learn how to operate the respective system, the system is intelligent and flexible enough to provide its functionality in a truly user-friendly way.
To fully meet a user's demands, Companion Systems rely on a multi-facet of capabilities that stem from different disciplines, such as Artificial Intelligence (AI) planning, knowledge representation and reasoning, dialog management, and user interaction management, to name just a few. This thesis focuses on the relevant aspects of AI planning technology that are of importance for such systems. AI planning is the central technology for many Companion Systems as it allows to compute a course of action that, if followed by its user, achieves his or her goals and therefore serves as a basis of providing advanced user assistance. This thesis is concerned with hybrid planning - a hierarchical planning formalism that is especially suited for the basis of providing assistance to human users. Based on this formalism we will investigate the full endeavor of developing Companion Systems - from theory to practice.
The thesis presents a novel formalization for hierarchical planning problems, which has become a standard in the field. We present a categorization of different problem classes into which hybrid planning as well as other well-known problem classes fall. This formalization allowed to prove a series of novel complexity results that are of interest both for theoretical and practical considerations. For many of the identified classes we introduce novel heuristics that are used to speed up the solution generation process. Some of them are the very first for the respective problem class, and some are the first admissible ones, thereby allowing to find optimal solutions -- which is especially important when plans are generated for human users. We apply hybrid planning in a prototypical Companion System. It assists a user in the task of setting up a complex home entertainment system. Based on a declarative (planning) model of the available hardware and its functionality, the assistant computes a sequence of actions that the user simply needs to follow to complete the setup task. Several so-called user-centered planning capabilities are applied in this system, such as a technique for generating user-friendly linearizations of non-linear plans or the capability to answer questions about the necessity of actions - an essential property to ensure transparency of the system's behavior.
In conclusion: Most modern technical devices are still lacking true intelligence - since no research such as AI planning is sufficiently applied, so there is still huge potential in making such devices really smart by implementing them as cognitive systems that effectively assist their human users. Applying the research presented in this thesis is one step towards achieving this goal
Sabil and Wikala of Dhul Fiqar Oda Bashi
No full textinterior, courtyard, "Vue de l'Okel Zoulfiqar," color plate XLIV of Pascal Coste's "Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826", 1818-182
First person - Aude Pascal
No full textInternational audienceFirst Person is a series of interviews with the first authors of a selection of papers published in Journal of Cell Science, helping early-career researchers promote themselves alongside their papers. Aude Pascal is first author on `Annexin A2 and Ahnak control cortical NuMA-dynein localization and mitotic spindle orientation', published in JCS. Aude is a research assistant in the lab of Re ' gis Giet at University of Rennes, France, who is particularly interested in developmental biology. She has always been struck by the fact that a whole organism displaying multiple functions arises from a single cell. For this reason, she has oriented her research on mitosis and meiosis to study the different steps, components and structures involved in these processes
Pascal Tutorial, 1987
Get PDFThere exists a limited number of tutorials for the Pascal programming language using the Apple Computer. The demand for these tutorials exceeds the supply. In this thesis an attempt was made to rectify this shortage by designing a Pascal tutorial for the Apple computer. This Pascal tutorial is designed to assist with instructing an introductory computer programming course in Pascal, incorporating Apple Superpilot as the authoring language. Emphasis is placed on making the program "user friendly." A person with no previous programming experience should be able to easily execute this tutorial. The information presented as the subject matter of the tutorial will follow the guidelines recommended by the Association for Computing Machinery
Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826
No full textgeneral view, "Vue des Tombeaux au Nord-Est de la Ville," color plate LXIII of Pascal Coste's "Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826", 1818-182
Gamia el-Muaiyad
No full textinterior, qibla wall, "Vue de la Niche du Sanctuaire et de la Chaire de la Mosquee el Moyed"," color plate XXVIII of Pascal Coste's "Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826", 1818-182
Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826
No full textsection, section of the prayer hall, and details of inscription and chandelier, Plate XXIII of Pascal Coste's "Architecture arabe; ou, Monuments du Kaire, mesurés et dessinés, de 1818 à 1826
- …
