Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
Resümee puudub
23. rida: 23. rida:
Two labs. Tasks/materials given at the second lecture.
Two labs. Tasks/materials given at the second lecture.


== Course structure ===
== Course structure ==




45. rida: 45. rida:


=== Different property/value pair representations and their relations ===
=== Different property/value pair representations and their relations ===
* association lists
* association lists
* RDF
* RDF
51. rida: 52. rida:
=== Details of RDF, RDFS, RDFa ===
=== Details of RDF, RDFS, RDFa ===


=== Specific versions of 1st order logic ==
=== Specific versions of 1st order logic ===


* KIF  
* KIF  
59. rida: 60. rida:
=== OWL ===
=== OWL ===


== Representing time, probability, epistemics ===
=== Representing time, probability, epistemics ===


=== Indexing ===
=== Indexing ===


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

Redaktsioon: 6. veebruar 2009, kell 10:37

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

Paradigms of knowledge representation

  • Procedural
  • Declarative
    • logic
    • relational, network, object databases
    • frame systems
    • property/value pairs
    • rule/expert systems
    • rdfs and owl

Recall 1st order logic

  • semantics/models
  • proofs and deriving new information
  • automated reasoning
  • relational data and rdf in first order logic

Different property/value pair representations and their relations

  • association lists
  • RDF
    • XML

Details of RDF, RDFS, RDFa

Specific versions of 1st order logic

  • KIF
  • CL
  • restricted english systems

OWL

Representing time, probability, epistemics

Indexing

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Teadmiste_otsing,_formaliseerimine_ja_hoidmine&oldid=3029"