دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
دانلود کتاب منطق در هوش مصنوعی: کارگاه اروپایی JELIA '94 یورک، بریتانیا، 5 تا 8 سپتامبر 1994 مجموعه مقالات
مشخصات کتاب
Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.) سری: Lecture Notes in Computer Science 838 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540583327, 9783540583325 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 416 [423] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در هوش مصنوعی: کارگاه اروپایی JELIA '94 یورک، بریتانیا، 5 تا 8 سپتامبر 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق در هوش مصنوعی: کارگاه اروپایی JELIA '94 یورک، بریتانیا، 5 تا 8 سپتامبر 1994 مجموعه مقالات
این کتاب مجموعه مقالات کارگاه اروپایی منطق در هوش مصنوعی در سال 1994 است که در شهر یورک، انگلستان در سپتامبر 1994 برگزار شد. 24 مقاله ارائه شده از مجموع 79 مقاله ارسالی انتخاب شدند. علاوه بر این، دو چکیده از سخنرانی های دعوت شده و یک مقاله کامل از ارائه دعوت شده توسط گئورگ گوتلاب وجود دارد. مقالات اشاره می‌کنند که با عمق و بلوغ فرمالیسم‌ها و روش‌شناسی‌های موجود در هوش مصنوعی امروزه، منطق‌ها مبنایی رسمی برای مطالعه کل حوزه هوش مصنوعی فراهم می‌کنند. این جلد بخش‌هایی در مورد استدلال غیر یکنواخت، استدلال خودکار، برنامه‌نویسی منطقی، بازنمایی دانش، و بازبینی باورها ارائه می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.
فهرست مطالب
From Carnap's modal logic to autoepistemic logic....Pages 1-18
Compactness properties of nonmonotonic inference operations....Pages 19-33
Around a powerful property of circumscriptions....Pages 34-49
The computational value of joint consistency....Pages 50-65
Belief dynamics, abduction, and databases....Pages 66-85
On the logic of theory base change....Pages 86-105
Belief, provability, and logic programs....Pages 106-121
Revision specifications by means of programs....Pages 122-136
Revision of non-monotonic theories....Pages 137-151
A complete connection calculus with rigid E-unification....Pages 152-166
Equality and constrained resolution....Pages 167-181
Efficient strategies for Automated reasoning in modal logics....Pages 182-197
TAS-D ++ : Syntactic trees transformations for Automated Theorem Proving....Pages 198-216
A unification of ordering refinements of resolution in classical logic....Pages 217-230
Two logical dimensions....Pages 231-231
Prioritized autoepistemic logic....Pages 232-246
Adding priorities and specificity to default logic....Pages 247-260
Viewing hypothesis theories as constrained graded theories....Pages 261-278
Temporal theories of reasoning....Pages 279-299
Reasoning about knowledge on computation trees....Pages 300-315
Prepositional state event logic....Pages 316-331
Description Logics with inverse roles, functional restrictions, and n-ary relations....Pages 332-346
On the concept of generic object: A nonmonotonic reasoning approach and examples....Pages 347-363
Autoepistemic logic of minimal beliefs....Pages 364-364
How to use modalities and sorts in Prolog....Pages 365-378
Towards resource handling in logic programming: The PPL framework and its semantics....Pages 379-399
Extending Horn clause theories by reflection principles....Pages 400-413
