02742nam 22006254a 450 991078341160332120230124181916.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[electronic resource] specification and semantics /João Alexandre LeiteAmsterdam ;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 Alexandre1558342MiAaPQMiAaPQMiAaPQBOOK9910783411603321Evolving knowledge bases3822638UNINA