Embedding Normative Reasoning into Neural Symbolic Systems

Boella, Guido; Colombo Tosatto, Silvano; d'Avila Garcez, Artur; Genovese, Valerio; van der Torre, Leon

Reference : Embedding Normative Reasoning into Neural Symbolic Systems


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/12969

Title :	Embedding Normative Reasoning into Neural Symbolic Systems
Language :	English
Author, co-author :	Boella, Guido []
	Colombo Tosatto, Silvano [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	d'Avila Garcez, Artur []
	Genovese, Valerio []
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2011
Main document title :	Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning
Peer reviewed :	Yes
Audience :	International
Event name :	7th Workshop on Neural-Symbolic Learning and Reasoning 2011, NeSy2011
Event date :	July 17, 2011
Abstract :	[en] Normative systems are dynamic systems because their rules can change over time. Considering this problem, we propose a neural- symbolic approach to provide agents the instru- ments to reason about and learn norms in a dynamic environment. We propose a variant of d’Avila Garcez et al. Con- nectionist Inductive Learning and Logic Program- ming(CILP) System to embed Input/Output logic normative rules into a feed-forward neural network. The resulting system called Normative-CILP(N- CILP) shows how neural networks can cope with some of the underpinnings of normative reasoning: permissions , dilemmas , exceptions and contrary to duty problems. We have applied our approach in a simplified RoboCup environment, using the N-CILP simula- tor that we have developed. In the concluding part of the paper, we provide some of the results ob- tained in the experiments
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/12969
Other URL :	http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.369.7489&rep=rep1&type=pdf

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	nesy2011.pdf		Publisher postprint	387.51 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices