In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) that make closer connections to the workings of particular architectures, thus aiming to provide some computational interpretation of these abstract models. However, there remains a substantial gap between the more abstract logical approaches and the more computationally oriented operational approaches. In this paper, we present a modelling of the mental states of PRS-like agents developed using a combination of dynamic logic and BDI logic that allows a mapping between the operational semantics and the model-theoretic semantics, considering the statics, though not the dynamics, of mental states. This represents a first step towards bridging the gap between theory and practice for an agent programming language that includes a simple notion of intention.
展开▼
机译:Litchfield心理咨询模型以哲学为基础,将精神健康服务应用程序Lift Up UP,旨在提供简单,实用的建议,以帮助个人和员工应对日常的精神健康挑战,并将用户与现有的精神健康专业人员联系起来。 Lift me UP将使用先进的技术来:•协助患者评估过程•监控和支持日常工作•将用户推荐给可用的心理健康专家•与市场上的任何产品相比,创造独特的定制体验。