Weighted Multi Dimensional Logic Programs

机译：加权多维逻辑程序

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In a previous work we introduced a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs) that allow one to assign a measure of strength to the knowledge relationships represented by the edges. In this paper we present the declarative and operational semantics of such a framework, and give results of correctness. We illustrate the usage of the framework by formalizing social agent structures.

机译：在先前的工作中，我们介绍了一个逻辑框架，适用于形式化认知主体的结构。这样的框架基于加权有向无环图（WDAG）的概念，该概念使人们可以将强度的度量分配给由边缘表示的知识关系。在本文中，我们介绍了这种框架的声明性和操作性语义，并给出了正确性的结果。我们通过形式化社会主体结构来说明该框架的用法。

著录项

来源
《International Workshop on Computational Logic in Multi-Agent Systems(CLIMA IV); 20040106-07; Fort Lauderdale,FL(US)》|2004年|P.178-200|共23页
会议地点 Fort LauderdaleFL(US)
作者
Pierangelo DellAcqua;
展开▼
作者单位

Department of Science and Technology -ITN, Linkoeping University, Norrkoeping, Sweden;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;数理逻辑、数学基础;
关键词

相似文献

外文文献
中文文献
专利

1. MULTI-DIMENSIONAL LOGIC PROGRAMMING - THEORETICAL FOUNDATIONS [J] . Orgun MA., Du WC. Theoretical computer science . 1997,第2期

机译：多维逻辑程序设计-理论基础
2. Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming [J] . Alsinet Teresa, Bejar Ramon, Godo Lluis, Journal of experimental and theoretical artificial intelligence (Online) . 2016,第1a2期

机译：加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
3. Products of weighted logic programs [J] . SHAY B.COHEN, ROBERT J.SIMMONS, NOAH A.SMITH Theory and Practice of Logic Programming . 2011,第PTa2a3期

机译：加权逻辑程序的乘积
4. Weighted Multi Dimensional Logic Programs [C] . Pierangelo DellAcqua International Workshop on Computational Logic in Multi-Agent Systems . 2004

机译：加权多维逻辑程序
5. A WEIGHTED TCHEBYCHEFF APPROACH TO INTERACTIVE MULTIPLE OBJECTIVE 0-1 PROGRAMMING AS APPLIED TO THE HOSPITAL CAPITAL BUDGET. [D] . RUWE, MARCIA LOGSOON. 1982

机译：应用于医院预算的交互式多目标0-1规划的加权Tchebycheff方法。
6. Evaluation of diagnostic value and T2-weighted three-dimensional isotropic turbo spin-echo (3D-SPACE) image quality in comparison with T2-weighted two-dimensional turbo spin-echo (2D-TSE) sequences in lumbar spine MR imaging [O] . Jomleh Hossein, Faeghi Fariborz, Rasteh Mehrnaz, 2019

机译：与腰椎MR成像中T2加权二维涡轮自旋回波（2D-TSE）序列相比诊断价值和T2加权三维各向同性涡轮自旋回波（3D-SPACE）图像质量的评估
7. On the use of multi-dimensional dynamic logic programming to represent societal agents’ viewpoints [O] . João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira 2001

机译：关于使用多维动态逻辑编程来表达社会主体的观点

Weighted Multi Dimensional Logic Programs

摘要

著录项

相似文献

相关主题

期刊订阅