Hierarchical Constraint Logic Programming for Multi-Agent Systems

Hiroshi Hosobe, Ken Satoh

2023

Abstract

Logic programming is a powerful tool for modeling and processing multi-agent systems (MASs), where problems are collaboratively solved by multiple agents that exchange messages. Especially, (constraint) logic programming with default rules is useful for speculative computation for MASs, where tentative solutions are computed before answers arrive from other agents. However, the previous frameworks became complicated to enable speculative computation for MASs. In this paper, we propose a framework using hierarchical constraint logic programming (HCLP) for speculative computation for MASs. HCLP is an extension of constraint logic programming that allows soft constraints with hierarchical preferences. We simplify our MAS framework by utilizing HCLP and soft constraints to handle MASs with default rules. We show a prototype implementation of our framework and a case study on its execution.

Paper Citation

in Harvard Style

Hosobe H. and Satoh K. (2023). Hierarchical Constraint Logic Programming for Multi-Agent Systems. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-623-1, pages 289-296. DOI: 10.5220/0011698000003393

in Bibtex Style

@conference{icaart23,
author={Hiroshi Hosobe and Ken Satoh},
title={Hierarchical Constraint Logic Programming for Multi-Agent Systems},
booktitle={Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2023},
pages={289-296},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011698000003393},
isbn={978-989-758-623-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Hierarchical Constraint Logic Programming for Multi-Agent Systems
SN - 978-989-758-623-1
AU - Hosobe H.
AU - Satoh K.
PY - 2023
SP - 289
EP - 296
DO - 10.5220/0011698000003393