Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel
Resümee puudub |
Resümee puudub |
||
| 25. rida: | 25. rida: | ||
== Course structure == | == Course structure == | ||
== Intro and paradigms of knowledge representation == | |||
1 lecture | |||
Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation | Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation | ||
| 39. rida: | 40. rida: | ||
** rule/expert systems | ** rule/expert systems | ||
** rdfs and owl | ** rdfs and owl | ||
== Core search, search in game trees == | |||
1 lecture | |||
=== Logic === | === Logic === | ||
2 lectures | |||
* propositional, first order, higher order | * propositional, first order, higher order | ||
| 48. rida: | 55. rida: | ||
* relational data and rdf in first order logic | * relational data and rdf in first order logic | ||
=== Different property/value pair representations and their relations | == Planning == | ||
1 lecture | |||
logic- and reasoning-based methods | |||
=== Different property/value pair representations === | |||
Methods and their relations | |||
1 lecture | |||
* association lists | * association lists | ||
| 56. rida: | 74. rida: | ||
=== Details of RDF, RDFS, RDFa === | === Details of RDF, RDFS, RDFa === | ||
1 lecture | |||
=== Specific versions of 1st order logic and rule systems === | === Specific versions of 1st order logic and rule systems === | ||
1 lecture | |||
* KIF | * KIF | ||
| 67. rida: | 89. rida: | ||
=== OWL === | === OWL === | ||
1 lecture | |||
=== Representing time, probability, epistemics, context === | === Representing time, probability, epistemics, context === | ||
1 lecture | |||
=== Search and indexing === | === Search and indexing === | ||
2 lecture | |||
=== Learning === | |||
1 lecture | |||
[[Category:Kursus]] | [[Category:Kursus]] | ||
Redaktsioon: 6. veebruar 2009, kell 11:56
Code: ITV0060
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine or http://www.lambda.ee/index/itv0060
Alternative names and codes:
- Tehisintellekti algoritmid ITT0020
- Intelligent Systems ITX8075
Lecturer: Tanel Tammet
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Archives of previous years: 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].
Time, place, result
Semester: spring
Grading: exam
Points: 3.5
Lectures: Every friday 8.00, room IT-140
Practical work: every second (even weeks) Friday 10.00 room IT-213D
Practical work will give %40% and exam 60% of points underlying the final grade.
Practical work
Two labs. Tasks/materials given at the second lecture.
Course structure
Intro and paradigms of knowledge representation
1 lecture
Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation
- Procedural
- Declarative
- logic
- relational, network, object databases
- semantic networks
- frame systems
- property/value pairs
- rule/expert systems
- rdfs and owl
Core search, search in game trees
1 lecture
Logic
2 lectures
- propositional, first order, higher order
- semantics/models
- proofs and deriving new information
- automated reasoning
- relational data and rdf in first order logic
Planning
1 lecture
logic- and reasoning-based methods
Different property/value pair representations
Methods and their relations
1 lecture
- association lists
- google base
- RDF
- XML
Details of RDF, RDFS, RDFa
1 lecture
Specific versions of 1st order logic and rule systems
1 lecture
- KIF
- CL
- ontologies
- wordnet
- cyc
- restricted english systems
OWL
1 lecture
Representing time, probability, epistemics, context
1 lecture
Search and indexing
2 lecture
Learning
1 lecture