2 papers
cs.AI2022
Value-based Practical Reasoning: Modal Logic + Argumentation
Jieting Luo, Beishui Liao, Dov Gabbay
Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multip…
cs.AI2021
A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems
Jieting Luo, Beishui Liao, John-Jules Meyer
Self-organization is a process where a stable pattern is formed by the cooperative behavior between parts of an initially disordered system without external control or influence. I…