Dealing with Incomplete Normative States

This paper puts forward a normative framework for computational societies which enables the handling of incomplete knowledge about normative relations. In particular, attempts to perform a social action are evaluated as permitted, prohibited (i.e. not permitted) or pending for execution (i.e. neither permitted nor prohibited). This latter category of attempts can eventually be resolved as permitted or prohibited attempts using the speech acts allow and forbid. We make use of the support for incompleteness of action language K in the formalisation of the framework. The proposal will be illustrated with some scenarios drawn from the management of university courses.

• Type: Conference
• Year: 2009
• Where: ATAL
• Authors: Juan Manuel Serrano, Sergio Saugar
• Keywords: ATAL 2009, Computational Societies, Intelligent Agents, Normative Framework, Normative Relations