Proposals

Available Projects

There are several possible projects on disparate topics, categorised below. Roughly, each first-level dot corresponds to a project.
A list of proposal can be found also here and here. 

Agent programming and dialogue

Labelled Variables in Logic Programming (LVLP)

References

Projects

  • Extend 2P-Kt to support LVLP

Dialogical Argumentation

  • SLR on dialogical argumentation protocols
    • theoretical background
    • main approaches (+ similarities and differences)
    • main technologies (+ comparisons)
  • Design, and prototype an argumentation protocol of choice in Jason

Parallel LP

  • SLR / Bibliographic review on the state of the art
    • Experiments in 2P-Kt and fork-join pools

Constraint Logic Programming

 

  • SLR / Bibliographic review on the state of the art
    • Experiments in 2P-Kt + external Constraint Programming solver

Object orientation and LP

 

  • SLR / Bibliographic review on the state of the art
  • Extensions / refinements / formalization of 2p-kt’s OOP-Lib
  • Libraries for 2P-Kt
    • lists, sets, DCG, etc (1 project each) + testing + documentation

Agent Reasoning

Answer Set Programming

  • Design and implement a grounder for logic theories (in 2P-Kt)
  • Design and implement an ASP solver (may require a grounder) (in 2P-Kt)

Abduction

  • Design and implement an abductive solver based on Kowalski IFF procedure

Neural Network

  • Design and implement a LRNN (Lifted Relational Neural Network) module for 2P-Kt

MAS programming and simulation

Making programming frameworks simulable

Make AgentSpeak(L) systems simulable through discrete event simulators:

  • Make Jason-based systems simulable over Alchemist

Designing a simulable framework for agent programming

  • Design and prototyping a simulable framework for behavioural (JADE-like) agent programming as a Kotlin DSL
  • Design and prototyping of an AgentSpeak(L) implementation as a Kotlin DSL, in TuSoW
  • Knowledge Extraction module for sub-symbolic predictors
    • One project per algorithm TREPAN, Iter, GridEx, etc

Sub-Symbolic AI