02737nam 22006374a 450 991096834310332120251116165059.01-280-50564-897866105056471-4175-1145-1600-00-0423-01-60129-425-5(CKB)1000000000243916(EBL)267495(OCoLC)632620320(SSID)ssj0000151608(PQKBManifestationID)11144708(PQKBTitleCode)TC0000151608(PQKBWorkID)10320278(PQKB)10950334(MiAaPQ)EBC267495(Au-PeEL)EBL267495(CaPaEBR)ebr10116465(CaONFJC)MIL50564(EXLCZ)99100000000024391620021115d2003 uy 0engur|n|---|||||txtccrEvolving knowledge bases specification and semantics /Joao Alexandre Leite1st ed.Amsterdam ;Washington, DC IOS Press ;Tokyo Ohmshac20031 online resource (326 p.)Frontiers in artificial intelligence and applications,0922-6389 ;v. 81.Dissertations in artificial intelligenceDescription based upon print version of record.1-58603-278-X Includes bibliographical references (p. 283-301).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 SymbolsAn 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.Frontiers in artificial intelligence and applications ;v. 81.Frontiers in artificial intelligence and applications.Dissertations in artificial intelligence.Logic programmingExpert systems (Computer science)Logic programming.Expert systems (Computer science)006.33Leite João Alexandre1602075MiAaPQMiAaPQMiAaPQBOOK9910968343103321Evolving knowledge bases4534199UNINA