Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
38. rida: 38. rida:
=== Intro and paradigms of knowledge representation ===
=== Intro and paradigms of knowledge representation ===


1 lecture.
* Declarative and procedural representations


Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation
See also:
* Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation
* Pointers to classical papers: http://www.cse.buffalo.edu/~rapaport/676/F01/proc.decl.html


* Procedural
=== Databases: meaning and representation of facts ===
* Declarative
** logic
** relational, network, object databases
** semantic networks
** frame systems
** property/value pairs
** rule/expert systems
** rdfs and owl


Different property/value pair representations
See also:
 
=== Relational databases, logic, RDF and RDFa ===
 
2 lectures


* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
64. rida: 54. rida:
* [http://www.w3.org/2006/07/SWD/RDFa/primer/ w3c rdfa primer]
* [http://www.w3.org/2006/07/SWD/RDFa/primer/ w3c rdfa primer]
* [http://www.microformats.org microformats: a similar technology]
* [http://www.microformats.org microformats: a similar technology]
* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]
* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]
* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf rdf tutorial addendum for logic and dbases]
* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf rdf tutorial addendum for logic and dbases]


=== Logic ===
=== Scraping semistructured data ===
 
=== Rules in logic: apps in planning, robotics, ... ===


* propositional, first order, higher order
* propositional, first order, higher order
74. rida: 65. rida:
* proofs and deriving new information
* proofs and deriving new information
* automated reasoning
* automated reasoning
See also:


* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]
* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]
=== Planning  ===
With logic and reasoning-based methods.
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [[blocks world axiom/query examples from lecture]]
* [[blocks world axiom/query examples from lecture]]


=== Specific versions of 1st order logic and rule systems ===
=== Various rule/logic languages ===


* RDFS
* OWL
* KIF  
* KIF  
* CL  
* CL  
94. rida: 83. rida:
* restricted english systems
* restricted english systems


* [http://cl.tamu.edu/ CL main page],
See also:
* [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english]
 
=== RDFS and OWL ===
 
RDFS
 
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]
Understand basics of owl:
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://www.w3.org/TR/owl-guide/ w3c OWL guide]
* [http://www.w3.org/TR/owl-guide/ w3c OWL guide]
* [http://cl.tamu.edu/ CL main page],
* [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english]
=== Time, context, metainformation ===


=== Probabilistic and default reasoning ===
=== Probabilistic and nonmonotonic reasoning ===


See also:
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic]
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic]
* [http://en.wikipedia.org/wiki/Default_logic default logic]
* [http://en.wikipedia.org/wiki/Default_logic default logic]


=== Practical reasoning with procedural attachments: robot example ===
=== Personalized search and recommendations ===
 
=== Representing time, epistemics, context ===


=== Personalized suggestions with probabilistic rules ===
=== Fast search of facts and rules using indexing ===
 
=== Search and indexing ===


* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
126. rida: 107. rida:
* [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]
* [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]
* [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper about term indexes]
* [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper about term indexes]
=== Learning ===
See also:
* [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]


<!--
<!--

Redaktsioon: 31. jaanuar 2011, kell 02:30

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: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Archives of previous years: 2010, 2009, 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].

Time, place, result

Semester: spring
Grading: exam
Points: 3.5

Lectures: every Monday 12.00-13.30, room IT-137a
Practical work: Mondays on odd weeks 10.00-11.30, room IT-213H

Practical work will give 40% and exam 60% of points underlying the final grade.


Practical work

  • two labs on the same theme.
  • optional third lab

First lab

TBA

Second lab

TBA

Optional third lab

TBA

Course structure

Intro and paradigms of knowledge representation

  • Declarative and procedural representations

See also:

Databases: meaning and representation of facts

See also:

Scraping semistructured data

Rules in logic: apps in planning, robotics, ...

  • propositional, first order, higher order
  • semantics/models
  • proofs and deriving new information
  • automated reasoning

See also:

Various rule/logic languages

  • RDFS
  • OWL
  • KIF
  • CL
  • ontologies
  • wordnet
  • cyc
  • restricted english systems

See also:

Time, context, metainformation

Probabilistic and nonmonotonic reasoning

See also:

Personalized search and recommendations

Fast search of facts and rules using indexing

Learning

See also:


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