KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

ASP Chef: Draw and Expand

  1. Mario Alviano(University of Calabria)
  2. Luis Angel Rodriguez Reiners(University of Calabria)

Keywords

  1. Logic programming, answer set programming-General
  2. Non-monotonic logics-General
  3. Reasoning system implementations-General

Abstract

ASP Chef is a versatile tool built upon the principles of Answer Set Programming (ASP), offering a unique approach to problem-solving through the concept of ASP recipes.

In this paper, we explore two key components of ASP Chef:

the Graph ingredient and one of its extension mechanisms for registering new ingredients.

The Graph ingredient serves as a fundamental feature within ASP Chef, allowing users to interpret instances of a designed predicate to construct graphs from the data.

Through this capability, ASP Chef facilitates the visualization and analysis of complex relationships and structures inherent in various domains.

Furthermore, ASP Chef offers a flexible extension mechanism that empowers users to register new recipes as custom ingredients.

These custom ingredients, defined by sequences of mappings from interpretations to interpretations, can be stored locally within the local storage of the browser.

This enables users to expand the capabilities of ASP Chef to suit their specific needs and use cases, fostering a collaborative environment where users can share and reuse custom ingredients seamlessly.

Notably, the addition of new ingredients does not impose requirements on the utilization of recipes that employ them, underscoring the modular and interoperable design of ASP Chef.