信息技术和计算机的快速发展使得软件的执行效率和硬件的性能得到了很大的提高。在现代生活中,具备计算能力和数字通信能力的设备越来越多,并且这些设备的功能和信息都可以被其它的设备使用。这就使得不同角色或类型的设备之间的界线变得越来越模糊。多个共享信息的交互计算设备可以组成一个智能空间,智能空间可以认为是一个嵌入了多模态传感器、计算和信息设备的工作空间。智能空间中的设备和设备之间会进行无缝的连接,这使得用户可以便捷地访问空间中的信息资源并获取计算机的服务,从而能够帮助用户实现高效地工作。由于智能空间中存在的资源设备众多,对空间中的这些设备进行标准化是很困难的。最初的方法是为智能空间建立具有标准语义的本体,这可以通过语义网的方法来实现。但是,语义网依赖于网页结构,并且语义网的推理效率和隐私性都不够好。因此,相关研究学者们提出了Smart-M3平台,从而更好地实现智能空间。Smart-M3是实现智能空间的交互操作平台,空间中的所有信息和服务都可以在这个平台上进行共享和存取。Vesa Luukkala等学者利用回答集程序和Smart-M3的整合,解决了智能空间中具有固定优先关系的资源分配和冲突问题。然而,智能空间是一个动态的、上下文敏感的环境,资源的使用和可用性不断变化,并且信息更新和环境的变化也会改变原有的资源分配顺序,从而引起新的冲突。针对该问题,基于回答集程序提出一种动态优先的方法。首先,引入缺省规则并利用缺省决策理论动态决策智能空间中的优先关系;然后,利用回答集程序表达智能空间中的动态优先关系;最后,求解回答集程序得到冲突问题的解。实例表明,该方法可以动态决策空间中的优先关系,有效解决空间中的冲突问题,当信息更新和环境变化后对空间中的资源实现合理分配。进一步地,智能空间中的资源设备类型和数目众多,当设备想要使用空间中的其他资源时会发布一个活动实例。只有当活动实例获得它所请求的所有资源时才能得到执行。一旦资源分配不当就会造成空间中的活动实例因得不到资源而相互等待的现象,从而引起死锁问题。因此,针对智能空间中的死锁问题,首先,提出基于元程序的死锁检测方法,通过该方法可以检测智能空间中是否存在死锁问题,如果存在则查找出处于死锁状态的所有活动实例;然后,通过对元程序进行扩展,利用扩展的元程序解除智能空间中的死锁状态,从而解决空间中存在的死锁问题,使智能空间中的所有活动实例都能正常执行。