Formalisation of Scientific Knowledge
published: Sept. 1, 2023, recorded: August 2023, views: 0
Related content
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Description
AI systems have super-human ability in making flawless logical conclusions from available data and knowledge. To unleash this power, data and knowledge have to be modelled and encoded in a machine-processable form. In this lecture, we will talk about technologies for knowledge representation, have a look at knowledge representation languages, and discuss examples. We will talk about ontology engineering, it’s fascinating history and contemporary applications. You will learn basics principles for designing and using ontologies. We will analyse examples of knowledge modelling, its pitfalls and difficulties. We then will inspect several ontologies for the representation of key scientific processes and its components: hypotheses, experimental protocols, scientific investigations. In particular, we will focus on ontologies for representing and encoding data mining and machine learning studies. We will discuss the role of data and knowledge models for the Open Science framework. Finally, we will have a close look at the case study: formalisation of knowledge for a robot scientist – an AI system for automated scientific discovery. You will learn how knowledge models and ontologies support robot scientists.
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !
Write your own review or comment: