دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Sheila R. M. Veloso, Paulo A. S. Veloso (auth.), Guilherme Bittencourt, Geber L. Ramalho (eds.) سری: Lecture Notes in Computer Science 2507 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540001249, 3540001247 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 435 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب پیشرفت در هوش مصنوعی: شانزدهمین سمپوزیوم برزیل در مورد هوش مصنوعی ، SBIA 2002 Porto de Galinhas / Recife ، برزیل ، مجموعه مقالات 11-11-14 نوامبر 2002: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، مدیریت پایگاه داده
در صورت تبدیل فایل کتاب Advances in Artificial Intelligence: 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002 Porto de Galinhas/Recife, Brazil, November 11–14, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در هوش مصنوعی: شانزدهمین سمپوزیوم برزیل در مورد هوش مصنوعی ، SBIA 2002 Porto de Galinhas / Recife ، برزیل ، مجموعه مقالات 11-11-14 نوامبر 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سمپوزیوم دوسالانه برزیل در مورد هوش مصنوعی (SBIA 2002) - که این شانزدهمین رویداد آن است - یک نشست و انجمن گفتگو برای محققان و متخصصان هوش مصنوعی در سراسر جهان است. SBIA مرکز پیشرو در برزیل برای ارائه تحقیقات و برنامه های کاربردی در هوش مصنوعی است. اولین کنفرانس SBIA در سال 1984 برگزار شد و از سال 1995 یک کنفرانس بین المللی با مقالاتی که به زبان انگلیسی نوشته شده بود و یک کمیته برنامه بین المللی که امسال متشکل از 45 محقق از 13 کشور بود، برگزار شد. SBIA 2002 همراه با هفتمین سمپوزیوم برزیلی در مورد شبکه های عصبی (SBRN 2002) برگزار شد. SBRN 2002 بر شبکه های عصبی و سایر مدل های هوش محاسباتی تمرکز دارد. SBIA 2002، با حمایت انجمن کامپیوتر برزیل (SBC)، در پورتو دو گالینهاس/ریسیف، برزیل، 11 تا 14 نوامبر 2002 برگزار شد. فراخوان مقالات بسیار موفقیت آمیز بود و منجر به ارائه 146 مقاله از 18 کشور شد. در مجموع 39 مقاله برای چاپ در دادرسی پذیرفته شد. مایلیم از سازمان های حامی SBIA 2002، CNPq، Capes، و CESAR و همچنین از همه نویسندگانی که مقاله ارسال کردند تشکر کنیم. به طور خاص، مایلیم از اعضای کمیته برنامه و داوران اضافی برای کار دشوار بررسی و اظهار نظر در مورد مقالات ارسالی تشکر کنیم.
The biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) – of which this is the 16th event – is a meeting and discussion forum for arti?cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti?cial intelligence. The ?rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11–14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di?cult task of reviewing and commenting on the submitted papers.
On Special Functions and Theorem Proving in Logics for ‘Generally’....Pages 1-10
First-Order Contextual Reasoning....Pages 11-21
Logics for Approximate Reasoning: Approximating Classical Logic “From Above”....Pages 21-30
Attacking the Complexity of Prioritized Inference Preliminary Report....Pages 31-40
A New Approach to the Identification Problem....Pages 41-51
Towards Default Reasoning through MAX-SAT....Pages 52-62
Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers....Pages 63-73
Altruistic Agents in Dynamic Games....Pages 74-84
Towards a Methodology for Experiments with Autonomous Agents....Pages 85-96
How Planning Becomes Improvisation? — A Constraint Based Approach for Director Agents in Improvisational Systems....Pages 97-107
Extending the Computational Study of Social Norms with a Systematic Model of Emotions....Pages 108-117
A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems....Pages 118-128
The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle....Pages 129-139
The Conception of Agents as Part of a Social Model of Distance Learning....Pages 140-151
Emotional Valence-Based Mechanisms and Agent Personality....Pages 152-162
Simplifying Mobile Agent Development through Reactive Mobility by Failure....Pages 163-174
Dynamic Social Knowledge: The Timing Evidence....Pages 175-185
Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model....Pages 185-194
Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination....Pages 195-205
Automatic Text Summarization Using a Machine Learning Approach....Pages 205-215
Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases....Pages 216-226
Speeding up Recommender Systems with Meta-prototypes....Pages 227-236
ActiveCP: A Method for Speeding up User Preferences Acquisition in Collaborative Filtering Systems....Pages 237-247
Making Recommendations for Groups Using Collaborative Filtering and Fuzzy Majority....Pages 248-258
Mining Comprehensible Rules from Data with an Ant Colony Algorithm....Pages 259-269
Learning in Fuzzy Boolean Networks — Rule Distinguishing Power....Pages 270-279
Attribute Selection with a Multi-objective Genetic Algorithm....Pages 280-290
Applying the Process of Knowledge Discovery in Databases to Identify Analysis Patterns for Reuse in Geographic Database Design....Pages 291-301
Lithology Recognition by Neural Network Ensembles....Pages 302-312
2-Opt Population Training for Minimization of Open Stack Problem....Pages 313-323
Grammar-Guided Genetic Programming and Automatically Defined Functions....Pages 324-333
An Evolutionary Behavior Tool for Reactive Multi-agent Systems....Pages 334-344
Controlling the Population Size in Genetic Programming....Pages 345-354
The Correspondence Problem under an Uncertainty Reasoning Approach....Pages 355-365
Random Generation of Bayesian Networks....Pages 366-376
Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability....Pages 376-385
Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations....Pages 386-396
Syntactic Analysis for Ellipsis Handling in Coordinated Clauses....Pages 397-406
Assessment of Selection Restrictions Acquisition....Pages 407-416