Teadmiste formaliseerimine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
22. rida: 22. rida:
Practical work will give 40% and exam 60% of points underlying the final grade.  
Practical work will give 40% and exam 60% of points underlying the final grade.  
The exam will consist of several small excercises.
The exam will consist of several small excercises.
== Assumed background ==
You should have studied the course [http://lambda.ee/w/index.php?title=Tehisintellekti_ja_masin%C3%B5ppe_alused&oldid=15188 "Basics of AI and Machine Learning"] or get acquinted with the logic and probabilities parts of the course yourself.


== Focus ==
== Focus ==


The main focus of the course is on KR ([https://en.wikipedia.org/wiki/Knowledge_representation knowledge representation]): how to represent nontrivial information in programs and databases, how to build and use indexes for efficient search through large sets of knowledge. Check out [http://www.lisperati.com/tellstuff/ this description].
The main focus of the course is on KR ([https://en.wikipedia.org/wiki/Knowledge_representation knowledge representation]), on a spectrum from simple to very complex: representing and using knowledge in databases, sentences in natural language and commonsense knowledge. A subfocus is on what it takes to build a question answering
system for natural language.


The course contains four blocks built on each other:
The course contains the following blocks:


* Background and basics. Representing simple facts.
* Background and basics. Representing and using simple facts and rules.
* Representing rules.
* Knowledge conveyed by natural sentences: both statistical methods like word2vec and logic-based methods.
* Time, planning and uncertain knowledge.
* General-knowledge databases: wikidata, wordnet, yago, conceptnet, nell, cyc.
* Reasoners and question answering systems.
* Context, time, location, events, causality and uncertain knowledge.
* Indexes and search.
* Indexes and search.
Check out [http://www.lisperati.com/tellstuff/ this description] of the whole KR area.


Books to use:
Books to use:
90. rida: 99. rida:
* [[Nosql links and notes]]
* [[Nosql links and notes]]


=== Lecture 3: HTML annotations. Microformats, microdata, RDFa  ===
Two student presentations ca 30 min each:
* Microformats, microdata, RDFa: Madis Taimre
* Facebook open graph: Madis Allikmaa
Lecture materials:
* [[Media:Kr_html_annotations.ppt|Html annotations]]
Understand main parts:
* [https://support.google.com/webmasters/answer/99170?hl=en Google rich snippets]
* [http://en.wikipedia.org/wiki/RDFa wiki intro]
* [http://www.w3.org/TR/rdfa-lite/ RDFa lite] ja [http://www.w3.org/TR/xhtml-rdfa-primer/ w3c rdfa primer]
* [http://ogp.me/ open graph protocol (i.e. Facebook stuff)]
* [http://microformats.org/ microformats]
* [[Media:portaalidekoosvoime.ppt]] or as pdf [[Media:portaalidekoosvoime.pdf]]
=== Lecture 4: RDF last parts + RDFS start ===
Continuing with RDF:
* Continue with the lecture material [[Media:kr_rdf_schemalessdb_3_2.ppt|key/value pairs and rdf, compared to the relational model]]
* Check out http://www.w3.org/RDF/ and http://www.w3.org/standards/techs/rdf#w3c_all
* And read more from http://www.w3.org/TR/rdf11-primer/ and http://www.w3.org/TR/rdf11-new/
Starting RDFS:
* Start with the lecture material [[Media:Kr_rdfs.pdf|RDFS: rdf schema]] and as [[Media:Kr_rdfs.ppt|ppt]]
* Read [http://en.wikipedia.org/wiki/RDF_schema RDFs wikipedia]
* Check out [http://www.w3.org/TR/rdf-schema/ w3c RDF schema]
Choosing the student presentations from:
* [[Nosql links and notes]]
== Lecture block 2: representing rules ==
=== Lecture 5: NELL and nosql databases + intro to the second lab ===
Student lectures on the theme of data and knowledge extraction from the web:
* Nell and systems like Nell (are there any? Check also ConceptNet): Andrei. See some details about [http://rtw.ml.cmu.edu/rtw/ Nell] as a nice example.
* Student presentations chosen from [[Nosql links and notes]]:
** Rait: docs.mongodb.org/manual/  (tehtud)
** Raigo: http://www.neo4j.org/ (tehtud)
Understand RDFS:
Lecture material:
* Continue with [[Media:Kr_rdfs.pdf|RDFS: rdf schema]] and as [[Media:Kr_rdfs.ppt|ppt]]
Additional details (not part of exam):
* [http://en.wikipedia.org/wiki/RDF_schema RDFs wikipedia]
* [http://www.w3.org/TR/rdf-schema/ w3c RDF schema]
=== Lecture 6: continuing RDFs and looking into other KR languages ===
Lecture material:
* Continue with [[Media:Kr_rdfs.pdf|RDFS: rdf schema]] and as [[Media:Kr_rdfs.ppt|ppt]]
Additional details (not part of exam):
* [http://en.wikipedia.org/wiki/RDF_schema RDFs wikipedia]
* [http://www.w3.org/TR/rdf-schema/ w3c RDF schema]
Important KR languages:
* RuleML [http://wiki.ruleml.org/index.php/RuleML_Home RuleML ]
* OWL [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia],  [http://www.w3.org/TR/owl-guide/ w3c OWL guide]
* KIF
* CL [http://iso-commonlogic.org CL main page],
* ontologies
* wordnet
* cyc
* TPTP language [http://www.cs.miami.edu/~tptp/TPTP/QuickGuide/ TPTP]
<!-- * restricted english systems [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english] -->
=== Lecture 7: OWL and ontologies ===
Owl background: description logics (not part of exam )
* [https://www.inf.unibz.it/~franconi/dl/course/slides/prop-DL/propositional-dl.pdf description logic intro]
* [http://disi.unitn.it/~ldkr/ml2013/slides/12.DL.ppt brief alternative intro to description logic]
* [http://www.inf.unibz.it/~franconi/dl/course/ detailed course in description logics] (not necessary for exam)
Understand basics of owl:
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
not part of exam:
* [http://www.w3.org/TR/owl2-overview/ w3c OWL version 2 guide]
* [http://www.w3.org/TR/owl2-primer/ w3c OWL version 2 primer]
* [http://www.w3.org/2007/OWL/wiki/Profiles#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules Owl2 wiki rule semantics] 
[[Notes about RDF and OWL: logical meaning]]
Start looking at interesting ontologies:
* [http://wordnet.princeton.edu/ Wordnet]
* [http://www.cl.ut.ee/ressursid/teksaurus/ Teksaurus]
* [http://conceptnet5.media.mit.edu/ Conceptnet]
* [https://schema.org/docs/full.html schema.org]
* [http://www.ontologyportal.org/ SUMO]
===  Lecture 8: Restricted english ===
* [http://attempto.ifi.uzh.ch/site/pubs/ Attempto restricted english] as intro use [http://attempto.ifi.uzh.ch/site/talks/files/Talk.Stanford.05.pdf this talk]
* [http://inform7.com/ Inform] system for interactive fiction, vt ka [http://inform-fiction.org/manual/html/contents.html vanemat raamatut]
Attempto details not necessary for the exam.
== Lecture block 3: time, planning and uncertain knowledge ==
=== Rules in planning and robotics ===
Lecture material:
* [[Media:Kr_rules1.pdf|Rules and logic: refresher]] and as [[Media:Kr_rules1.ppt|ppt]]
* [[blocks world axiom/query examples from lecture]]
See also (not part of exam):
* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
=== Logic for uncertain knowledge ===
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic] Not necessary for exam.
* [http://en.wikipedia.org/wiki/Default_logic default logic] For exam: main material for default logic.
<!--
* [http://sc.snu.ac.kr/courses/2008/spring/pg/krr/Lectures/Lecture11/Lec11.ppt Reasoning with Conflicting Knowledge] Helpful additional material.
-->
For the exam: you should be able to create and solve small examples with default logic.
=== Fuzzy and probabilistic logic ===
* [[Media:Uncertain_prob_fuzzy.ppt?|Uncertain_prob_fuzzy.ppt?]] Intro.
* [[Media:Vienna_tanel.pdf|Vienna_tanel_2.pdf]] Additional examples and combining.
For the exam: understand the differences between fuzzy and probabilistic logic and be able to present small examples.
=== Logic of belief and knowledge ===
* [[Media:Ijcai93.pdf|Ijcai93.pdf]] Overview.
For exam: understand referential transparency and core ideas about encoding belief and knowledge. Modal logic not necessary for the exam.
== Lecture block 4: indexes and search ==
=== Indexes: intro and mainstream ===
Traditional database indexes incl B+ tree:
* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
Hash indexes:
* [http://en.wikipedia.org/wiki/Hash_table wiki].
Bitmap indexes:
* [http://en.wikipedia.org/wiki/Bitmap_index wiki].
For exam: understand the core usage scenarios and be able to create small examples.
=== Multi-field and geoindexes, fulltext and term indexes ===
* A few words about both multi-field indexes and geoindexes.
* Fulltext indexes: [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]
* Term indexes: [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper]
=== Fancier term indexes and nosql indexes ===
* Path indexes
* Document bases
* Graph bases
* About the exam.
== 18. May: guest lecture ==
Kalle Tomingas. Impact analysis and ontologies.
http://demo.dlineage.com
<!--
=== Learning ===
-->
<!--
Useful materials:
* [http://www.cs.toronto.edu/~hinton/csc2515/notes/lec1.ppt intro]
* [http://gamma.cs.unc.edu/rob-course/public_html/LEC/MachineLearningMethods.ppt robots/cars]
* [http://www.cs.toronto.edu/~hinton/csc2515/notes/lec4.ppt backpropagation]
* [http://www.cs.toronto.edu/~hinton/csc2515/lectures.html good set of lecture materials]
* [http://www.cs.cmu.edu/~tom/mlbook-chapter-slides.html another good full set of lecture materials]
** sh [http://www.cs.cmu.edu/afs/cs.cmu.edu/project/theo-20/www/mlbook/ch4.pdf neural netw chapter]
-->
[[teadmised_note]]


[[Category:Kursus]]
[[Category:Kursus]]

Redaktsioon: 30. jaanuar 2019, kell 10:01

teadmised
teadmised

Code: ITV0060
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine or http://www.lambda.ee/index/itv0060
Lecturer: Tanel Tammet
Contact: tanel.tammet@ttu.ee, 6203457, TTÜ ICT-426
Archives of previous years: 2015 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, older.


Time, place, result

Lectures: Wednesdays 12:00-13:30 room U06A-229
Practical work: Wednesdays 14:00-15:30, room ICT-121, ICT-122
Practical work will give 40% and exam 60% of points underlying the final grade. The exam will consist of several small excercises.

Assumed background

You should have studied the course "Basics of AI and Machine Learning" or get acquinted with the logic and probabilities parts of the course yourself.

Focus

The main focus of the course is on KR (knowledge representation), on a spectrum from simple to very complex: representing and using knowledge in databases, sentences in natural language and commonsense knowledge. A subfocus is on what it takes to build a question answering system for natural language.

The course contains the following blocks:

  • Background and basics. Representing and using simple facts and rules.
  • Knowledge conveyed by natural sentences: both statistical methods like word2vec and logic-based methods.
  • General-knowledge databases: wikidata, wordnet, yago, conceptnet, nell, cyc.
  • Reasoners and question answering systems.
  • Context, time, location, events, causality and uncertain knowledge.
  • Indexes and search.

Check out this description of the whole KR area.

Books to use:

Observe that a noticeable part of the course contents are not covered by these books: use the course materials and links to papers, standards and tutorials provided.

Practical work

There are three labs: the first two are obligatory, third is optional. The labs have to be presented to the prof and all students present at labwork.

The labs can be prepared alone or by teams of two people.

First lab

Deadline: 16. March (after this there will be a penalty).

See also notes for KR lab 1.

Second lab

See details for KR lab 2.

Third lab

This lab is optional and will simply give as many points as lab 1 or 2 towards the final result and the grade: practical wotrk 60% and exam 40%.

Lab ideas

Student ideas are also welcome: have to agree with Tanel first.

Lecture block 1: basics and representing simple facts.

Lecture 1: Overview of the course. Background and basics. First lab.

Lecture materials:

Lecture 2: Programming and databases. SQL: meaning and representation of facts

Lecture materials: