TKK > Tiedekunta > Laitos > Opintojaksot >

---

T-93.5800 - Tekoälyn seminaari (3--10 op) V L
Kevät 2008
Tietämyksen esityskielet

Kotisivu: suomi.html

Svenska English

Tiedotuksia

18.01. Ensimmäinen kokoontuminen to 7.2. klo 14-16, huone A211 07.02. Toinen kokoontuminen to 14.2. klo 14-16, huone A232, Perusmateriaalin pohjalta omien aiheiden esitys.

Yleistä

Semanttisen web:n kehitys on lisännyt maailmalla kiinnostusta tietämyksen esitykseen. Deskriptiologiikoita pidetään tärkeimpänä tietämyksen esitysformalismina joka yhdenmukaistaa ja antaa loogisen pohjan soveltaa kehyspohjaisiin, semanttisiin verkkoihin perustuviin ja KL-ONE-tyyppisiin lähestymistapoihin sekä olio-orientoituneisiin järjestelmiin kertyneitä oppeja. Deskriptiologiikan kielten avulla esitetään luokkia, niiden ominaisuuksia ja suhteita. Käyttötarve, ilmaisuvoimaisuus, sanelee minkälaisia laajennuksia kielistä milloinkin tarvitaan. Hybridilogiikka tuo mukanaan nominaalit ja nominaalimuuttujat, luokkien ominaisuudet ovat tarkemmin tarkasteltuna modaalilogiikan modaliteetteja ja niiden avulla esitettyjen lauseiden toteutuvuutta voidaan tutkia modaalilogiikan tarkistimin. Deskriptiologiikat muodostavat hierarkisen perheen kieliä ja seminaarin tarkoitus on käydä läpi tätä hierarkiaa ja sen rinnakkaishaaroja.

Seminaarin tarkoituksena on käydä läpi joukko kieliä tarkastellen niiden

1. syntaksia
2. semantiikkaa
3. asemaa ensimmäisen kertaluvun logiikassa
4. esitettävien perusprobleemien luonnetta
5. tableaux-, resoluutio- ym. pohjaisia mahdollisesti käyttökelpoisia ratkaisimia
6. asemaa ja suhdetta seminaarissa jo käsiteltyihin kieliin
7. roolia standardisoinnin ja sovellusten osalta

Seminaarissa tutustutaan tietämyksen esityskieliin artikkeleiden pohjalta. Tavoite on että seminaari kokoontuu n. 10 kertaa. Alustava aiheluettelo ilmoitetaan tällä sivulla ennen seminaarin alkua. Omaakin aihetta saa ehdottaa.

Hallinnollinen nimi: T-93.5800 Tekoälyn seminaari

Kokoontumiset: to klo 14-16 (A232 paitsi 7.2 ja 6.3 A211)

Opettajat: prof Markku Syrjänen , DI Martti Meri

Ilmoittautuminen Topi

Käsiteltäviä aiheita (tarkentuu)

• luokat ja roolit ja niiden hierarkiat (ALC)
• konkreettiset kohdealueet (SHOIN (D))
• inverssiroolit ja numeerinen kvantifiointi (SHOIQ)
• modaalilogiikan mukainen tulkinta
• nominaalit ja hybridilogiikka (H(@))
• hybridilogiikan laajennukset - muuttujat ja globaali kvantifiointi
• owl 1.0 ja owl 1.1 , standardisointi
• ...

Ohjelma

#	Pvm	Puhuja	Aihe	Opp.
1	7.2.	NN	Esittely
2	14.2.	NN	Perusmateriaalin (alla) pohjalta omien aiheiden muotoilu

Ohjeita

Suoritustapa tarkentuu 14.2 tapaamisella.

• Hyväksytty suoritus
  • Esitelmä
  • Kirjallinen esitys
  • Läsnäolo vähintään 70%
  • Osallistuminen keskusteluun
• Esitelmä
  • Pituus 50 min
• Kirjallinen esitys
  • Verkkosivu html- tai pdf-muodossa (tekstinä 4-7 sivua)
  • Lähetä URL opettajille 2 päivää ennen esitelmää

Ohjeet tarkentuvat, kun osallistujat ovat selvillä. Perussuoritus on 3 op. Pistemäärää voi kasvattaa (sovittavalla tavalla) pitämällä useita esitelmiä, konstruoimalla esimerkkiontologioita ja ajamalla niitä mallintarkistimilla (RACER, FACT++ ,...) , tai miksei prototypoimalla omia kieliä tai tarkistimia.

Perusmateriaali

• F. Baader and U. Sattler. Tableau algorithms for description logics. In R. Dyckhoff, editor, Proceedings of Tableaux 2000, vol. 1847 of LNAI, pages 1--18, Springer, 2000. link
• Ian Horrocks and Ulrike Sattler. A Tableaux Decision Procedure for SHOIQ. J. of Automated Reasoning, 2007. To appear. link

Kirjallisuutta (tarkentuu)

• I R Horrocks, U Sattler Decidability of SHIQ with complex role inclusion axioms Artificial Intelligence Volume 120 (1-2) Pages 79-104 January 2004 ISSN 09401121 link
• Peter F. Patel-Schneider, From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1:1, December 2003. link
• Carsten Lutz, Description Logics with Concrete Domains -- A Survey, link
  
• F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning, KR'98, Trento, Italy, pages 512--523, Montreal, Canada, 1998. Morgan Kaufman. link
• OWL 1.1 Web Ontology Language link
• Carlos Areces and Hans de Nivelle and Maarten de Rijke, Resolution in Modal, Description and Hybrid Logic, link
• F. Wolter and M. Zakharyaschev. Dynamic description logics. In M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic, vol. 2. CSLI Publications, Stanford, 2000. link

Linkkejä (tarkentuu>

• A place where you can check what the acronyms mean. Complexity of reasoning in Description Logics link.
• a Description logic page
• Horrocks publications
• Sattler link

Sivun sisältöä on viimeksi päivitetty 7.2.2008 15:30. URL: http://www.cs.hut.fi/Opinnot/T-93.5800/2008/index.html