Project Proposals


Project Proposals

This page is a Work in Progress: more content will be eventually added, and some content may be removed

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.

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

Sub-Symbolic AI

 

Tags:

Course

— a.y.

2020/2021

— credits

6

— cycle

2nd cycle

— language

wgb.gif

teachers

— professor

Andrea Omicini

— other professors

Roberta Calegari

— tutors

Giovanni Ciatto

context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Bologna

— department / faculty / school

DISI

— 2nd cycle

9063 Artificial Intelligence 

URLs

AMS page  |  course on Virtuale  |  virtual room  |  course timetable

IDs

— course ID

91267

related courses

— components

Multi-Agent Systems (Module 1) (2nd Cycle, 2020/2021) — Andrea Omicini  |  Multi-Agent Systems (Module 2) (2nd Cycle, 2020/2021) — Roberta Calegari

— related

Project Work in Multi-Agent Systems (2nd Cycle, 2020/2021) — Andrea Omicini

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY