Titlebook: Computational Logic in Multi-Agent Systems; 8th International Wo Fariba Sadri,Ken Satoh Conference proceedings 2008 Springer-Verlag Berlin

表两个

Fuzzy Argumentation for Trustxpose the rationale behind such trusting decisions. Our solution features a separation of opponent modeling and decision making. It uses possibilistic logic to model behavior of opponents, and we propose an extension of the argumentation framework by Amgoud and Prade [1] to use the fuzzy rules within these models for well-supported decisions.

DRILL

同步信息

transdermal

GUMP

刺穿

‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligationspagation property’. The goal is to define a combination of temporal and deontic logics which satisfies this property. Our starting point is the product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy the propagation property, with