Evolving Knowledge Bases: Specification and SemanticsAn 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
Introduction | 1 |
Logic Programming for NMR | 11 |
Dynamic Logic Programming | 29 |
Languages of Updates | 101 |
Knowledge and Behaviour Update Language | 121 |
Multidimensional Dynamic Logic Programming | 175 |
Multidimensional KABUL | 215 |
Illustrative Examples | 247 |
Conclusions and Future Directions | 277 |
Bibliography | 283 |
A List of Symbols | 303 |
Other editions - View all
Evolving Knowledge Bases: Specification and Semantics João Alexandre Leite No preview available - 2003 |
Common terms and phrases
according agent allow always_assert always_assert_event Artificial Intelligence As+1 assert event atoms behaviour char clauses corresponding default literals default negation defined Definition denoted determine digraph dynamic logic program dynamic program edges editors encoded EOs+1 epal EUs+1 Ev(R evaluation Evolving Knowledge Bases example executable commands extended logic programs external observations external update framework fundamental analysis hierarchy indexed inertia inhibition commands J. A. Leite J. J. Alferes KABUL knowledge representation L. M. Pereira least model Lk+1 Logic Pro MDLP DAG Ms+1 multi-agent systems Multi-dimensional Dynamic Logic nodes non-inertial commands non-monotonic reasoning notion object level objective literals obtained P₁ P₂ partial evaluation persistent commands prevalence mode Proposition Ps+1 Reject(P represented semantics of logic sequence set of commands set of executable sonc specify stable model semantics sub-agent Theorem transition trend tv_on U₁ Update Answer-Set update commands Update Language update program