Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 30 for “"Automated planning"”.
-
Efficient Automated Planning with New Formulations
… problem is formulated. This fact also applies to automated planning, a key field in artificial intelligence research. Classical planning used to be dominated by STRIPS formulation, a simple model based on propositional logic. In the recently introduced SAS+ formulation, the multi-valued variables …
-
Knowledge engineering techniques for automated planning
Formulating knowledge for use in AI Planning engines is currently some-thing of an ad-hoc process, where the skills of knowledge engineers and the tools they use may significantly influence the quality of the resulting planning application. There is little in the way of guidelines or standard …
-
Solving Automated Planning Problems with Parallel Decomposition
… method to address the complexity of solving automated planning problems. We have found many planning problems have good locality which means their actions can be clustered in such a way that nearby actions in the solution plan are usually also from the same cluster. We have also observed that …
-
Automated planning for hydrothermal vent prospecting using AUVs
… presents two families of novel algorithms for automated planning under uncertainty. It focuses on the domain of searching the ocean floor for hydrothermal vents, using autonomous underwater vehicles (AUVs). This is a hard problem because the AUV's sensors cannot directly measure the range or …
-
Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces
… combining temporal logics on finite traces with automated planning, which is an AI model-based approach to producing autonomous behavior and solving the problem of sequential decision-making. Despite the ample literature on the application of linear temporal logics on finite traces, LTLf and …
-
Characterizing anti-forensic attackers in cybersecurity domains with Stackelberg planning
… artificial intelligence has enabled large-scale, automated cyberattacks capable of targeting critical infrastructure with unprecedented speed. Since a perfect defense is often unattainable in complex networks, defenders must strategically force attackers into either objective failure or leaving a …
-
Human-guided management of collaborating unmanned vehicles in degraded communication environments
… the interaction of human supervisory control, automated planning, and network communication. This research investigates the robustness of UAS performance under degraded communication conditions through simulation with a particular futuristic UAS, the On-board Planning System for UxVs in Support …
-
Integrating Deterministic Planning and Reinforcement Learning for Complex Sequential Decision Making
… We propose an algorithm which combines automated planning withhierarchical reinforcement learning in order to take advantage of the model when it is availableand sample from the environment when it is not. We prove that the same guarantees of optimalitythat apply to hierarchical …
-
Decision support tool for dynamic workforce scheduling in manufacturing environments \
… environments requires an immense amount of planning. A large number of factors such as part availability, production cost, space constraints and labor supply must be taken into account. Considering these factors, tasks are scheduled into shifts and allocated the required human resources. …
-
PDDL.jl: An Extensible Interpreter and Compiler Interface for Fast and Flexible AI Planning
The Planning Domain Definition Language (PDDL) is a formal specification language for symbolic planning problems and domains that is widely used by the AI planning community. However, most implementations of PDDL are closely tied to particular planning systems and algorithms, and are not designed …
-
Computational creativity applications in engineering
… design space for experiments. We then apply automated planning techniques to generate experiment procedures. We further use functional modeling to represent the experiment devices and demonstrate how that representation enables the planner to generate a valid Rube Goldberg Machine. Finally, a …
-
Facilitating user understanding of optimizations : a case study of channel route network planning
As more complex and important tasks become automated, the human-system interface is becoming more prominent. It is necessary for users to trust the systems performing these tasks; otherwise, they are unlikely to use the system. Automated planning is one such task. An integral part of planning …
-
Solving general game playing puzzles using heuristics search
… puzzles. Solving puzzles is more similar to planning algorithms than the search methods used for two- or multi-player games. General problem solving has been a topic addressed by the planning community for years. In this thesis we adapt heuristic search methods for automated planning to use …
-
Planning under time pressure
… used pervasively in artificial intelligence and automated planning. Often an agent is given a task that it would like to solve as quickly as possible. It must allocate its time between planning the actions to achieve the task and actually executing them. We call this problem planning under time …
-
From Smart Entities Design to the Smart EM Planning and Optimization
… (EM) waves. In this thesis, firstly an optimal planning of electromagnetic skins (EMSs) in outdoor wireless scenarios is addressed to restore/enhance the received power in a given region-of-interest (RoI). Towards this aim, a novel instance of the System-by-Design (SbD) paradigm is developed to …
-
Algorithmic planning for robotic assembly of building structures
… the algorithmic foundations for applying automated planning techniques to program robots to assemble discrete spatial structures. Benefitting from the robot’s capacity for moving, positioning, and holding elements precisely, robotic assembly aims to neutralize the cost and time impact of …
-
Interactive generation of effective discourse in situated context : a planning-based approach
… their environment. Using efficient methods from automated planning - the field of artificial intelligence concerned with finding courses of action that can achieve a goal -, we generate discourse that interactively guides a hearer through completing their task. Our approach addresses the …
-
Geometric-based reasoning system for project planning utilizing AI and CAD technologies
Traditional planning and scheduling techniques have played an important role is system analysis over the last three decades. They provide construction planners with mathematical models to simulate the construction process as an aid in planning and control of complex projects. Although these …
-
Generalization in Planning
… the issues involved in generalization. In automated planning, where the objectives are to design systems that are capable of finding courses of action to achieve specific goals given a formal description of their environment, we can say that a system exhibits generalization capabilities if …
-
An Educational Framework to Support Industrial Control System Security Engineering
… guide developers in security engineering, and an automated planning technique to provide adaptive on-the-job security training tailored to personal needs. The usability of ICS-SES has been evaluated using an empirical study in terms of its effectiveness in assisting the design of secure control …
Page 1 of 2