کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4663045 1345222 2013 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Simulative belief logic
ترجمه فارسی عنوان
منطق باور وانمودی
کلمات کلیدی
انتساب باور ، باور شبیه سازی؛ منطق پویا
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

The ability of ascribing beliefs to others is crucial for human beings to explain and understand each other. Belief ascription has been studied intensively in philosophy and cognitive science. In this paper, we propose a formal framework for belief ascription by simulation. An agent first acquires information about another agentʼs beliefs by communication. She then inputs the information into her own belief system to generate more beliefs, which she will ascribe to the other agent. In this way, the agent uses her own as a model of others. We present a modal belief logic, which contains private announcement operators for agentsʼ communication, and simulative belief operators for beliefs ascribed to others. We give a complete axiomatic system for the logic.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 11, Issue 2, June 2013, Pages 217–228
نویسندگان
, , ,