Řešení příliš podmíněných systémů

	Řešení příliš podmíněných systémů

	Financování: Fond rozvoje vysokých škol, FRVŠ - 0407/1999
	Datum zahájení: 1.ledna 1999
	Doba trvání: 1 rok
	Koordinátor: Luděk Matyska (FI)

Popis projektu	Hlavním cílem projektu je rozvinutí tvůrčí činnosti spoluřešitelky studentky PGS studia Mgr. Hany Rudové a zlepšení podmínek pro práci na disertační práci. Hana Rudová pracuje na katedře informačních technologií Fakulty informatiky v oblasti logického programování s omezujícími podmínkami. Zabývá se studiem strategií pro řešení příliš podmíněných problémů na kokrétních problémech v oblasti tvorby rozvrhů a digitální sazby. Navrhla nový přístup pro řešení příliš podmíněných problémů založený na preferencích proměnných, tzv. anotací proměnných. Hlavní část projektu bude zaměřena na systémy omezení s anotovanými proměnnými a praktické aplikace tohoto teoretického přístupu. Získané poznatky budou tvořit náplň disertační práce a budou prezentovány na lokální a zahraniční konferenci. Tento projekt přímo navazuje na projekt Logické programování s omezujícími podmínkami (FRVS#0748/1998) financovaný také FRVŠ Podrobnější informace o projektu jsou zde (zadání projektu).

Výstupy	Prezentace na mezinárodní a lokální konferenci Prezentace na Semináři FI Technická zpráva FI Závěrečná zpráva

Kontaktní osoba	Hana Rudová

Spoluřešitelé	Luděk Matyska Hana Rudová

Publikace a prezentace	Hana Rudová. Timetabling with constraints. Prezentace na Informatickém semináři , Fakulta Informatiky, Masarykova univerzita, květen 1999. Hana Rudová. Over-constrained systems. V Proceedings Sixteenth National Conference on Artificial Intelligence (AAAI-99) / Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99), strana 954. AAAI Press/The MIT Press, červenec 1999. Prezentováno na 1999 SIGART/AAAI Doctoral Consortium. Hana Rudová, Luděk Matyska. Uniform framework for solving over-constrained and optimization problems. Prezentace v rámci studentské části International Summer School on Constraints in Computational Logics, Gif-sur-Yvette, Francie, září 1999. Hana Rudová, Luděk Matyska. Uniform framework for solving over-constrained and optimization problems. CP'99 Post-Conference Workshop on Modelling and Solving Soft Constraints , Alexandria, Virginia, USA, říjen 1999. PostScript Hana Rudová, Luděk Matyska. Timetabling with annotations. Technická zpráva FIMU-RS-99-09, 17 stran. Fakulta informatiky, Masarykova univerzita, prosinec 1999. PostScript, PDF

Další odkazy	Hana Rudová's Bookmarks - programování s omezujícími podmínkami, logické programování,zajímavé konference, časopisy, odkazy na výzkumné skupiny a konkrétní osoby,... Bibliografie (BibTeX, Post Script)



	webmaster@informatics.muni.cz