برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to Logic Programming

دانلود کتاب مقدمه ای بر برنامه نویسی منطق

مشخصات کتاب

Introduction to Logic Programming

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش: 1 
نویسندگان: Michael Genesereth. Vinay K Chaudhri  
سری: Synthesis Lectures on Artificial Intelligence and Machine Learning 
ISBN (شابک) : 9781681737225, 1681737221 
ناشر: Morgan & Claypool 
سال نشر: 2020 
تعداد صفحات: 221 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت

قیمت کتاب (تومان) : 43,000

کلمات کلیدی مربوط به کتاب مقدمه ای بر برنامه نویسی منطق: هوش مصنوعی، پردازش زبان طبیعی، ساختارهای داده، پرولوگ، پرسش‌ها، برنامه‌نویسی منطقی، بازنمایی دانش، کسب دانش، دیتالوگ، اپیلوگ، مجموعه‌های داده، فرادانش، پایگاه‌های داده قیاسی، منطق محاسباتی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 20

در صورت تبدیل فایل کتاب Introduction to Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر برنامه نویسی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر برنامه نویسی منطق

برنامه نویسی منطقی سبکی از برنامه نویسی است که در آن برنامه ها به صورت مجموعه ای از جملات در زبان منطق نمادین هستند. در طول سال‌ها، به دلیل کاربرد در پایگاه‌های داده قیاسی، کاربرگ‌های خودکار، مدیریت سازمانی (قوانین کسب‌وکار)، قانون محاسباتی، و اجرای عمومی بازی، علاقه فزاینده‌ای به برنامه‌نویسی منطقی وجود داشته است. این کتاب تئوری برنامه نویسی منطقی، فناوری فعلی و کاربردهای رایج را معرفی می کند. در این جلد، ما یک رویکرد ابتکاری و مدل تئوری به برنامه‌نویسی منطقی داریم. ما با مفهوم اساسی مجموعه داده ها، یعنی مجموعه ای از اتم های زمین شروع می کنیم. با توجه به این مفهوم اساسی، دیدگاه ها، یعنی روابط مجازی را معرفی می کنیم. و ما برنامه‌های منطقی کلاسیک را به عنوان مجموعه‌ای از تعاریف نمایش تعریف می‌کنیم که با استفاده از نمادهای سنتی Prolog نوشته شده‌اند، اما با معنایی که بر حسب مجموعه داده‌ها به جای پیاده‌سازی داده شده است. سپس اقداماتی را معرفی می کنیم، به عنوان مثال، افزودن و حذف اتم های زمین. و ما برنامه های منطق پویا را به عنوان مجموعه ای از تعاریف عمل تعریف می کنیم. علاوه بر کتاب چاپی، نسخه آنلاین متن با مترجم و کامپایلر برای زبان مورد استفاده در متن و یک محیط توسعه یکپارچه برای استفاده در توسعه و استقرار برنامه‌های منطقی کاربردی وجود دارد. این کتابی برای قرن بیست و یکم است: ارائه دیدگاهی زیبا و نوآورانه در برنامه‌نویسی منطقی. بر خلاف سایر متون، مجموعه داده ها را به عنوان یک مفهوم اساسی در نظر می گیرد، در نتیجه شکاف بین زبان های برنامه نویسی و زبان های بازنمایی دانش را پر می کند. و به‌روزرسانی‌ها را به‌طور برابر با مجموعه‌های داده برخورد می‌کند، که منجر به برخورد صحیح و عملی از اقدام و تغییر می‌شود. - باب کوالسکی، پروفسور بازنشسته، امپریال کالج لندن در دنیایی که یادگیری عمیق و پایتون بحث روز است، این کتاب پیشرفت قابل توجهی است. خواننده را با اصول برنامه نویسی منطقی سنتی آشنا می کند و مزایای استفاده از فناوری برای ایجاد مشخصات قابل اجرا برای سیستم های پیچیده را روشن می کند. - سون کائو تران، استاد علوم کامپیوتر، دانشگاه ایالتی نیومکزیکو مقدمه ای عالی بر مبانی برنامه نویسی منطقی. کتاب به خوبی نوشته شده و ساختار خوبی دارد. مفاهیم به وضوح توضیح داده می شوند و افزایش تدریجی پیچیدگی تمرین ها باعث می شود قبل از رفتن به ایده های دشوارتر، بتوان مفاهیم آسان را به سرعت درک کرد. - جورج یونگر، دانشجو، دانشگاه استنفورد

توضیحاتی درمورد کتاب به خارجی

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications. In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of ground atoms. Given this fundamental notion, we introduce views, i.e., virtual relations; and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation. We then introduce actions, i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions. In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment for use in developing and deploying practical logic programs. This is a book for the 21st century: presenting an elegant and innovative perspective on logic programming. Unlike other texts, it takes datasets as a fundamental notion, thereby bridging the gap between programming languages and knowledge representation languages; and it treats updates on an equal footing with datasets, leading to a sound and practical treatment of action and change. - Bob Kowalski, Professor Emeritus, Imperial College London In a world where Deep Learning and Python are the talk of the day, this book is a remarkable development. It introduces the reader to the fundamentals of traditional Logic Programming and makes clear the benefits of using the technology to create runnable specifications for complex systems. - Son Cao Tran, Professor in Computer Science, New Mexico State University Excellent introduction to the fundamentals of Logic Programming. The book is well-written and well-structured. Concepts are explained clearly and the gradually increasing complexity of exercises makes it so that one can understand easy notions quickly before moving on to more difficult ideas. - George Younger, student, Stanford University

فهرست مطالب

Preface
Introduction
	Introduction
		Programming in Logic
		Logic Programs as Runnable Specifications
		Advantages of Logic Programming
		Applications of Logic Programming
		Basic Logic Programming
	Datasets
		Introduction
		Conceptualization
		Datasets
		Example – Sorority World
		Example – Kinship
		Example – Blocks World
		Example – Food World
		Reformulation
		Exercises
Queries and Updates
	Queries
		Introduction
		Query Syntax
		Query Semantics
		Safety
		Predefined Concepts
		Example – Kinship
		Example – Map Coloring
		Exercises
	Updates
		Introduction
		Update Syntax
		Update Semantics
		Simultaneous Updates
		Example – Kinship
		Example – Colors
		Exercises
	Query Evaluation
		Introduction
		Evaluating Ground Queries
		Matching
		Evaluating Queries With Variables
		Computational Analysis
		Exercises
	View Optimization
		Introduction
		Subgoal Ordering
		Subgoal Removal
		Rule Removal
		Example – Cryptarithmetic
		Exercises
View Definitions
	View Definitions
		Introduction
		Syntax
		Semantics
		Semipositive Programs
		Stratified Programs
		Exercises
	View Evaluation
		Introduction
		Top-Down Processing of Ground Goals and Rules
		Unification
		Top-Down Processing of Non-Ground Queries and Rules
		Exercises
	Examples
		Introduction
		Example – Kinship
		Example – Blocks World
		Example – Modular Arithmetic
		Example – Directed Graphs
		Exercises
	Lists, Sets, Trees
		Introduction
		Example – Peano Arithmetic
		Lists
		Example – Sorted Lists
		Example – Sets
		Example – Trees
		Exercises
	Dynamic Systems
		Introduction
		Representation
		Simulation
		Planning
		Exercises
	Metaknowledge
		Introduction
		Natural Language Processing
		Boolean Logic
		Exercises
Operation Definitions
	Operations
		Introduction
		Syntax
		Semantics
		Exercises
	Dynamic Logic Programs
		Introduction
		Reactive Systems
		Closed Systems
		Mixed Initiative
		Simultaneous Actions
		Exercises
	Database Management
		Introduction
		Update With Constraints
		Maintaining Materialized Views
		Update Through Views
		Exercises
	Interactive Worksheets
		Interactive Worksheets
		Example
		Page Data
		Gestures
		Operation Definitions
		View Definitions
		Semantic Modeling
Conclusion
	Variations
		Introduction
		Logic Production Systems
		Constraint Logic Programming
		Disjunctive Logic Programming
		Existential Logic Programming
		Answer Set Programming
		Inductive Logic Programming
	Predefined Concepts in EpilogJS
		Introduction
		Relations
		Math Functions
		String Functions
		List Functions
		Arithmetic List Functions
		Conversion Functions
		Aggregates
		Operators
	Sierra
		Introduction
		Getting Started
		Data
		Queries
		Updates
		View Definitions
		Operation Definitions
		Settings
		File Management
		Conclusion
	References
	Authors\' Biographies
Blank Page