中文
相关论文

相关论文: Anumati: Proof of Adherence as a Formal Consent Mo…

200 篇论文

Agentic AI shifts LLM serving from isolated prompt-generation requests to stateful, multi-turn executions that repeatedly invoke the model, call tools, and grow context over time. This paper characterizes ReAct-style agents from both the…

分布式、并行与集群计算 · 计算机科学 2026-05-27 Yichao Yuan , Ankita Nayak , Souvik Kundu , Nishil Talati

The proliferation of autonomous AI agents within enterprise environments introduces a critical security challenge: managing access control for emergent, novel tasks for which no predefined policies exist. This paper introduces an advanced…

密码学与安全 · 计算机科学 2025-10-14 Charles Fleming , Ashish Kundu , Ramana Kompella

Usage control models provide an integration of access control, digital rights, and trust management. To achieve this integration, usage control models support additional concepts such as attribute mutability and continuity of decision.…

计算机科学中的逻辑 · 计算机科学 2018-06-27 Antonios Gouglidis , Christos Grompanopoulos , Anastasia Mavridou

We often assume that agent-to-agent interaction will mirror human conversation. However, agents operate fundamentally differently. What if they could develop communication patterns that are more efficient and better aligned with their…

密码学与安全 · 计算机科学 2026-02-03 Marco De Rossi

Large Language Model (LLM)-based agents increasingly interact, collaborate, and delegate tasks to one another autonomously with minimal human interaction. Industry guidelines for agentic system governance emphasize the need for users to…

密码学与安全 · 计算机科学 2025-09-01 Georgios Syros , Anshuman Suri , Jacob Ginesin , Cristina Nita-Rotaru , Alina Oprea

Robotic systems are moving from isolated platforms to interconnected multi-agent ecosystems that operate in human environments. This shift raises a governance problem that existing frameworks do not address: how does consent propagate,…

计算机与社会 · 计算机科学 2026-05-19 Mehmet Haklidir

As learned control policies become increasingly common in autonomous systems, there is increasing need to ensure that they are interpretable and can be checked by human stakeholders. Formal specifications have been proposed as ways to…

人机交互 · 计算机科学 2024-07-04 Isabelle Hurley , Rohan Paleja , Ashley Suh , Jaime D. Peña , Ho Chit Siu

Accountability is a recent paradigm in security protocol design which aims to eliminate traditional trust assumptions on parties and hold them accountable for their misbehavior. It is meant to establish trust in the first place and to…

密码学与安全 · 计算机科学 2019-05-09 Robert Künnemann , Ilkan Esiyok , Michael Backes

Large language models are increasingly proposed as autonomous agents for high-stakes public workflows, yet we lack systematic evidence about whether they would follow institutional rules when granted authority. We present evidence that…

人工智能 · 计算机科学 2026-03-20 Vedanta S P , Ponnurangam Kumaraguru

The present approach highlights the synergies between application integration and interaction protocols. Since both fields have advanced in different directions, a number of important technical problems can be addressed by their proper…

多智能体系统 · 计算机科学 2013-11-26 Djamel Benmerzoug

Multi-agent systems represent a significant advancement in artificial intelligence, enabling complex problem-solving through coordinated specialized agents. However, these systems face fundamental challenges in context management,…

多智能体系统 · 计算机科学 2025-05-01 Naveen Krishnan

As Large Language Models (LLMs) evolve from code generators into collaborative partners for software engineers, our methods for evaluation are lagging. Current benchmarks, focused on code correctness, fail to capture the nuanced,…

软件工程 · 计算机科学 2026-01-01 Tao Dong , Harini Sampath , Ja Young Lee , Sherry Y. Shi , Andrew Macvean

Reasoning and planning for mobile robots is a challenging problem, as the world evolves over time and thus the robot's goals may change. One technique to tackle this problem is goal reasoning, where the agent not only reasons about its…

人工智能 · 计算机科学 2022-06-22 Daniel Swoboda , Till Hofmann , Tarik Viehmann , Gerhard Lakemeyer

Agentic security systems increasingly combine LLM planners with tools that can discover, validate, and report vulnerabilities. This creates an asymmetric control problem: the system should retain strong offensive capability inside an…

密码学与安全 · 计算机科学 2026-05-04 Isaac David , Marco Guarnieri , Arthur Gervais

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

人工智能 · 计算机科学 2026-01-06 Bin Xu

Large language model (LLM) agents are moving beyond prompting alone. ChatGPT marked the rise of general-purpose LLM assistants, DeepSeek showed that on-policy reinforcement learning with verifiable rewards can improve reasoning and tool…

Artificial Intelligence (AI) is taking on increasingly autonomous roles, e.g., browsing the web as a research assistant and managing money. But specifying goals and restrictions for AI behavior is difficult. Similar to how parties to a…

计算与语言 · 计算机科学 2023-01-31 John J. Nay

Evaluating large language model (LLM)-based multi-agent systems remains a critical challenge, as these systems must exhibit reliable coordination, transparent decision-making, and verifiable performance across evolving tasks. Existing…

人工智能 · 计算机科学 2026-01-21 YenTing Lee , Keerthi Koneru , Zahra Moslemi , Sheethal Kumar , Ramesh Radhakrishnan

As AI systems evolve into distributed ecosystems with autonomous execution, asynchronous reasoning, and multi-agent coordination, the absence of scalable, decoupled governance poses a structural risk. Existing oversight mechanisms are…

机器学习 · 计算机科学 2025-08-28 Suyash Gaurav , Jukka Heikkonen , Jatin Chaudhary

Alignment research focuses on making individual AI systems reliable. Human institutions achieve reliable collective behaviour differently: they mitigate the risk posed by misaligned individuals through organisational structure. Multi-agent…

人工智能 · 计算机科学 2026-02-17 William Waites