行为知识的表示和推理

The Representation of Action Knowledge and Inference

介绍了行为逻辑语言，并讨论了用行为逻辑表示行为知识时应该注意的一些问题，即合理性、通用性、易读性，指出了用于知识库转换的部分函数依赖与行为知识的联系．

This paper introduces the action logic and discusses some problems of action knowledge representation with action logic: rightness,general and understandable.The relation between the pertial dependency function used in knowledge base transferring and action knowledge is builded.