University of Udine（乌迪内大学）；New Mexico State University（新墨西哥州立大学）
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
备注：
Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
发表信息：
Theory and Practice of Logic Programming 20 (2020) 593-608
Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in "simple" domains the agents can solely rely on facts about the world, in several contexts, e.g., economy, security, justice and politics, the mere knowledge of the world could be insufficient to reach a desired goal. In these scenarios, epistemic reasoning, i.e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies.
This paper addresses the problem of reasoning in multi-agent epistemic settings exploiting declarative programming techniques. In particular, the paper presents an actual implementation of a multi-shot Answer Set Programming-based planner that can reason in multi-agent epistemic settings, called PLATO (ePistemic muLti-agent Answer seT programming sOlver). The ASP paradigm enables a concise and elegant design of the planner, w.r.t. other imperative implementations, facilitating the development of formal verification of correctness.
The paper shows how the planner, exploiting an ad-hoc epistemic state representation and the efficiency of ASP solvers, has competitive performance results on benchmarks collected from the literature. It is under consideration for acceptance in TPLP.
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
Chennai Mathematical Institute Chennai, India（钦奈数学研究所（钦奈，印度））；Indian Statistical Institute Chennai, India（印度统计研究所（钦奈，印度））；ENS De Lyon France（里昂高等师范学院（法国））
本文研究了多智能体认知规划中基于公开观察更新知识的逻辑，证明了 Public Observation Logic (POL) 的可满足性问题是 2EXPTIME 完全的。
Epistemic Logic Programs: Non-Ground and Counting Complexity
Institute of Logic and Computation, TU Wien（维也纳技术大学逻辑与计算研究所）；Department of Computer and Information Science (IDA), Linköping University（林雪平大学计算机与信息科学系）；Univ. Artois, CNRS, CRIL（阿图瓦大学、法国国家科学研究中心、CRIL研究所）
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
University of Milan-Bicocca（米兰-比科卡大学）；University of Essex（埃塞克斯大学）；University of Naples Federico II（那不勒斯费德里科二世大学）；TUM School of Social Sciences and Technology（技术与社会科学学院）
Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection
German Aerospace Center (DLR)（德国航空航天中心）；Institute for Systems Engineering for Future Mobility（未来出行系统工程研究所）
