| Document Type
|
:
|
BL
|
| Record Number
|
:
|
953360
|
| Doc. No
|
:
|
b707730
|
| Main Entry
|
:
|
Leite, João Alexandre.
|
| Title & Author
|
:
|
Evolving knowledge bases : : specification and semantics /\ João Alexandre Leite.
|
| Publication Statement
|
:
|
Amsterdam ;Washington, DC :: IOS Press ;Tokyo :: Ohmsha,, ©2003.
|
| Series Statement
|
:
|
Frontiers in artificial intelligence and applications,; v. 81.Dissertations in artificial intelligence
|
| Page. NO
|
:
|
1 online resource (xviii, 307 pages) :: illustrations
|
| ISBN
|
:
|
1417511451
|
|
|
:
|
: 158603278X
|
|
|
:
|
: 1601294255
|
|
|
:
|
: 4274905713
|
|
|
:
|
: 9781417511457
|
|
|
:
|
: 9781586032784
|
|
|
:
|
: 9781601294258
|
|
|
:
|
: 9784274905711
|
|
|
:
|
158603278X
|
|
|
:
|
4274905713
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 283-301).
|
| Contents
|
:
|
Cover; Title page; Acknowledgements; Abstract; Contents; List of Figures; Preface; 1 Introduction; 2 Logic Programming for NMR; 3 Dynamic Logic Programming; 4 Languages of Updates; 5 Knowledge and Behaviour Update Language; 6 Multi-dimensional Dynamic Logic Programming; 7 Multi-dimensional KABUL; 8 Illustrative Examples; 9 Conclusions and Future Directions; Bibliography; A List of Symbols.
|
| Abstract
|
:
|
An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs.
|
| Subject
|
:
|
Expert systems (Computer science)
|
| Subject
|
:
|
Logic programming.
|
| Subject
|
:
|
COMPUTERS-- Programming-- Open Source.
|
| Subject
|
:
|
COMPUTERS-- Software Development Engineering-- General.
|
| Subject
|
:
|
COMPUTERS-- Software Development Engineering-- Tools.
|
| Subject
|
:
|
Expert systems (Computer science)
|
| Subject
|
:
|
Logic programming.
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.63.L48 2003eb
|