English
Related papers

Related papers: Towards a Formalisation of Value-based Actions and…

200 papers

Foundation models (FMs) such as large language models have revolutionized the field of AI by showing remarkable performance in various tasks. However, they exhibit numerous limitations that prevent their broader adoption in many real-world…

Artificial Intelligence · Computer Science 2024-02-05 Debarun Bhattacharjya , Junkyu Lee , Don Joven Agravante , Balaji Ganesan , Radu Marinescu

This paper presents a computational model of how conversational participants collaborate in order to make a referring action successful. The model is based on the view of language as goal-directed behavior. We propose that the content of a…

cmp-lg · Computer Science 2008-02-03 Peter A. Heeman , Graeme Hirst

Agent-based modeling is a powerful simulation technique to understand the collective behavior and microscopic interaction in complex financial systems. Recently, the concept for determining the key parameters of the agent-based models from…

Statistical Finance · Quantitative Finance 2017-03-21 T. T. Chen , B. Zheng , Y. Li , X. F. Jiang

We present an approach to generating natural language justifications of decisions derived from norm-based reasoning. Assuming an agent which maximally satisfies a set of rules specified in an object-oriented temporal logic, the user can ask…

Computation and Language · Computer Science 2019-11-04 Daniel Kasenberg , Antonio Roque , Ravenna Thielstrom , Meia Chita-Tegmark , Matthias Scheutz

We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking…

Logic in Computer Science · Computer Science 2014-08-08 Truls Pedersen , Sjur Dyrkolbotn

In cooperative human decision-making, agreements are often not total; a partial degree of agreement is sufficient to commit to a decision and move on, as long as one is somewhat confident that the involved parties are likely to stand by…

Artificial Intelligence · Computer Science 2025-01-07 Timotheus Kampik , Juan Carlos Nieves

Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a…

Artificial Intelligence · Computer Science 2024-02-22 Giampaolo Bella , Domenico Cantone , Carmelo Fabio Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

Recent advances in large language models have demonstrated strong reasoning and role-playing capabilities, opening new opportunities for agent-based social simulations. However, most existing agents' implementations are scenario-tailored,…

Artificial Intelligence · Computer Science 2025-08-13 Yuwei Yan , Jinghua Piao , Xiaochong Lan , Chenyang Shao , Pan Hui , Yong Li

Present bias, the tendency to weigh costs and benefits incurred in the present too heavily, is one of the most widespread human behavioral biases. It has also been the subject of extensive study in the behavioral economics literature. While…

Computer Science and Game Theory · Computer Science 2016-03-29 Jon Kleinberg , Sigal Oren , Manish Raghavan

One part of complying with norms, rules, and preferences is incorporating constraints (such as knowledge of ethics) into one's goal formulation and planning processing. We explore in a simple domain how the encoding of knowledge in…

Artificial Intelligence · Computer Science 2024-06-12 Steven J. Jones , Robert E. Wray

In the present paper a model of a market consisting of real and financial interacting sectors is studied. Agents populating the stock market are assumed to be not able to observe the true underlying fundamental, and their beliefs are biased…

General Finance · Quantitative Finance 2018-06-13 Fausto Cavalli , Ahmad Naimzada , Nicolò Pecora , Marina Pireddu

In this document, we introduce a novel formalism for any field theory and apply it to the effective field theories of large-scale structure. The new formalism is based on functors of actions composing those theories. This new formalism…

As AI coding agents become embedded in software development workflows, developers are beginning to operationalize ethical principles by encoding behavioral rules into repository-level context files for AI agents, such as AGENTS.md files.…

Software Engineering · Computer Science 2026-05-08 Christoph Treude , Sebastian Baltes , Marc Cheong

Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional temporal logics with modalities that enable the specification…

Logic in Computer Science · Computer Science 2019-05-29 Patricia Bouyer , Orna Kupferman , Nicolas Markey , Bastien Maubert , Aniello Murano , Giuseppe Perelli

In this preprint, we present A collaborative human-AI approach to building an inspectable semantic layer for Agentic AI. AI agents first propose candidate knowledge structures from diverse data sources; domain experts then validate,…

Artificial Intelligence · Computer Science 2025-12-05 Liam McGee , James Harvey , Lucy Cull , Andreas Vermeulen , Bart-Floris Visscher , Malvika Sharan

In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quantitative evaluation of behavioral attributes. A feature…

Logic in Computer Science · Computer Science 2019-02-25 Antonio Anastasio Bruto da Costa , Goran Frehse , Pallab Dasgupta

We advocate the development of a discipline of interacting with and extracting information from models, both mathematical (e.g. game-theoretic ones) and computational (e.g. agent-based models). We outline some directions for the development…

Multiagent Systems · Computer Science 2021-02-24 Gabriel Istrate

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

Consider n agents forming an egalitarian, self-governed community. Their first task is to decide on a decision rule to make further decisions. We start from a rather general initial agreement on the decision-making process based upon a set…

Multiagent Systems · Computer Science 2023-12-11 Ben Abramowitz , Ehud Shapiro , Nimrod Talmon

Machine learning models increasingly function as representational systems, yet the philosoph- ical assumptions underlying their internal structures remain largely unexamined. This paper develops a structuralist decision framework for…

Artificial Intelligence · Computer Science 2025-11-25 Yildiz Culcu
‹ Prev 1 4 5 6 7 8 10 Next ›