Titlebook: Knowledge Engineering Tools and Techniques for AI Planning; Mauro Vallati,Diane Kitchin Book 2020 Springer Nature Switzerland AG 2020 Arti

物种起源

Formal Knowledge Engineering for Planning: Pre and Post-Design Analysising is a promising technology for enabling intelligent behavior in complex autonomous systems. To use planning technology, however, one has to create a knowledge base from which the input to the planner will be derived. This process requires advanced knowledge engineering tools, dedicated to the acq

Cholagogue

蚊帐

Modeling Planning Tasks: Representation Matterse task description as an input and generate plans (if they exist). A planning domain model gives general description of the environment and actions of a given domain while a planning problem specifies concrete objects, an initial state, and a goal. Planning domain model together with planning proble

四溢

An Interactive Tool for Plan Generation, Inspection, and Visualizationanning problems, which otherwise would require much greater human planning efforts or much more computational resources. In this approach to plan generation, it is important to have effective plan visualization capabilities, as well to support the user with some interactive capabilities for the huma

脆弱带来

Interactive Visualization in Planning and Schedulinge activities to limited time and resources for execution (scheduling). However, regarding the tools supporting the planning and scheduling processes, these two areas are still far from each other. Progress in scheduling has been driven by industry and many techniques and tools to support the schedul

Root494

Argument-Based Plan Explanationral language generation and visualisation technologies. We describe how arguments can be generated from domain rules, and how justified arguments can be identified through dialogue, allowing the system to use such a dialogue to explain a plan. We provide information about our prototype system implem

保留

Fecundity

鼓掌

鬼魂

Planning in a Real-World Application: An AUV Case Studystate to some required goal state. In a nutshell, automated planning is a tool for deliberative reasoning which intelligent entities can use to find strategies (plans) for achieving longer-term goals. There are many successful real-world applications ranging from space and planet observations, Urban