论文部分内容阅读
统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义，对表示静态物理世界一般抽象模型的广义知识重构与抽象模型（G-KRA模型）进行扩展，使其能够刻画所定义的智能世界。定义迭代的初步感知过程，在一定的前提假设下根据智能世界构成实体的特征，得到智能世界构成实体的可区分的初步感知。在抽象感知过程中，建立3个子世界的可区分实体与连接库，并生成3个子世界的网络化连接。同时，通过统一构建抽象对象库或者为3个子世界分别构建抽象对象库来实现智能世界的抽象感知过程。扩展后的G-KRA模型