Objective Recent research results in Theory of Actions, Database Updating, Belief Revision and Abduction employ stronger, more reasonable and constructive forms of Nonmonotonic Reasoning. However these results do not account for a plethora of basic features of an intelligent system or agent. We propose the study of these formalisms and their extensions by means of more conceptually satisfactory structures, such as metric spaces, and syntactical representations of them. We believe that this study will bring us closer to a description of an intelligent system by taking into account its global preferences. Our approach will b resource-conscious by studying its complexity and by logically characterising it with simple rules. Links with applications to Artificial Intelligence and Knowledge Engineering, such as Planning and Diagnosis, will be investigated. Fields of science natural sciencescomputer and information sciencesartificial intelligencenatural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdatabasesnatural sciencescomputer and information sciencesknowledge engineering Programme(s) FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998 Topic(s) 0302 - Post-doctoral research training grants TM31 - Knowledge Engineering and Artificial Intelligence Call for proposal Data not available Funding Scheme RGI - Research grants (individual fellowships) Coordinator UNIVERSITY OF ROME "LA SAPIENZA" Address Via eudossiana, 18 00184 Roma Italy See on map EU contribution € 0,00 Participants (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all Not available Greece EU contribution € 0,00 Address See on map