Dalyko sando kodas

ISIS7124

Dalyko sando pavadinimas

Intelektualios sistemos

Dėstytojo (-jų) pedagoginis vardas, mokslo laipsnis, vardas ir pavardė

Doc.dr. Stanislovas Norgėla

Katedra, centras

Informatikos katedra

Fakultetas, padalinys

Matematikos ir informatikos fakultetas

Dalyko sando lygis

antrosios pakopos

Semestras

pavasario (2) 

ECTS kreditai

6

VU kreditai

4

Auditorinės valandos

viso dalyko 64

Paskaitų 32

seminarų

pratybų 32

laboratorinių darbų

konsultacijų

Reikalavimai

Diskrečioji matematika, Matematinė logika

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Deskriptyviosios  bei neklasikinių (modalumų, laiko, hibridinių) logikų taikymai objektiškai orientuotų, pusiau struktūrizuotų duomenų bazių, semantinio web'o bei planavimo problemų sprendimui.

Dalyko sando turinys

Modalumo logikos. Žinių bazės ir išvedimų sistemos. Lentelių metodas. Ryšys tarp pirmos eilės modalumo logikos K4 ir objektiškai orientuotų duomenų bazių. Užklausų tikrinimo automatinė paieška. Išsišakojančios laiko logikos. Tiesinio laiko logikos. Baigtinės tiesinio laiko logikos taikymai planavimo uždaviniams. Semantiniai tinklai. Įvykdomumo ir apribojimo operatoriai. Pusiau struktūrizuotos duomenų bazės ir multimodalumo hibridinės logikos. Konceptualieji termai. Terminologinės interpretacijos. Semantinis web'as ir deskriptyvioji logika. Terminologinių reiškinių transformavimas į klasikinę logiką. Išvedimų sudėtingumas.

Pagrindinės literatūros sąrašas

1.S.Norgėla, Logika ir dirbtinis intelektas, TEV, 2006 (spaudoje).

2.C.Areces, Logic engineering, 2000

(http://www.illc.uva.nl/~carlos).

3.R.Gore, Automated reasoning project, Rapport technique, TR-ARP-15-95, 1997.

Papildomos literatūros sąrašas

1. P.Blackburn, M.Tzakova, Hybrid languages and temporal logics, Technical Report CLAUS-Report 96, Computerlinguistik, Universitat des Saarlandes, 1998.

2.V.Thion, Bases de donnees, constraintes d'integrite et logiques modales, Ph.D thesis, Universite Paris-Sud XI, 2004.

Mokymo metodai

Paskaitos, pratybos

Lankomumo reikalavimai

75 procentai

Atsiskaitymo reikalavimai

Egzaminas ( raštu.)

Vertinimo būdas

50% už laboratorinius darbus, 50% už egzamino laikymą

Aprobuota katedros

2005 10 20

Patvirtinta Studijų programos komiteto

2005 11 14