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. |
Other editions - View all
Evolving Knowledge Bases: Specification and Semantics João Alexandre Leite No preview available - 2003 |
Common terms and phrases
according actions agent allow always_assert always_assert_event As+1 assert and retract assert event assert_event atoms behaviour char clock cmpny corresponding defined Definition denoted determine digraph dynamic logic program dynamic program encoded EOs+1 epal EUs+1 Ev(R evaluation evolution mode Evolving Knowledge Bases example executable commands extended logic programs external observations external update framework fundamental analysis holds Hs+1 in(obs indexed inhibition commands interpretation KABUL knowledge representation KUL and LUPS least model Lk+1 Logic Pro macd MDLP DAG mrkt Ms+1 multi-agent system Multi-dimensional Dynamic Logic nasdaq nodes non-inertial commands non-monotonic Non-monotonic Reasoning notion object level objective literals obtained P₁ partial evaluation persistent commands program updates Proposition Ps+1 reduced statements Reject(P representation represented retraction command set of commands set of executable sonc specify stable model semantics sub-agent technical analysis Theorem transition U₁ update commands Update Language update program