دانلود مقاله ISI انگلیسی شماره 124826
ترجمه فارسی عنوان مقاله

دانش ضمنی، صریح و تفصیلی

عنوان انگلیسی
Implicit, explicit and speculative knowledge
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
124826 2018 33 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 31282 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 42 روز بعد از پرداخت 375,384 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 21 روز بعد از پرداخت 750,768 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Artificial Intelligence, Volume 256, March 2018, Pages 35-67

ترجمه کلمات کلیدی
منطق مودال، اطلاع، بی اختیاری، بیانگر بیان سیستم های چندگانه،
کلمات کلیدی انگلیسی
Modal logic; Awareness; Bisimulation; Expressivity; Multi-agent systems;
پیش نمایش مقاله
پیش نمایش مقاله دانش ضمنی، صریح و تفصیلی

چکیده انگلیسی

We compare different epistemic notions in the presence of awareness of propositional variables: the logic of implicit knowledge (in which explicit knowledge is definable), the logic of explicit knowledge, and the logic of speculative knowledge. Speculative knowledge is a novel epistemic notion that permits reasoning about unawareness. These logics are interpreted on epistemic awareness models: these are multi-agent Kripke structures for propositional awareness (in each state an agent may only be aware of formulas containing occurrences of a subset of all propositional variables). Different notions of bisimulation are suitable for these logics. We provide correspondence between bisimulation and modal equivalence on image-finite models for these logics. Expressivity and axiomatizations are investigated for models without restrictions, and for models with equivalence relations for all agents (modeling knowledge) and awareness introspection (agents know what they are aware of). We show that the logic of speculative knowledge is as expressive as the logic of explicit knowledge, and the logic of implicit knowledge is more expressive than the two other logics. We also present expressivity results for more restricted languages. We then provide and compare axiomatizations for the three logics; the axiomatizations for speculative knowledge are novel. We compare our results to those for awareness achieved in artificial intelligence, computer science, philosophy, and economics.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 31282 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 42 روز بعد از پرداخت 375,384 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 21 روز بعد از پرداخت 750,768 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.