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