English
Related papers

Related papers: Creativity and Markov Decision Processes

200 papers

Human collaboration with systems within the Computational Creativity (CC) field is often restricted to shallow interactions, where the creative processes, of systems and humans alike, are carried out in isolation, without any (or little)…

Human-Computer Interaction · Computer Science 2022-05-13 Maria Teresa Llano , Mark d'Inverno , Matthew Yee-King , Jon McCormack , Alon Ilsar , Alison Pease , Simon Colton

Creativity is individual, and it is social. The social aspects of creativity have become of increasing interest as systems have emerged that mobilize large numbers of people to engage in creative tasks. We examine research related to…

Social and Information Networks · Computer Science 2012-04-19 Lixiu Yu , Jeffrey V. Nickerson , Yasuaki Sakamoto

The term serendipity describes a creative process that develops, in context, with the active participation of a creative agent, but not entirely within that agent's control. While a system cannot be made to perform serendipitously on…

Artificial Intelligence · Computer Science 2020-04-21 Joseph Corneli , Anna Jordanous , Christian Guckelsberger , Alison Pease , Simon Colton

We identify two pathological cases of temporal inconsistencies in video generation: video freezing and video looping. To better quantify the temporal diversity, we propose a class of complementary metrics that are effective, easy to…

Computer Vision and Pattern Recognition · Computer Science 2019-09-30 Vladyslav Yushchenko , Nikita Araslanov , Stefan Roth

Emerging artificial intelligence (AI) applications often balance the preferences and impacts among diverse and contentious stakeholder groups. Accommodating these stakeholder groups during system design, development, and deployment requires…

Computers and Society · Computer Science 2022-11-16 Sean McGregor

Markov decisions processes (MDPs) are becoming increasing popular as models of decision theoretic planning. While traditional dynamic programming methods perform well for problems with small state spaces, structured methods are needed for…

Artificial Intelligence · Computer Science 2013-01-30 Jesse Hoey , Robert St-Aubin , Alan Hu , Craig Boutilier

A key component of creativity is associative reasoning: the ability to draw novel yet meaningful connections between concepts. We introduce CREATE, a benchmark designed to evaluate models' capacity for creative associative reasoning. CREATE…

Computation and Language · Computer Science 2026-05-12 Manya Wadhwa , Tiasa Singha Roy , Harvey Lederman , Junyi Jessy Li , Greg Durrett

We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques is to improve performance by avoiding an exhaustive…

In adaptive systems, predictors are used to anticipate changes in the systems state or behavior that may require system adaption, e.g., changing its configuration or adjusting resource allocation. Therefore, the quality of predictors is…

Logic in Computer Science · Computer Science 2024-12-17 Christel Baier , Sascha Klüppelholz , Jakob Piribauer , Robin Ziemek

Creative processes are widely believed to involve the generation of multiple, discrete, well-defined possibilities followed by exploration and selection. An alternative, inspired by parallel distributed processing models of associative…

Neurons and Cognition · Quantitative Biology 2019-07-11 Liane Gabora , Adam Saab

We study planning problems where autonomous agents operate inside environments that are subject to uncertainties and not fully observable. Partially observable Markov decision processes (POMDPs) are a natural formal model to capture such…

Artificial Intelligence · Computer Science 2018-02-28 Steven Carr , Nils Jansen , Ralf Wimmer , Jie Fu , Ufuk Topcu

AI systems and technologies that can interact with humans in real time face a communication dilemma: when to offer assistance and how frequently. Overly frequent or contextually redundant assistance can cause users to disengage, undermining…

Human-Computer Interaction · Computer Science 2025-08-05 Mark Steyvers , Lukas Mayer

In conceptual modeling (CM), humans apply abstraction to represent excerpts of reality for means of understanding and communication, and processing by machines. Artificial Intelligence (AI) is applied to vast amounts of data to…

Software Engineering · Computer Science 2023-03-14 Dominik Bork , Syed Juned Ali , Ben Roelens

As AI systems increasingly shape decision making in creative design contexts, understanding how humans engage with these tools has become a critical challenge for interactive intelligent systems research. This paper contributes a challenge…

Human-Computer Interaction · Computer Science 2025-10-29 Sean P. Walton , Ben J. Evans , Alma A. M. Rahat , James Stovold , Jakub Vincalek

Foundation models that are capable of automating cognitive tasks represent a pivotal technological shift, yet their societal implications remain unclear. These systems promise exciting advances, yet they also risk flooding our information…

Computers and Society · Computer Science 2025-05-27 Judy Hanwen Shen , Carlos Guestrin

We present a general framework for applying machine-learning algorithms to the verification of Markov decision processes (MDPs). The primary goal of these techniques is to improve performance by avoiding an exhaustive exploration of the…

This paper proposes a framework for computational modeling of artistic painting algorithms, inspired by human creative practices. Based on examples from expert artists and from the author's own experience, the paper argues that creative…

Artificial Intelligence · Computer Science 2022-05-24 Aaron Hertzmann

Creativity serves as a cornerstone for societal progress and innovation. With the rise of advanced generative AI models capable of tasks once reserved for human creativity, the study of AI's creative potential becomes imperative for its…

Analysis of Markov Decision Processes (MDP) is often hindered by state space explosion. Abstraction is a well-established technique in model checking to mitigate this issue. This paper presents a novel lazy abstraction method for MDP…

Logic in Computer Science · Computer Science 2024-06-04 Dániel Szekeres , Kristóf Marussy , István Majzik

Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a critical resource, such as electric power. Each action of the…

Formal Languages and Automata Theory · Computer Science 2020-05-18 František Blahoudek , Tomáš Brázdil , Petr Novotný , Melkior Ornik , Pranay Thangeda , Ufuk Topcu