A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
An architectural perspective on multiagent societies
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
| Hi-index | 0.00 |
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.