Cargando…

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Leite, João Alexandre
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, DC : Tokyo : IOS Press ; Ohmsha, ©2003.
Colección:Frontiers in artificial intelligence and applications ; v. 81.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.