000 | 03773nam a22004935i 4500 | ||
---|---|---|---|
001 | 978-3-540-32446-1 | ||
003 | DE-He213 | ||
005 | 20161121231117.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2006 gw | s |||| 0|eng d | ||
020 |
_a9783540324461 _9978-3-540-32446-1 |
||
024 | 7 |
_a10.1007/3-540-32446-1 _2doi |
|
050 | 4 | _aTA329-348 | |
050 | 4 | _aTA640-643 | |
072 | 7 |
_aTBJ _2bicssc |
|
072 | 7 |
_aMAT003000 _2bisacsh |
|
082 | 0 | 4 |
_a519 _223 |
100 | 1 |
_aLigêza, Antoni. _eauthor. |
|
245 | 1 | 0 |
_aLogical Foundations for Rule-Based Systems _h[electronic resource] / _cby Antoni Ligêza. |
250 | _aSecond Edition. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006. |
|
300 |
_aXX, 309 p. 33 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aStudies in Computational Intelligence, _x1860-949X ; _v11 |
|
505 | 0 | _aLogical Foundations of Rule-Based Systems -- Propositional Logic -- Predicate Calculus -- Attribute Logic -- Resolution -- Dual Resolution -- Principles of Rule-Based Systems -- Basic Structure of Rule-Based Systems -- Rule-Based Systems in Propositional Logic -- Rule-Based Systems in Attributive Logic -- Rule-Based Systems in First-Order Logic -- Inference Control in Rule-Based Systems -- Logic Programming and Prolog -- Verification of Rule-Based Systems -- Principles of Verification of Rule-Based Systems -- Analysis of Redundancy -- Analysis of Indeterminism and Inconsistency -- Reduction of Rule-Based Systems -- Analysis of Completeness -- Design of Rule-Based Systems -- An Introduction to Design of Rule-Based Systems -- Logical Foundations: the ?-Trees Based Approach -- Design of Tabular Rule-Based Systems with XTT -- Design Example: Thermostat -- Concluding Remarks. | |
520 | _aThe book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The main parts present material on: • logical foundations of rule-based systems (Part I); • principles of rule-based systems structures, knowledge representation languages, inference and inference control (Part II); • verification of formal properties of rule-based systems (Part III); • design methodology for efficient development of such systems (Part IV). The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author’s research and experience gathered through several years of his research work. | ||
650 | 0 | _aEngineering. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aApplied mathematics. | |
650 | 0 | _aEngineering mathematics. | |
650 | 1 | 4 | _aEngineering. |
650 | 2 | 4 | _aAppl.Mathematics/Computational Methods of Engineering. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540291176 |
830 | 0 |
_aStudies in Computational Intelligence, _x1860-949X ; _v11 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/3-540-32446-1 |
912 | _aZDB-2-ENG | ||
950 | _aEngineering (Springer-11647) | ||
999 |
_c508744 _d508744 |