Skip to content

gciatto/eass23-cl-in-mas

This branch is 8 commits ahead of pikalab-unibo/ise-lab-knowledge-representation:main.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ce70fcb · Jul 13, 2023

History

20 Commits
Jul 12, 2023
Mar 8, 2023
Mar 5, 2022
Jul 12, 2023
Jul 12, 2023
Jul 12, 2023
Mar 5, 2022
Jul 13, 2023
Mar 5, 2022
Mar 5, 2022
Mar 5, 2022
Mar 5, 2022
Mar 5, 2022
Jul 12, 2023
Jul 13, 2023
Jul 13, 2023
Mar 5, 2022
Mar 5, 2022

Repository files navigation

On the role of computational logic in MAS: practice with 2P-Kt

4h lecture at EASS 2023, held by Giovanni Ciatto

Link to the coding exercises: https://github.com/gciatto/eass23-cl-in-mas-exercises

Abstract

Computational logic (CL) is a key enabler of intelligent behaviour for software agents. Theoretically, it supports key cognitive capabilities such as intensional knowledge representation, automated reasoning, deliberation, etc. When it comes to practice, logic-based technologies are often built on top, or as extensions of, the Prolog language—and the definite clauses (a.k.a. Horn clauses) logic (DCL) behind it. Stemming from a summary of the fundamental notions behind DCL, and logic unification and resolution, this tutorial discusses the impact of CL on the engineering of intelligent agents. Practical demonstrations and examples are provided by means of the 2P-Kt technology, which is a logic-based ecosystem where individual CL mechanisms can be exploited, combined, and possibly extended or modified to support agents’ cognitive capabilities—including, not limited to, automated reasoning.