Syntax and semantics for intelligent knowledge acquisition and information handling formalisms with tractable applications to software design

Project Information

Grant agreement ID: FMBI950324

Project closed

Start date 5 February 1996

End date 4 August 1997

Funded under

• Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Total cost No data

EU contribution No data

Coordinated by

UNIVERSITY OF ROME "LA SAPIENZA"
Italy

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 sciences › computer and information sciences › artificial intelligence
• natural sciences › computer and information sciences › software
• natural sciences › computer and information sciences › databases
• natural sciences › computer and information sciences › knowledge 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"

• EU contribution: No data
• Address: Via Eudossiana, 18 ; 00184 ROMA ; Italy
• Total cost: No data

Participants (1)

Not available

Greece

• EU contribution: No data
• Total cost: No data