A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models.

Yasuo Kudo Tetsuya Murai

Published in: IJCAI (2005)

Keyphrases

state transition
input output
transition model
finite state machines
minimal change
hidden markov models
propositional knowledge base
database
search space