English
Related papers

Related papers: Plan-Based Derivation of General Functional Struct…

200 papers

Many combinatorial problems arising in machine learning can be reduced to the problem of minimizing a submodular function. Submodular functions are a natural discrete analog of convex functions, and can be minimized in strongly polynomial…

Machine Learning · Computer Science 2015-03-17 Peter Stobbe , Andreas Krause

When using language models (LMs) to solve complex problems, humans might struggle to understand the LM-generated solutions and repair the flawed ones. To assist humans in repairing them, we propose to automatically decompose complex…

Computation and Language · Computer Science 2025-03-04 Jiaxin Wen , Ruiqi Zhong , Pei Ke , Zhihong Shao , Hongning Wang , Minlie Huang

Image decomposition aims to analyze an image into elementary components, which is essential for numerous downstream tasks and also by nature provides certain interpretability to the analysis. Deep learning can be powerful for such tasks,…

Computer Vision and Pattern Recognition · Computer Science 2025-01-03 Sihan Wang , Shangqi Gao , Fuping Wu , Xiahai Zhuang

Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial…

Programming Languages · Computer Science 2007-05-23 Michael Leuschel , Maurice Bruynooghe

This paper addresses the limitations of a single agent in task decomposition and collaboration during complex task execution, and proposes a multi-agent architecture for modular task decomposition and dynamic collaboration based on large…

Artificial Intelligence · Computer Science 2025-11-04 Shuaidong Pan , Di Wu

Extending the idea of Even and Lehrer [3], we discuss a general approach to integration based on a given decomposition system equipped with a weighting function, and a decomposition of the integrated function. We distinguish two type of…

Functional Analysis · Mathematics 2015-01-05 Salvatore Greco , Radko Mesiar , Fabio Rindone , Ladislav Sipeky

Recognising that real-world optimisation problems have multiple interdependent components can be quite easy. However, providing a generic and formal model for dependencies between components can be a tricky task. In fact, a PMIC can be…

Artificial Intelligence · Computer Science 2019-03-19 Mohamed El Yafrani

Explainable AI is an important area of research within which Explainable Planning is an emerging topic. In this paper, we argue that Explainable Planning can be designed as a service -- that is, as a wrapper around an existing planning…

Artificial Intelligence · Computer Science 2019-08-15 Michael Cashmore , Anna Collins , Benjamin Krarup , Senka Krivic , Daniele Magazzeni , David Smith

This paper investigates how learning can be used to ease the design of high-quality paths for the assembly of deformable objects. Object dynamics plays an important role when manipulating deformable objects; thus, detailed models are often…

Robotics · Computer Science 2025-06-02 Yitaek Kim , Christoffer Sloth

This chapter presents methodological reflections on the necessity and utility of artificial intelligence in generative design. Specifically, the chapter discusses how generative design processes can be augmented by AI to deliver in terms of…

Artificial Intelligence · Computer Science 2023-10-16 Pirouz Nourian , Shervin Azadi , Roy Uijtendaal , Nan Bai

Automated management requires decomposing high-level user requests, such as intents, to an abstraction that the system can understand and execute. This is challenging because even a simple intent requires performing a number of ordered…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-16 Kristina Dzeparoska , Jieyu Lin , Ali Tizghadam , Alberto Leon-Garcia

Generalized planning accelerates classical planning by finding an algorithm-like policy that solves multiple instances of a task. A generalized plan can be learned from a few training examples and applied to an entire domain of problems.…

Robotics · Computer Science 2021-09-24 Aidan Curtis , Tom Silver , Joshua B. Tenenbaum , Tomas Lozano-Perez , Leslie Pack Kaelbling

A wide range of constraints can be compactly specified using automata or formal languages. In a sequence of recent papers, we have shown that an effective means to reason with such specifications is to decompose them into primitive…

Artificial Intelligence · Computer Science 2009-03-04 Claude-Guy Quimper , Toby Walsh

Cloud manufacturing system is a service-oriented and knowledge-based one, which can provide solutions for the large-scale customized production. The service resource allocation is the primary factor that restricts the production time and…

Systems and Control · Electrical Eng. & Systems 2024-07-01 Hao Yue , Yingtao Wu , Min Wang , Hesuan Hu , Weimin Wu , Jihui Zhang

This work makes explicit the degrees of freedom involved in modeling the dynamics of a network, or some other first-order property of a network, such as a measurement function. In previous work, an admissible function in a network was…

Optimization and Control · Mathematics 2022-11-15 Pedro Sequeira , João P. Hespanha , A. Pedro Aguiar

The definition and representation of planning problems is at the heart of AI planning research. A key part is the representation of action models. Decades of advances improving declarative action model representations resulted in numerous…

Artificial Intelligence · Computer Science 2022-06-22 Eyal Weiss , Gal A. Kaminka

We review the cumulant decomposition (a way of decomposing the expectation of a product of random variables (e.g. $\mathbb{E}[XYZ]$) into a sum of terms corresponding to partitions of these variables.) and the Wick decomposition (a way of…

Probability · Mathematics 2023-10-11 Chris MacLeod , Evgenia Nitishinskaya , Buck Shlegeris

We present a framework for deformable object manipulation that interleaves planning and control, enabling complex manipulation tasks without relying on high-fidelity modeling or simulation. The key question we address is when should we use…

Robotics · Computer Science 2020-08-31 Dale McConachie , Andrew Dobson , Mengyao Ruan , Dmitry Berenson

Large Language Models (LLMs) suffer from reliability issues on complex tasks, as existing decomposition methods are heuristic and rely on agent or manual decomposition. This work introduces a novel, systematic decomposition framework that…

Artificial Intelligence · Computer Science 2026-01-21 Tianle Zhou , Jiakai Xu , Guanhong Liu , Jiaxiang Liu , Haonan Wang , Eugene Wu

Recently, it has been shown that many functions on sets can be represented by sum decompositions. These decompositons easily lend themselves to neural approximations, extending the applicability of neural nets to set-valued inputs---Deep…

Machine Learning · Statistics 2020-04-09 Maximilian Soelch , Adnan Akhundov , Patrick van der Smagt , Justin Bayer
‹ Prev 1 4 5 6 7 8 10 Next ›