Evolving knowledge bases : specification and semantics / Joao Alexandre Leite.

Format:

Book

Author/Creator:

Leite, João Alexandre.

Series:

Frontiers in artificial intelligence and applications ; v. 81.

Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.

Frontiers in artificial intelligence and applications, 0922-6389 ; v. 81. Dissertations in artificial intelligence

Language:

English

Subjects (All):

Logic programming.

Expert systems (Computer science).

Physical Description:

1 online resource (326 p.)

Edition:

1st ed.

Place of Publication:

Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, c2003.

Language Note:

English

Summary:

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.

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

Notes:

Description based upon print version of record.

Includes bibliographical references (p. 283-301).

ISBN:

1-280-50564-8

9786610505647

1-4175-1145-1

600-00-0423-0

1-60129-425-5

OCLC:

632620320