7,235 Hits in 5.5 sec

AI planning: a prospectus on theory and applications

Subbarao Kambhampati
1995 ACM Computing Surveys  
those for automating the complete planning problem.  ...  The need for planning arises naturally when an agent is interested in controlling the evolution of its environment.  ...  those for automating the complete planning problem.  ... 
doi:10.1145/212094.212118 fatcat:p3o3asbz6fggjnv6re7vwbx6wm

Distributed Optimization Framework for Industry 4.0 Automated Warehouses

Ajay Kattepur, Hemant Rath, Arijit Mukherjee, Anantha Simha
2018 EAI Endorsed Transactions on Industrial Networks and Intelligent Systems  
We use the motivating example of warehouse inventory automation to optimally allocate and distribute delivery tasks among multiple robotic agents.  ...  The optimization is decomposed using primal and dual decomposition techniques to operate in minimal latency, minimal battery usage or maximal utilization scenarios.  ...  Multi-agent Systems Classical architectures for control of distributed systems involve a central co-ordinating node.  ... 
doi:10.4108/eai.27-6-2018.155237 fatcat:g5pkl7w4jzb3ni3jg75s4ig55i

State-Space Reduction through Preference Modeling [chapter]

Radosław Klimek, Igor Wojnicki, Sebastian Ernst
2013 Lecture Notes in Computer Science  
Automated planning for numerous co-existing agents, with uncertainty caused by various levels of their predictability, observability and autonomy, is a complex task.  ...  This paper presents a formal framework which can be used to model such systems and proposes the use of formally-modeled agents' preferences as a way of reducing the number of states.  ...  For more abstract solutions, multi-agent systems are targeted. These include problem decomposition and agent scheduling.  ... 
doi:10.1007/978-3-642-38610-7_34 fatcat:rgnhsmy2rzfqphyawfbzzqgxu4

Preliminary Insides for an Anthropocentric Cyber-physical Reference Architecture of the Smart Factory

Constantin-Bala ZAMFIRESCU, Bogdan-Constantin PÂRVU, Jochen SCHLICK, Detlef ZÜHLKE
2013 Studies in Informatics and Control  
The classical view of cyber-physical systems is that the integration of computing, communication and control elements are considering only the physical and computational elements, neglecting the human  ...  This paper presents a view on an anthropocentric cyber-physical reference architecture for smart factories (ACPA4SF), where the key characteristic of its reference model relies on is its unified integrality  ...  ACPS Types The basic ACPS types for factory automation are well reflected in the decentralized approaches for factory automation (i.e. multiagent, holonic, service-oriented, etc.) where the decomposition  ... 
doi:10.24846/v22i3y201303 fatcat:jjaqmzeh2fgulp2jzkhe3fzj6a

A Planning Approach to the Recognition of Multiple Goals

Jianxia Chen, Yixin Chen, You Xu, Ruoyun Huang, Zheng Chen
2013 International Journal of Intelligent Systems  
In particular, we first propose the formulation of a multigoal recognition problem based on automated planning.  ...  Existing approaches for multigoal problems are probabilistic approaches.  ...  We thank Miguel Ramirez and Hector Geffner for providing a relevant code and data sets for our experiment. We also thank Dr. Jinyang Liu, Dr. Kilian Q.  ... 
doi:10.1002/int.21565 fatcat:neera7qd3bebjnabwfcuiyafh4

The PANDA Framework for Hierarchical Planning

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2021 Künstliche Intelligenz  
Besides solvers for planning problems based on plan space search, progression search, and translation to propositional logic, it also includes techniques for related problems like plan repair, plan and  ...  These various techniques share a common infrastructure, like e.g. a standard input language or components for grounding and reachability analysis.  ...  PANDA stands for Planning and A cting in a Network Decomposition Architecture.  ... 
doi:10.1007/s13218-020-00699-y fatcat:c6odx47a7bbz5ow755o6zaate4

Applying Agents for Engineering of Industrial Automation Systems [chapter]

Thomas Wagner
2003 Lecture Notes in Computer Science  
To this end, an agentoriented solution for integrated engineering of automation systems is presented, applying the advantages of agent concepts while considering the constraints of existing automation  ...  The goal of this paper is to clearly identify the specific goals and challenges in engineering industrial plants and to show that agents are a beneficial approach to meet them.  ...  The software in classical automation systems accomplishes the typical automation functions for control of the technical process [1] : control of sequences, signaling, handling, operating, monitoring and  ... 
doi:10.1007/978-3-540-39869-1_6 fatcat:nwfmx3jt7veippivf4w5ybolhq

Applications of SHOP and SHOP2

D. Nau, Tsz-Chiu Au, O. Ilghami, U. Kuter, H. Munoz-Avila, J.W. Murdock, D. Wu, F. Yaman
2005 IEEE Intelligent Systems  
To produce the decomposition tree in Figure 1a , for example, SHOP2 would decompose the tasks in the order t 1 , t 2 , t 3 , t 4 , t 5 , t 6 , t 7 , t 8 , t 9 , t 10 , and to produce the decomposition  ...  SHOP and SHOP2 are based on a planning formalism called hierarchical task network planning, which is described in more detail in the sidebar, "Automated and HTN Planning," on pages 36-37.  ...  Acknowledgments We are grateful to our user community for the information they gave us about how they use SHOP and SHOP2 in their projects.  ... 
doi:10.1109/mis.2005.20 fatcat:hcia6quokrfl5fc5ayk6mroxoq

Current Trends in Automated Planning

Dana S. Nau
2007 The AI Magazine  
by some agent or agents. 1 One motivation for automated-planning research is theoretical: planning is an important component of rational behavior-so if one objective of artificial intelligence is to grasp  ...  In automated-planning research, the word refers specifically to plans of action: representations of future behavior ... usually a set of actions, with temporal and other constraints on them, for execution  ...  by some agent or agents. 1 One motivation for automated-planning research is theoretical: planning is an important component of rational behavior-so if one objective of artificial intelligence is to grasp  ... 
doi:10.1609/aimag.v28i4.2067 dblp:journals/aim/Nau07 fatcat:adqd2q36dzgclmxxk3rjng5vbi

Markov Task Network: A Framework for Service Composition under Uncertainty in Cyber-Physical Systems

Abdul-Wahid Mohammed, Yang Xu, Haixiao Hu, Brighter Agyemang
2016 Sensors  
In this paper, we propose a cross-layer automation and management model for cyber-physical systems.  ...  This leverages the efficient inference algorithms of Markov logic networks to reduce both computational and inferential loads in task decomposition.  ...  Use Case Increasingly, the need for reliable automatic fire control systems inspires the use of automated HTN planning in smart homes.  ... 
doi:10.3390/s16091542 pmid:27657084 pmcid:PMC5038814 fatcat:wsblmirr7fcvhmvkm4ih4ijdua

Concept and implementation of an agent-based control architecture for a cyber-physical assembly system

Rainer Müller, Matthias Vette, Leenhard Hörauf, Christoph Speicher, Kruttika Jatti, P. Plapper, M. Guo, S. Suhag
2016 MATEC Web of Conferences  
Therefore, this paper presents a concept for an agent-based control architecture.  ...  Moreover, the agent manages the data transfer for the modules with different specific syntaxes via respective communication protocols since a standardized communication protocol does not exist in industry  ...  Figure 1 : 1 Transition from the classical automation pyramid to an agent-based control architecture Figure 2 : 2 Concept for consistent information usage and agent-based control 4 Implementation of  ... 
doi:10.1051/matecconf/20164204003 fatcat:ry2z74b2anedviwqfifyjydl5q

Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints

Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
2017 2017 IEEE International Conference on Robotics and Automation (ICRA)  
We further improve planning efficiency significantly for missions which consist of independent parts by using previous results regarding LTL decomposition.  ...  We present an efficient approach to plan action sequences for a team of robots from a single finite LTL mission specification.  ...  Based on the mission decomposition choices given by the decomposition set D, a team model can be constructed as follows to plan the optimal allocation of tasks across the team of agents.  ... 
doi:10.1109/icra.2017.7989094 dblp:conf/icra/SchillingerBD17 fatcat:rantd6dtkrf7jawqofn7inpcqi

Automated planning and scheduling for goal-based autonomous spacecraft

S. Chien, B. Smith, G. Rabideau, N. Muscettola, K. Rajan
1998 IEEE Intelligent Systems and their Applications  
UTOMATED PLANNING AND scheduling technology-we'll call it automated planning systems, for the sake of brevity-is applicable to a wide spectrum of spaceflight missions, from those with limited onboard computational  ...  Routine use of automated planning systems for both ground and onboard operations can greatly benefit spacecraft missions in several ways. Reduced costs.  ...  NASA's planning systems pro jet t s Our work has been part of a larger effort at NASA to extend and deploy automated-planning technology for spacecraft command.  ... 
doi:10.1109/5254.722362 fatcat:vwexwl4rznf2nfgh2lguodgzba

Comparative analysis of order allocation methods and intelligent systems for effective download of production capacities of manufacturing enterprise

S N Medvedev, K A Aksyonov, V N Kruglov
2019 Journal of Physics, Conference Series  
An automated system with the possibility of using simulation for the allocation of production orders is considered.  ...  A comparative review of the methods used in production planning systems and the multi-agent approach in solving the problem of the allocation of production orders is carried out.  ...  when applying classical mathematical approaches.  ... 
doi:10.1088/1742-6596/1210/1/012094 fatcat:orim7gwnfnfqhcyx62tevvw34i

Disruptive innovations in RoboCup 2D Soccer Simulation League: from Cyberoos'98 to Gliders2016 [article]

Mikhail Prokopenko, Peter Wang
2016 arXiv   pre-print
These methods included interactive debugging, machine learning, automated planning, and opponent modelling.  ...  A common feature is that different champion teams succeeded in finding a way to decompose the enormous search-space of possible single- and multi-agent behaviours, by automating the exploration of the  ...  Jauregui, for several important insights on soccer tactics used in Gliders2016 [37] .  ... 
arXiv:1612.00947v1 fatcat:yke3drnyn5arhlc3ppkrs6xan4
« Previous Showing results 1 — 15 out of 7,235 results