English
Related papers

Related papers: Reasoning about effects: from lists to cyber-physi…

200 papers

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing…

Computational Complexity · Computer Science 2012-09-05 Ugo Dal Lago , Tobias Heindel , Damiano Mazza , Daniele Varacca

Computational experiments have emerged as a valuable method for studying complex systems, involving the algorithmization of counterfactuals. However, accurately representing real social systems in Agent-based Modeling (ABM) is challenging…

Artificial Intelligence · Computer Science 2024-02-02 Qun Ma , Xiao Xue , Deyu Zhou , Xiangning Yu , Donghua Liu , Xuwen Zhang , Zihan Zhao , Yifan Shen , Peilin Ji , Juanjuan Li , Gang Wang , Wanpeng Ma

In many predictive decision-making scenarios, such as credit scoring and academic testing, a decision-maker must construct a model that accounts for agents' propensity to "game" the decision rule by changing their features so as to receive…

Machine Learning · Computer Science 2022-08-26 Yonadav Shavit , Benjamin Edelman , Brian Axelrod

This paper examines common assumptions regarding the decision-making internal environment for intelligent agents and investigates issues related to processing of memory and belief states to help obtain better understanding of the responses.…

Artificial Intelligence · Computer Science 2018-04-10 Subhash Kak

Situationally-aware artificial agents operating with competence in natural environments face several challenges: spatial awareness, object affordance detection, dynamic changes and unpredictability. A critical challenge is the agent's…

Robotics · Computer Science 2025-07-29 Mihai Pomarlan , Stefano De Giorgis , Rachel Ringe , Maria M. Hedblom , Nikolaos Tsiogkas

To improve cyber threat analysis practices in cybersecurity, I present a plan to build a formal ontological representation of state actors in cyberspace and of cyber operations. I argue that modelling these phenomena via ontologies allows…

Cryptography and Security · Computer Science 2024-08-06 Giacomo De Colle

Capabilities (whether object or reference capabilities) are fundamentally tools to restrict effects. Thus static capabilities (object or reference) and effect systems take different technical machinery to the same core problem of statically…

Programming Languages · Computer Science 2020-05-27 Colin S. Gordon

We consider the problem of multi-task reasoning (MTR), where an agent can solve multiple tasks via (first-order) logic reasoning. This capability is essential for human-like intelligence due to its strong generalizability and simplicity for…

Artificial Intelligence · Computer Science 2022-02-15 Daoming Lyu , Bo Liu , Jianshu Chen

Nature can be seen as informational structure with computational dynamics (info-computationalism), where an (info-computational) agent is needed for the potential information of the world to actualize. Starting from the definition of…

Artificial Intelligence · Computer Science 2013-11-05 Gordana Dodig-Crnkovic

This paper presents the research on the interdisciplinary research infrastructure for understanding human reasoning in game-theoretic terms. Strategic reasoning is considered to impact human decision making in social, economical and…

Computer Science and Game Theory · Computer Science 2011-05-04 Rustam Tagiew

When robots share the same workspace with other intelligent agents (e.g., other robots or humans), they must be able to reason about the behaviors of their neighboring agents while accomplishing the designated tasks. In practice,…

Robotics · Computer Science 2022-10-18 Junhong Xu , Durgakant Pushp , Kai Yin , Lantao Liu

Central to the success of adaptive systems is their ability to interpret signals from their environment and respond accordingly -- they act as agents interacting with their surroundings. Such agents typically perform better when able to…

Quantum Physics · Physics 2022-01-12 Thomas J. Elliott , Mile Gu , Andrew J. P. Garner , Jayne Thompson

Solving cybersecurity issues requires a holistic understanding of components, factors, structures and their interactions in cyberspace, but conventional modeling approaches view the field of cybersecurity by their boundaries so that we are…

Cryptography and Security · Computer Science 2020-01-17 Dingyu Yan

This essay considers a simple model of observers that are influenced by the world around them. Consistent quantification of information about such influences results in a great deal of familiar physics. The end result is a new perspective…

Quantum Physics · Physics 2013-08-16 Kevin H. Knuth

Human relationships are complex processes that often involve following certain rules that regulate interactions and/or expected outcomes. These rules may be imposed by an authority or established by society. In multi-agent systems,…

Multiagent Systems · Computer Science 2022-09-22 Daniel Perez , Estefania Argente , Elena Del Val , Soledad Valero

Organization concepts and models are increasingly being adopted for the design and specification of multi-agent systems. Agent organizations can be seen as mechanisms of social order, created to achieve global (or organizational) objectives…

Artificial Intelligence · Computer Science 2018-05-01 Virginia Dignum , Frank Dignum

The development of autonomous agents which can interact with other agents to accomplish a given task is a core area of research in artificial intelligence and machine learning. Towards this goal, the Autonomous Agents Research Group…

In this article, we propose to use the formalism of quantum mechanics to describe and explain the so-called "abnormal" behaviour of agents in certain decision or choice contexts. The basic idea is to postulate that the preferences of these…

Physics and Society · Physics 2024-12-04 Herve Zwirn

Nowadays, Computer Science tightly entered all spheres of human activity. To improve quality and speed of development process, it is important to help programmers improve their working conditions. This paper proposes a vision on exploring…

Software Engineering · Computer Science 2020-12-17 Rozaliya Amirova , Sergey Masyagin , Anastasia Reprintseva , Giancarlo Succi , Herman Tarasau

This paper develops a control-theoretic framework for analyzing agentic systems embedded within feedback control loops, where an AI agent may adapt controller parameters, select among control strategies, invoke external tools, reconfigure…

Systems and Control · Electrical Eng. & Systems 2026-03-26 Ali Eslami , Jiangbo Yu