no code implementations • 26 Jan 2017 • Giovanni Sileno
Two semantics are presented: a denotational semantics that fully maps the notation to ASP via Event Calculus; and a hybrid operational semantics that process separately the causal mechanisms via Petri nets, and the constraints associated to objects and to events via Answer Set Programming (ASP).
no code implementations • 9 Mar 2018 • Alexander Boer, Giovanni Sileno
Artificial Intelligence (AI) started out with an ambition to reproduce the human mind, but, as the sheer scale of that ambition became manifest, it quickly retreated into either studying specialized intelligent behaviours, or proposing over-arching architectural concepts for interfacing specialized intelligent behaviour components, conceived of as agents in a kind of organization.
no code implementations • 6 Dec 2018 • Giovanni Sileno, Alexander Boer, Tom van Engers
For being potentially destructive, in practice incomprehensible and for the most unintelligible, contemporary technology is setting high challenges on our society.
no code implementations • 15 Jul 2019 • Giovanni Sileno
Principles of cognitive economy would require that concepts about objects, properties and relations should be introduced only if they simplify the conceptualisation of a domain.
no code implementations • 12 Jan 2022 • Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers
In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application.
no code implementations • 28 Jul 2023 • Giovanni Sileno, Jean-Louis Dessalles
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named CompLog.
no code implementations • 15 Nov 2023 • Giovanni Sileno, Jean-Louis Dessalles
Third, unexpectedness can be seen as constituent of various measures of divergence between the entropy of the world (environment) and the variety of the observer (system).
no code implementations • 20 Mar 2024 • Mirthe Dankloff, Vanja Skoric, Giovanni Sileno, Sennay Ghebreab, Jacco van Ossenbruggen, Emma Beauxis-Aussalet
End-users and policy-makers often lack the technical skills to interpret a system's limitations, and rely on developer roles for making decisions concerning fairness issues.