چکیده
روش های حل مسأله، طرح های قابل مصرف مجدد و عوامل اجرای بخش علی و معلولی سفیهای علمی را فراهم می کند. در زمینهIBPOW، مرحله اول ما زبان توصیف روش حل مسأله یکسان (UPML) را توسعه دادیم و به توصیف و عملکرد چنین طرح‌‌ها و عواملی برای ساده تر شدن مصرف نیمه اتومات و پذیرش آنها کمک کردیم. این گزارش بیانگر دومین توجه هستی شناسی- متارUPML است. همچنین سینکت‌های شبکه UPML و ارزیابی روش های احتمالی برای ارائه زبان مناسب مدل سازی و تغییرات هستی شناسی،oll به عنوان یک اصل پایه درUPML را فراهم می کند.
1- مقدمه
هدف پروژهIBPOW توسعه واسطه های هوشی است که توانایی تشکیل سیستم های علمی را از عوامل قابل مصرف در شبکه گسترده جهانی دارند.IBPOW، تحقیقی در زمینه پایگاه های اطلاعاتی متفاوت، تکنولوژی شبکه و عملکرد داخلی آن با تکنولوژی سیستم علمی با نام هستی شناسی و روش های حل مسأله انجام داده است. سیستم های علمی، سیستم های کامپیوتری هستند که به بررسی مسائل پیچیده، با کمک علم پرداخته‌اند. ممکن است علم و دانش توسط انسان ها یا به شکل اتومات و با استفاده از تکنیک های آموزشی، مقایسه ای و استقرایی کسب شود. دانش، عمدتاً اخباری است به جای این که با استفاده از لگاریتم های پیچیده رمزگذاری شود و از این لگاریتم های مربوط جهت حل مسائل با کمک این دانش استفاده می شود. علیرغم اهمیت آشکار و دانش مربوط به پویایی فرایند حل مسأله،KBSها معمولاً این دانش را نادیده می گیرند. Clorag سال1983، چندین مثال ارائه کرد که مهندسین علوم مختلف اساساً دانش کنترلی را با قوانین منظم تولید و اجرای این قوانین به همراه موتور فعال عمومی و ارائه رفتارهای فعال مورد نظر کدگذاری کرده اند. آشکار ساختن این دانش و منظور کردن آن به عنوان بخشی مهمی از دانشک کلی در سیستم علمی، دلیل منطقی است که روش های حل مسأله را ایجاد می کند.
روش های حل مسأله به بهبود کیفیت موتورهای فعال عمومی مربوطه جهت ایجاد امکان کنترل بیشتر فرایند علی و معلولی پرداخته اند تا فرایند ی عملی سازند. روش‌های حل مسأله، این دانش کنترلی را به شکلی مستقل از اصل کاربرد آن توصیف کرده و قابلیت مصرف مجدد آن را در زمینه ها و کاربردهای مختلف فراهم کرده اند. PSM ها، عملکرد علی و معلولیKBS را در برخی امور فرعی و فعالیت های مربوط به ان که مرتبط با تأثیرات علمی است، خنثی می کنند. چندین کتابخانه در مورد روش های حل مسأله ایجاد شده و برخی زبان های مخصوص روش حل مسأله نیز پیشنهاد شده و طبقه بندی آنها از علائم غیرعادی تا زبان های مدل سازی عادی صورت گرفته است.
از نقطه نظر فنیPSM ها شکل خاصی از طرح های نرم افزاری می باشند: طرح های نرم افزاری برای توصیف بخش علی و معلولیKBS ها وUPML را در اولین مرحله پروژه IBROW توسعه دادیم.UPML زبان توصیف طرح و مخصوص نوعی سیستم های ویژه است که عوامل و تنظیم کننده‌هایی را برای اتصال عوامل فراهم می کند. (البته تحت شرایط خاص طراحی). به علاوه دستور العمل های طراحی، روش هایی برای توسعه سیستم تهیه شده از عوامل و تنظیم کننده هایی که با محدودیت ها مطابقت دارند، فراهم می کند. ساختار اصلی UPML در شکل1 نشان داده شده است.UPML، 4 عامل اصلی علمی را تعریف می کند:
کار،PSM مدل اصلی و هستی شناسی از عوامل هستی شناسی با سه عامل دیگر استفاده شده تا جهان مربوط به آنها را تعریف کنند که با پیکان های سیاه از کادرOntology در شکل مشخص شده است. هر عامل برای فعالیت در متن خاصی تغییر می یابد به طوری که تنظیم کننده ها آن را منظم می کنند. تنظیم کننده های پل مانند روابط بین کار،PSM مدل اصلی را کنترل می کند. سه نوع پل درUPML وجود دارد: پل اصلی کار، پل اصلیPSM و پل کارPSM. در شکل این روابط با پیکان های سیاه رنگ نشان داده شده و پل ها نیز روی این پیکان ها قرار گرفته اند. ساختارUPML توسطfensel سال1999 توصیف شده است.
با توجه به اولین تعریفUPML، این روش توسط اعضای کنسیرسیوم پذیرفته و از آن برای تشخیص طرح کتابخانهM در دانشگاهopen و بخش هایی از کتابخانهPSM در دانشگاه stanford استفاده شده است. کتابخانه قبلی به طور کامل در شبکه موجود است و از طریق جستجو در جستجوگر/ ویرایش گر webonto قابل دسترسی است. طرح کتابخانهM در طراحی مهندسی، طراحی آسانسور و تقسیم بندی اداری کاربرد داشته است. (طرح رابط تقسیم بندی، طرح اتاقک کامیون و طرح تکنولوژی ریخته گری). امید است UPML به عنوان یک راهکار استاندارد برای توصیف و توسعه سیستم های علمی با عوامل قابل مصرف مجدد آن در سطح جهانی استفاده شود. این امر باعث افزایش قدرت تولید در توسعه سیستم‌ها شده و تبدیل کار بین گروه های متفاوت را ساده می‌سازد.
هدف اصلی این گزارش بیان توجه جدیدUPML به همراه گروهی از سفیتکسهای شبکه ای برای توصیف عوامل دانش آن لاین می باشد. دومین هدف این گزارش، ارائه نتایج بررسی احتمالات UPML برای استفاده ازoll می باشد، یعنی زبان جدید هستی شناسی که در زمینه پروژه به سوی علمIST اروپای توسعه یافته است.
این گزارش به این شکل ارائه شده است، در بخش2، ویژگی طرح جدیدUPML را بیان می کنیم. در بخش3، احتمالات ترکیبUPML باoll، در بخش4، طرح هایXML,RDF را برای UPMLنشان داده و در بخش5 نتایج و طرح های حاصله از مراحل مختلف را ارائه می کنیم. ضمیمه ها، سنیتکس شبکه UPML(DTD، طرح کلیXML و طرح کلیRDF) و ویژگی UPMLرا عنوان می کنند.
مصنوعات هوشمند اپیستمولوژی- متاسیستم فنی.
چکیده
ضرورت برنامه های هوشنمند، اپیستمولوژی کامپیوتری است. سیستم های فنی،e کامپیوتری خود را از مهارت های فنی اصلی دریافت می کنند. ساختار سیستم فنی طبقه بندی شده و این راه کار نیازمندe است که اپیستمولوژی اصلی را از طریق توالی e کامپیوتری، طبقه بندیe، برنامه ریزیe و کاربرد آن (مجزا از هستی شناسی کاربردی) در یک سیستم فنی انتقال دهد. این مقاله بیانگر روش متا- اپیستمولوژیکی با توجه به توسعه طرح اولیه طبقه بندی eGanges (4-2002) می باشد که با سیستم های قانونمند، روش‌های نظام مند و مسیرهای استراتژیکی مناسب این زمینه است. ازe کامپیوتری با منطقd3 به عنوان واحدهای فعال منطقی آن در برنامه ریزی هدفمند استفاده شده است. از فرایندR که به عنوان آدم ربایی شناخته شده است بر اساس عقل سلیم استفاده شده که بر فرایند انتقال تأثیرگذار است. تغییر بنیادی بر اساس توالی انتخاب آنچه که مناسب آینده است و آنچه که برای ایجاد تناسب بهتر لازم است، استفاده شده است. در طراحی eGanges، ساختار مرکزی و دو بعدی تابع با نام نقشه خطی، یا رودخانه ای، در مدل منطقیd3 استفاده شده تا ارزش شناختی اپیستمولوژی کامپیوتری برای ایجاد رابطه با مصرف کننده بهبود یابد. علائم رودخانه، نمودارهای مسیر جریانی هستند که مشابه به نمودارهای استخوان ماهی می باشند. علائم گسترده و پیچیده رودخانه های ممکن است به عنوان نقشه های فرعی خانه بندی شده همچنین به شکل های متفاوت تعبیه شده تا توضیحات سیستمRRS را بیان کنند. گزینه های توصیفی شامل روابط بین پیوندها در یک گروه نقشه های فرعی و بین سیستم های موازی رودخانه ای است. اپیستمولوژی‌های فرعی ممکن است برای این تعابیر لازم باشند. عملکرد امکانات اصلی جهت یابی و علائم متفاوت نقشه ها همانند نتیجه بررسی عملکرد مربوطه مهم می‌باشند.
کلمات کلیدی:
منطقd3، آدم ربایی، منطق صفحانه. گروهی از قوانین معادل، انفجار ترکیبی، انفجار داخلی ترکیبی، عقل سلیم کارشناسی سیستم ارتباطی، اپیستمولوژی اصلی، eGanges، اپیستمولوژی، روابط دوستانه کارشناسی، سیستم فنی، تنگناهایf، استخوان ماهی، فرمول‌‌بندی، قابلیت عملکرد، توضیحات، منطق نموداری، اکتشافات، روابط دو جانبه، مهندسی علوم، بازهایی علمی، کاربردهای در مقیاس وسیع، اپیستمولوژی- متا، جهت یابی، خانه بندی، نقشه های موازی با جهت اصلی، قوانین متای قطبی، نقشه های روش اصلی، اصلاحیات منطقی، منطق روخانه ای، نقشه های قانونی، طیف، استاندارد کردن، منطق طبقه‌ای، نقشه های استراتژیکی، نقشه های فرعی، کمیت منفی موقتی، بی ثباتی موقتی، شفافیت امر و ساختارهای تابع:
1- Meta- epistemology
در جهت توسعه تکنولوژی سیستم های فنیHages, Mc Carty یکی از نیازهای مربوط به ارزیابی سیستم را این گونه بیان کردند. اپیستمولوژی باید کافی باشد، تعریف این مطلب به این شکل ارائه شده است:
بازنمایی از نظر اپیستمولوژی در صورتی کافی است که از آن برای بیان حقایقی استفاده شده که در اصل با فرصت های موجود کشف شده اند.
Samuel متوجه شد نیاز به یافتن اپیستمولوژی قانونی جهت توسعه هوش مصنوعی اما قانونی ضروری است. وی در سال 2002 به این نتیجه رسید که با تشخیص این مطلب که اپیستمولوژی هوش مصنوعی اما قانونی در حیطه کامپیوتری، مدل منطق قانونیd3 را ثابت کرده که 10 سال قبل، آن را توسعه داده بود.
به منظور توسعه سیستم فنی، اپیستمولوژی فنی، روشی استک ه یک کارشناس آن را با کسب اطلاعات جدید از اطلاعات موجود حاصل می کند. تعریف و عملکرد سیستم‌های هدفمند کارشناسان که انها را قادر ساخته تا اطلاعات جدیدی را کسب کنند که موضوع اصلی آنها اپیستمولوژی است و ممکن است به شکل کامپیوتری ایجاد گردد. پذیرش کامل اپیستمولوژی کامپیوتری به منظور برآورده ساختمن نیازهای برنامه نویسی ممکن است برای تطابق با ویژگی های مصرف کننده در مورد سیستم فنی ضروری باشد.
در فلسفه، اپیستمولوژی و هستی شناس وجود دارد که به بررسی متافیزیک می پردازند. مدل سازی شناختی ممکن است به عنوان یک تحقیق متافیزیکی مورد ارزیابی قرار گیرد چون به شکل مستقیم یا غیرمستقیم، هستی شناسی و اپیستمولوژی فنی مورد نیاز است.
S متوجه شد که اپیستمولوژی ها احتمالاً هستی شناسی های اجتماعی و هستی شناسانه را تعیین و عملی می سازند و همچنین تصور می کرد که اپیستمولوژی های طبیعی گرایانه برای موضوعات هستی شناختی و اپیستمولوژی های مفهومی لازم برای سیستم‌های هدفمند ضروری هستند. در یک حیطه خاص، این دو نوع اپیستمولوژی همیشه تأثیری دو جانبه ندارند. به عنوان مثال در حیطه قانون، سیستم های حقوق شناسی به طور کلی برگرفته از حقایق می باشند، به منظور ایجاد رابطه مؤثر بین کارشناسان قانونی، نکات سهم این ضرورت را ایجاد می کند. در مقابل پیشنهادات occam کسی که از تیغ برای جدا کردن علم از سطح تجربه گرایی استفاده می کرد. اکثر سیستم های حقوقی ممکن است موضوع هستی شناسی اجتماعی را داشته باشند مثل ازدواج، قانون اساساً تعیین می کند کدام فعالیت ها ممکن است مفید و کدام یک بی‌نتیجه است و کدام عملکردها باید اجرا شده و کدام یک نشوند. نیازهای یک رابطه باارزش بیان می شوند، آن چه که مغایر با این نیازهاست نباید رخ دهد. ساختار فرایند مؤثر سیستم ایده های یک کارشناس قانونی که اپیستمولوژی اصلی محسوب شده و ممکن است این سیستم حاوی موضوعات طبیعی و مفهومی باشد.