Modern Theory of Information – Structured and Knowledge Based System Design
Zobrazit minimální záznam
| dc.contributor.author |
Krayem, Said
|
|
| dc.date.accessioned |
2016-06-21T12:33:48Z |
|
| dc.date.available |
2016-06-21T12:33:48Z |
|
| dc.date.issued |
2016 |
|
| dc.identifier.issn |
978-80-7454-597-9 |
|
| dc.identifier.uri |
http://hdl.handle.net/10563/36769
|
|
| dc.description.abstract |
Instructional text Modern Theory of Structured Information and Knowledge-Based System Design general part and a special part provides basic and necessary scope of knowledge of modern method design. The content is adapted for easier study the theory and the examples based on a formal method and knwoledge-based method. The objective of the author was to prepare teaching texts for doctoral students from UTB FAI in Zlín which provides the necessary knowledge in the subject of Modern Theory of Structured Information and Knowledge-Based System-Design. Main attention was paid to Method Common-KADS, which today is the European standard for design KBS and formal method Event-B for mathematical modeling and proving complex systems. |
en |
| dc.format |
167 |
|
| dc.language.iso |
en |
|
| dc.publisher |
Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky |
en |
| dc.rights |
Bez omezení |
|
| dc.subject |
Event-B
|
en |
| dc.subject |
KADS
|
en |
| dc.subject |
Knowledge
|
en |
| dc.subject |
Knowledge based system
|
en |
| dc.subject |
Knowledge Representation
|
en |
| dc.subject |
Expert System Design
|
en |
| dc.subject |
Knowledge Engineering
|
en |
| dc.subject |
Formal Methods
|
en |
| dc.subject |
events
|
en |
| dc.subject |
action
|
en |
| dc.subject |
machine and context
|
en |
| dc.title |
Modern Theory of Information – Structured and Knowledge Based System Design |
en |
| dc.type |
Book |
en |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
Zobrazit minimální záznam
