هوپا، انجمن علم ایران

سلام، آیا نرم افزاری مثل ماشین حساب وجود داره که بشه به جای اعداد و علائم ریاضی بهش چند تا جمله داد و از اون جمله ها نتیجه گیری منطقی کنه؟

وجود داره و خودت هم میتونی بنویسی...

https://www.wolframalpha.com/

https://www.wolframalpha.com/examples/Math.html

ADMIN نوشته شده:https://www.wolframalpha.com/

https://www.wolframalpha.com/examples/Math.html

ممنون که این سایت رو معرفی کردید.

اما من هر قدر تلاش کردم این برنامه حتی یک قیاس ساده رو هم نمیتونه انجام بده. مثلا اگه شما عبارت: رو جستجو کنید فقط مشخصات ابن سینا رو میاره. در صورتی که در ویکی پدیا به وضوح گفته شده که: و در هر جایی در اینترنت این مطلب پیدا میشه که هر مسلمانی به خدا اعتقاد داره پس باید جواب جستجو فقط یک "بله" باشه. علاوه بر این توقعی هم نیست که یک برنامه بتونه تمام اطلاعات موجود در اینترنت رو که با بیان های مختلف وجود داره تجزیه و تحلیل کنه. من دنبال برنامه ای می گردم که چند قضیه بهش بدیم و تمام نتایج حاصل از اون قضایا رو بهمون بده.