Evolving knowledge bases : specification and semantics /

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.

Saved in:
Bibliographic Details
Main Author: Leite, João Alexandre
Format: Electronic eBook
Language:English
Published: Amsterdam ; Washington, DC : Tokyo : IOS Press ; Ohmsha, ©2003.
Series:Frontiers in artificial intelligence and applications ; v. 81.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Subjects:
Online Access:Full text (Emerson users only)
Full text (Emmanuel users only)
Full text (NECO users only)
Full text (MCPHS users only)
Full text (Wentworth users only)
Table of 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.