On Multi-agent Systems Specification via Deontic Logic

机译：关于基于逻辑的多智能体系统规范

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45_n~(i-j), is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present some simple examples.

机译：我们研究了Halpern及其同事对代理系统的正确行为进行建模的解释系统形式主义的扩展。语义模型允许对代理以及整个系统的正确和不正确的功能行为状态进行表示和推理。我们通过将语义类映射到合适的Kripke模型类中来使其公理化。产生的逻辑KD45_n〜（i-j）是KD的更强版本，该系统通常称为标准奉贤逻辑。我们讨论这些问题并提出一些简单的例子。

著录项

来源
《8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages ATAL 2001, Aug 1-3, 2001, Seattle, WA, USA》|2001年|p.86-99|共14页
会议地点 Seattle WA(US);Seattle WA(US)
作者
Alessio Lomuscio; Marek Sergot;
展开▼
作者单位

Department of Computing Imperial College of Science, Technology and Medicine London SW7 2BZ, United Kingdom;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–P?rn deontic logic system] [J] . Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Synthese . 2012,第2期

机译：二维标准道义逻辑[包括对1985年Jones–P？rn道理逻辑系统的详细分析]
2. Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-P?rn deontic logic system] [J] . de Boer M., Gabbay D.M., Parent X., Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science . 2012,第2期

机译：二维标准道义逻辑[包括对1985年Jones-P？rn道理逻辑系统的详细分析]
3. Special Issue 'deontic modalities in natural language'-selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014) [J] . Parent Xavier, Meheus Joke Journal of logic and computation . 2019,第3期

机译：特刊“自然语言中的道义模态”，选自第十二届国际道义逻辑与规范系统国际会议（DEON，2014年）
4. On Multi-agent Systems Specification via Deontic Logic [C] . Alessio Lomuscio, Marek Sergot International Workshop on Agent Theories, Architectures, and Languages . 2002

机译：通过语法逻辑的多智能体系规范
5. Paraconsistency and deontic logic: Formal systems for reasoning with normative conflicts. [D] . McGinnis, Casey Neil. 2007

机译：超一致性和定理逻辑：带有规范冲突的推理形式系统。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. On Multi-Agent Systems Specification via Deontic Logic [O] . Alessio Lomuscio, Marek Sergot 2001

机译：关于Deontic Logic的多agent系统规范

On Multi-agent Systems Specification via Deontic Logic

摘要

著录项

相似文献

相关主题

期刊订阅