Detail publikace
Knowledge representation using graph grammar rewriting system
Grafové přepisovací systémy se v informatice používají k řešení velkého množství problémů. Od problémů optimalizace toku programu, verifikace softwaru, popisu a rozkládání strukturovaných informací až po grafové programovací jazyky a algoritmy pro automatické rozvržení prvků. Grafové přepisovací systémy jsou často reprezentovány množinou přepisovacích pravidel, popisujících transformace nad grafy. Každé pravidlo obsahuje kompletní informaci o aplikovatelné modifikaci grafu. V kontextu popisovaného grafového přepisovacího systému je aplikace tohoto pravidla atomickou operací. Nový přístup k přepisování grafů a kritéria pro aplikaci jeho pravidel umožňující vytvoření komplikovaného grafového přepisovacího systému jsou diskutována. Prezentovaný přístup je odvozen od dobře známého double pushout (DPO) přístupu.
@INPROCEEDINGS{FITPUB9478, author = "Pavel Zem\v{c}\'{i}k and Ji\v{r}\'{i} Zuza\v{n}\'{a}k", title = "Knowledge representation using graph grammar rewriting system", pages = "143--149", booktitle = "POSTER Papers proceedings", year = 2010, location = "Plze\v{n}, CZ, CZ", publisher = "University of West Bohemia in Pilsen", ISBN = "978-80-86943-85-5", language = "english", url = "https://www.fit.vut.cz/research/publication/9478" }