Logic Programming With Social Features

FRANCESCO BUCCAFURRI; GIANLUCA CAMINITI

首页> 外文期刊>Theory and Practice of Logic Programming >Logic Programming With Social Features

【24h】

Logic Programming With Social Features

机译：具有社交功能的逻辑编程

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

In everyday life it happens that a person has to reason out what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behavior by reasoning about the others' mental state. In this paper we focus on a knowledge-representation language derived from logic programming which both supports the representation of mental states of individual communities and provides each with the capability of reasoning about others' mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.

机译：在日常生活中，一个人不得不推理别人的想法以及他们的行为方式，以实现自己的目标。换句话说，可能需要一个人通过推理他人的心理状态来适应其行为。在本文中，我们专注于从逻辑编程中衍生的知识表示语言，该语言既支持单个社区的心理状态表示，又为每个人提供推理其他人的心理状态并采取相应行动的能力。所提出的语义显示为可翻译为具有集合的逻辑程序的稳定模型语义。

著录项

来源
《Theory and Practice of Logic Programming》 |2008年第6期|p.643-690|共48页
作者
FRANCESCO BUCCAFURRI; GIANLUCA CAMINITI;
展开▼
作者单位

DIMET-Universita 'Mediterranea' degli Studi di Reggio Calabria via Graziella, loc. Feo di Vito, 89122 Reggio Calabria, Italia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
logic programming; stable model semantics; knowledge representation;

机译：逻辑编程;稳定的模型语义;知识表示;

相似文献

外文文献
中文文献
专利

1. Detecting anomalous programmable logic controller behavior using RF-based Hilbert transform features and a correlation-based verification process [J] . Stone Samuel J., Temple Michael A., Baldwin Rusty O. International Journal on Critical Infrastructure Protection . 2015,第juna期

机译：使用基于RF的Hilbert变换功能和基于相关性的验证过程来检测可编程逻辑控制器的异常行为
2. From extended feature models to constraint logic programming [J] . Ahmet Serkan Karatas, Halit Oguztuezuen, Ali Dogru Science of Computer Programming . 2013,第12期

机译：从扩展特征模型到约束逻辑编程
3. Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study [J] . Jose C A Santos, Houssam Nassif, David Page, BMC Bioinformatics . 2012,第1期

机译：使用归纳逻辑编程自动识别蛋白质-配体相互作用特征：己糖结合案例研究
4. On the Translations of Extended Logic Programs, Two-Valued Logic Programs and Normal Logic Programs [C] . Yan Zhang, Shiyang Wei, Fasheng Cao International Conference on Measuring Technology and Mechatronics Automation . 2020

机译：关于扩展逻辑程序，二值逻辑程序和普通逻辑程序的翻译
5. Search behavior, social positions, and institutional logics: The U.S. feature film industry, 1997-2006. [D] . Kim, Tohyun. 2010

机译：搜索行为，社会地位和制度逻辑：美国故事片产业，1997-2006年。
6. Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study [O] . Jose C A Santos, Houssam Nassif, David Page, 2012

机译：使用归纳逻辑编程自动识别蛋白质-配体相互作用特征：己糖结合案例研究
7. Logic programming with social features [O] . Buccafurri, Francesco, Caminiti, Gianluca 2008

机译：具有社交功能的逻辑编程
8. TSAR User's Manual: A Program for Assessing the Effects of Conventional andChemical Attacks on Sortie Generation. Volume 1. Program Features, Logic, and Interactions [R] . Emerson, D. E. 1990

机译：TsaR用户手册：评估常规和化学攻击对出击组生成影响的程序。第1卷。程序功能，逻辑和交互

Logic Programming With Social Features

摘要

著录项

相似文献

相关主题

期刊订阅