Szczegóły publikacji
Opis bibliograficzny
Deduction-based modelling and verification of agent-based systems for data integration / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3; e-ISBN: 978-3-319-02309-0. — S. 361–368. — Bibliogr. s. 368, Abstr.
Autorzy (3)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 77775 |
|---|---|
| Data dodania do BaDAP | 2013-11-21 |
| DOI | 10.1007/978-3-319-02309-0_39 |
| Rok publikacji | 2014 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 3rd International Conference on Man-Machine Interactions |
| Czasopismo/seria | Advances in Intelligent Systems and Computing |
Abstract
The work concerns the application of multi-agent systems to heterogeneous data integration, and shows how agent approach can be subjected to formal verification using a deductive approach. Since logical specifications are difficult to specify manually, a method for an automatic extraction of logical specifications, considered as a set of temporal logic formulae, is proposed. A simple example is provided.
