insql公司

insql:一种用于虚拟机构的查询语言,它使用答案集编程机构提供了一种机制来捕捉和推理社会环境中的“正确”和“不正确”行为。虽然机构本身可以被研究,但它们真正的潜力是作为管理开放软件体系结构(如多智能体和面向服务的系统)的工具。我们针对规范性框架的领域特定动作语言InstAL旨在帮助设计师将注意力集中在诸如许可、违规和权力等问题的表达上,但不帮助设计师验证或查询他们指定的模型。在本文中,我们提出了查询语言InstQL,它包含了许多强大的功能,包括对事件的时间约束和fluent,它们可以与InstAL一起使用来指定那些感兴趣的跟踪,以便对底层规范模型进行调查和推理。查询语言的语义是通过将insql查询转换成与InstAL相同的计算语言AnsProlog来提供的。其结果是一个简单的高级查询和约束语言,它建立在ASP的推理能力之上并使用它。