arrow
返回

Declarative Logic-Based Pareto-Optimal Agent Decision Making

delete2024-12-01
delete0
PRE
AI
T
Tonmoay Deb
M
Mingi Jeong
C
Cristian Molinaro
A
Andrea Pugliese
A
Alberto Quattrini Li
E
Eugene Santos *
V
V. S. Subrahmanian
Y
Youzhi Zhang
DOI:10.1109/TCYB.2024.3394316delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
There are many applications where an autonomous agent can perform many sets of actions. It must choose one set of actions based on some behavioral constraints on the agent. Past work has used deontic logic to declaratively express such constraints in logic, and developed the concept of a feasible status set (FSS), a set of actions that satisfy these constraints. However, multiple FSSs may exist and an agent needs to choose one in order to act. As there may be many different objective functions to evaluate status sets, we propose the novel concept of Pareto-optimal FSSs or . We show that checking if a status set is a is co-NP-hard. We develop an algorithm to find a and in special cases when the objective functions are monotonic (or anti-monotonic), we further develop more efficient algorithms. Finally, we conduct experiments to show the efficacy of our approach and we discuss possible ways to handle multiple Pareto-optimal Status Sets.
Keyword:
Linear programming
Automobiles
Optimization
Coolants
Uncertainty
Safety
Roads
Autonomous agents
intelligent agents
logic

期刊

IEEE Transactions on Cybernetics 封面图
IEEE Transactions on Cybernetics
IF:
10.5
论文数:
1.1W
被引数:
5.0W

机构

U
University of Calabria
学者数:
8.2K
论文数: 8.0K
被引数: 7.8K
D
Dartmouth College
学者数:
1.5W
论文数: 1.4W
被引数: 1.8W
N
Northwestern University
学者数:
6.2W
论文数: 5.3W
被引数: 3.9K
C
chinese academy of sciences
学者数:
56.7W
论文数: 45.0W
被引数: 704
学者 查看更多机构
引用论文

引用论文

High resolution Fourier transform spectroscopy of jet-cooled molecules
err2000-04-01
err0
PREAI
errMichel Herman; Robert Georges; Martin Hepp; Daniel Hurtmans
err分享
err收藏
The Bipartite Edge-Based Event-Triggered Output Tracking of Heterogeneous Linear Multiagent Systems
err2023-02-01
err15
PREAI
errCai, Yuliang; Zhang, Huaguang; Su, Hanguang; Zhang, Juan; He, Qiang
err分享
err收藏
学者 查看更多内容