Knowledge Assimilation in Domains of Actions: A Possible Causes Approach

@article{Li1997KnowledgeAI,
  title={Knowledge Assimilation in Domains of Actions: A Possible Causes Approach},
  author={Renwei Li and Lu{\'i}s Moniz Pereira},
  journal={Journal of Applied Non-Classical Logics},
  year={1997},
  volume={7},
  pages={77-116}
}
One major problem in the process of knowledge assimilation is how to deal with inconsistency of new knowledge and the existing knowledge base. In this paper we present a formal, provably correct and yet computational methodology for assimilation of new knowledge into knowledge bases about actions and changes based on the slogan: What is believed is what is explained. Technically, we employ Gelfond and Lifschitz' action description language A to describe domains of actions. The knowledge bases… CONTINUE READING