Detail výsledku
Knowledge-assisted reasoning of model-augmented system requirements with event calculus and goal-directed answer set programming
Zvažujeme požadavky na kybernetické fyzické systémy reprezentované v omezeném
přirozeném jazyce. Představujeme nové automatizované techniky pro pomoc při
vývoji těchto požadavků tak, aby byly konzistentní a dokázaly odolat vnímaným
selháním. Ukazujeme, jak lze modelovat požadavky na kybernetické fyzické systémy
pomocí kalkulu událostí (EC), formalismu používaného v AI pro reprezentaci akcí
a změn. Ukazujeme také, jak lze programování sady odpovědí (ASP) a jeho
implementaci řízenou dotazem s (CASP) použít k přímé realizaci modelu počtu
událostí požadavků. Tento model počtu událostí lze použít k automatickému ověření
požadavků. Protože ASP je expresivní jazyk reprezentace znalostí, lze jej také
použít k reprezentaci kontextových znalostí o kyberneticko-fyzikálních systémech,
které lze zase použít k nalezení mezer v jejich specifikacích požadavků. Náš
přístup ilustrujeme prostřednictvím systému upozorňování na nadmořskou výšku
z oblasti avioniky.
Calculations; Cyber Physical System; Embedded systems; Knowledge representation;
Natural language processing systems; Query processing
@inproceedings{BUT193232,
author="HALL, B. and FIEDOR, J. and ARIAS, J. and GUPTA, G.",
title="Knowledge-assisted reasoning of model-augmented system requirements with event calculus and goal-directed answer set programming",
booktitle="Proceedings HCVS 2021",
year="2021",
series="Electronic Proceedings in Theoretical Computer Science, EPTCS",
volume="344",
pages="79--90",
doi="10.4204/EPTCS.344.6",
isbn="978-80-210-8362-2",
url="https://arxiv.org/pdf/2109.04634.pdf"
}