Evolving Knowledge Bases: Specification and Semantics
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
List of Figures
Logic Programming for NMR
9 other sections not shown
Other editions - View all
according actions agent allow assert and retract assert event atoms behaviour Chapter char clauses clock conds consider contains corresponding default literals default negation Default p(P Definition denoted determine digraph dynamic logic program dynamic program update edges encoded epal Ev(R evaluation evolution mode Evolving Knowledge Bases example executable commands extended logic programs external observations external update false framework fundamental analysis hierarchy holds indexed inertia inhibition commands KABUL knowledge representation KUL and LUPS least model MDLP DAG multi-agent system Multi-dimensional Dynamic Logic MVCP nasdaq nodes non-inertial commands non-monotonic reasoning notion object level objective literals obtained partial evaluation persistent commands power-failure prevalence mode Proof Proposition Reject(P remove representation represented resp retraction command semantics of logic set of commands set of executable sonc specify stable model semantics stock market indexes sub-agent Theorem transition true Update Answer-Set update commands Update Language update program