Search Results for author:
Found 8 papers, 0 papers with code
Analysing and Organising Human Communications for AI Fairness-Related Decisions: Use Cases from the Public Sector
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.
Three Conjectures on Unexpectedeness
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).
From Probabilistic Programming to Complexity-based Programming
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named CompLog.
DPCL: a Language Template for Normative Specifications
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.
Logic Conditionals, Supervenience, and Selection Tasks
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.
The Role of Normware in Trustworthy and Explainable AI
For being potentially destructive, in practice incomprehensible and for the most unintelligible, contemporary technology is setting high challenges on our society.
Institutional Metaphors for Designing Large-Scale Distributed AI versus AI Techniques for Running Institutions
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.
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
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).
