首页 /研究 /Logic-axiomatical method of knowledge representation and recognition for robots
OTHER

Logic-axiomatical method of knowledge representation and recognition for robots

A.V. Timopheev, T.M. Kossovskaya

发表年份
1990
引用次数
3

关键词

AxiomKnowledge representation and reasoningComputer scienceRobotArtificial intelligenceInferenceRepresentation (politics)First-order logicPredicate (mathematical logic)Rule of inference

相关论文

查看 OTHER 分类全部论文