Browsing by Author "Ianni, Giovambattista"

Now showing 1 - 4 of 4

Logic Programming in non-conventional environments
(2018-05-03) Germano, Stefano; Leone, Nicola; Ianni, Giovambattista
Logic Programming became a very useful paradigm in many different areas and thus several languages (and solvers) have been created to support various kinds of reasoning tasks. However, in the last decades, thanks also to results in the Com- putational Complexity area, the weaknesses and the limits of this formalism have been revealed. Therefore, we decided to study solutions that would allow the use of the Logic Programming paradigm in contexts, such as Stream Reasoning, Big Data or Games’ AI, that have very specific constraints that make the practical use of logic- based formalisms not so straightforward. Logic Programming is best used for problems where a properly defined search space can be identified and has to be explored in full. For this reason, almost all the approaches that have been tried so far, have focused on problems where the amount of input data is not huge and is stored in a few well-defined sources, which are often completely available at the beginning of the computation. Some interesting ideas and approaches in the mentioned fields have been already introduced, however, they are in a preliminary stage and often are tailored to a specific problem, and do not allow the users to perform “complex” reasoning on the data. In order to make the utilisation of this paradigm computationally feasible and reliable in contexts where the reasoning methods have to handle a huge amount of data that “expires” soon, i.e., become soon useless, and quickly react to them, new solutions have to be introduced. In this Thesis, we illustrate how Logic Programming can play a role in such challen- ging scenarios. We both describe the general approaches taken, and how these solu- tions have been used in several application contexts, some of which were milestones of large-scale international projects. We found that combining different reasoning methods and technologies is one of the crucial methodologies to adopt in order to effectively tackle and solve these challenges. Moreover, we identify the methodo- logical gaps that are not yet closed, and prevent the large adoption of logic-based programming techniques. v
Reasoning in highly dynamic environments
(Università della Calabria, 2021-07-03) Pacenza, Francesco; Greco, Gianluigi; Ianni, Giovambattista; Zangari, Jessica
Tight integration of Artificial Intelligence in Game Development Tools
(Università della Calabria, 2020-03-11) Angilica, Denise; Greco, Gianluigi; Ianni, Giovambattista
In this thesis we aim to narrow some of the gaps that prevent the adoption of declarative tools within highly dynamically changing environments, with a particular focus to the context of game development. Integrating reasoning modules, based on declarative speci cations, within the commercial game development life-cycle, poses a number of unsolved challenges, each with nonobvious solution. It is necessary to cope with strict time performance requirements; the duality between procedural code and declarative speci cations prevents easy integration; the concurrent execution of reasoning tasks and game updates requires proper information passing strategies between the two involved sides. In this context, we propose a framework that can be deployed within the well-known Unity game development engine. The so-called ThinkEngine framework allows to embed reasoning modules, based on knowledge representation techniques, within the game logic. ThinkEngine respects the Unity development philosophy, and is properly integrated both at design-time and at run-time. A use case is reported about, showing the potential of the proposed infrastructure.
Towards grounding SemanticWeb to Answer Set Programming
(2014-03-31) Martello, Alessandra; Ianni, Giovambattista; Leone, Nicola