English
Related papers

Related papers: Intent-Driven Computing: A Computational Model for…

200 papers

Recent advances in theoretical biology suggest that basal cognition and sentient behaviour are emergent properties of in vitro cell cultures and neuronal networks, respectively. Such neuronal networks spontaneously learn structured…

Software development is undergoing a fundamental transformation as vibe coding becomes widespread, with large portions of contemporary codebases now being generated by Artificial Intelligence (AI). The disconnect between rapid adoption and…

Software Engineering · Computer Science 2026-01-09 Christian Meske , Tobias Hermanns , Esther von der Weiden , Kai-Uwe Loser , Thorsten Berger

Biological systems often choose actions without an explicit reward signal, a phenomenon known as intrinsic motivation. The computational principles underlying this behavior remain poorly understood. In this study, we investigate an…

Artificial Intelligence · Computer Science 2023-01-05 Stas Tiomkin , Ilya Nemenman , Daniel Polani , Naftali Tishby

In collaborative human-robot manipulation, a robot must predict human intents and adapt its actions accordingly to smoothly execute tasks. However, the human's intent in turn depends on actions the robot takes, creating a chicken-or-egg…

Robotics · Computer Science 2024-06-04 Kushal Kedia , Atiksh Bhardwaj , Prithwish Dan , Sanjiban Choudhury

The ability of human beings to precisely recog- nize others intents is a significant mental activity in reasoning about actions, such as, what other people are doing and what they will do next. Recent research has revealed that human…

Human-Computer Interaction · Computer Science 2018-03-13 Xiang Zhang

This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute the primary objects of study. In this setting, models of…

Logic in Computer Science · Computer Science 2026-05-19 Thomas Seiller

This article presents a formal model demonstrating that genuine autonomy, the ability of a system to self-regulate and pursue objectives, fundamentally implies computational unpredictability from an external perspective. we establish…

Artificial Intelligence · Computer Science 2025-09-17 Poria Azadi

Robot understanding of human intentions is essential for fluid human-robot interaction. Intentions, however, cannot be directly observed and must be inferred from behaviors. We learn a model of adaptive human behavior conditioned on the…

Robotics · Computer Science 2019-01-23 Min Chen , David Hsu , Wee Sun Lee

Intent detection is an essential component of task oriented dialogue systems. Over the years, extensive research has been conducted resulting in many state of the art models directed towards resolving user's intents in dialogue. A variety…

Computation and Language · Computer Science 2018-12-10 Pratik Jayarao , Aman Srivastava

In the era of conversational AI, generating accurate and contextually appropriate service responses remains a critical challenge. A central question remains: Is explicit intent recognition a prerequisite for generating high-quality service…

Computation and Language · Computer Science 2025-09-08 Inbal Bolshinsky , Shani Kupiec , Almog Sasson , Yehudit Aperstein , Alexander Apartsin

Embodied agents are evolving from passive reasoning systems into active executors that interact with tools, robots, and physical environments. Once granted execution authority, the central challenge becomes how to keep actions governable at…

Robotics · Computer Science 2026-05-22 Xue Qin , Simin Luan , John See , Cong Yang , Zhijun Li

Since Searle's work deconstructing intent and intentionality in the realm of philosophy, the practical meaning of intent has received little attention in science and technology. Intentionality and context are both central to the scope of…

Artificial Intelligence · Computer Science 2025-07-15 Mark Burgess

The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are…

Logic in Computer Science · Computer Science 2016-01-12 Bas Luttik , Fei Yang

Reducing energy consumption is one of the key challenges in computing technology. One factor that contributes to high energy consumption is that all parts of the program are considered equally significant for the accuracy of the end-result.…

Though many safety-critical software systems use floating point to represent real-world input and output, programmers usually have idealized versions in mind that compute with real numbers. Significant deviations from the ideal can cause…

Logic in Computer Science · Computer Science 2018-05-02 Benjamin Sherman , Luke Sciarappa , Adam Chlipala , Michael Carbin

In purely functional programming languages imperative features, more generally computational effects are prohibited. However, non-functional lan- guages do involve effects. The theory of decorated logic provides a rigorous for- malism (with…

Logic in Computer Science · Computer Science 2014-11-27 Burak Ekici

Large language models (LLMs) open new possibilities for agentic control in Open RAN, allowing operators to express intents in natural language while delegating low-level execution to autonomous agents. We present A1gent, an agentic RAN…

Networking and Internet Architecture · Computer Science 2026-04-16 Hengxu Li , Dongkuan Xu , Mingzhe Chen , Yuchen Liu

Intent-based network (IBN) is a promising solution to automate network operation and management. IBN aims to offer human-tailored network interaction, allowing the network to communicate in a way that aligns with the network users'…

Networking and Internet Architecture · Computer Science 2026-04-06 Salwa Mostafa , Mohamed K. Abdel-Aziz , Mohammed S. Elbamby , Mehdi Bennis

With the human friendly declarative intent policy expression, intent-driven network can make network management and configuration autonomous without human intervention. However, the availability and dependability of these refined policies…

Networking and Internet Architecture · Computer Science 2022-12-21 Yanbo Song , Chungang Yang , Jiaming Zhang , Xinru Mi , Dusit Niyato

What does it mean to claim that a physical or natural system computes? One answer, endorsed here, is that computing is about programming a system to behave in different ways. This paper offers an account of what it means for a physical…

Information Theory · Computer Science 2013-06-18 Hector Zenil