一种海巡艇调度数据的动态获取方法

摘要

本发明公开一种海巡艇调度数据的动态获取方法，步骤为：（1）把海巡艇初始已知事实加载到方法实现空间中，然后对事实进行求解，如果有解，则返回解并退出，如果无解，则进入步骤（2）；（2）形成方法库，然后从方法库中选择可适用的知识形成KS；（3）判断KS是否为空，若KS为空，则转步骤（4），若KS不为空，则转步骤（5）；（4）从已知事实出发，提示用户向KS中补充新事实；若能够补充新事实，则将用户提供的新事实加入实现空间，重复步骤（2），若不能补充新事实，则退出。此方法可大大减轻海事人员记录海巡艇执法情况的工作量，提高海巡艇执法记录的准确性，平衡每个海巡艇执法的工作量。

主权项

一种海巡艇调度数据的动态获取方法，其特征在于包括如下步骤：（1）把海巡艇初始已知事实加载到方法实现空间中，然后使用实现空间中的方法对事实进行求解，如果有解，则返回解并退出本次求解过程，如果无解，则进入步骤（2）；（2）从预先建立好的数据库中选择所有方法形成方法库，然后从方法库中选择可适用的知识形成KS；（3）判断KS是否为空，若KS为空，则转步骤（4），若KS不为空，则转步骤（5）；（4）从已知事实出发，提示用户向KS中补充新事实；若能够补充新事实，则将用户提供的新事实加入实现空间，重复步骤（2），若不能补充新事实，则退出本次求解过程；（5）若KS有多条知识是适用知识，按照新鲜性的冲突消解策略，从KS中选出一条知识进行推理，如果推理出的知识是新事实，则把该新事实加入实现空间，重复步骤（1），否则转步骤（3）判断KS是否为空，直到在实现空间找到事实对应的解，或在没有适用知识的情况下，用户不补充事实，才结束事实的求解。