@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/INSP0004032>
  skos:prefLabel "روش تقسیم و تسخیر"@fa, "divide and conquer method"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012909>
  skos:prefLabel "تعمیم (هوش مصنوعی)"@fa, "generalization (artificial intelligence)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012931>
  skos:prefLabel "نگاهداشت حقیقت"@fa, "truth maintenance"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012912>
  skos:prefLabel "استدلال بر پایه مورد"@fa, "case-based reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012918>
  skos:prefLabel "استدلال مکانی"@fa, "spatial reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0004031>
  skos:prefLabel "زنجیره‌ای به عقب"@fa, "backward chaining"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012917>
  skos:prefLabel "استدلال نایکنواخت"@fa, "nonmonotonic reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012920>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0012914>, <http://www.irandoc.acir/onto/irandoc/INSP0012917>, <http://www.irandoc.acir/onto/irandoc/INSP0012913>, <http://www.irandoc.acir/onto/irandoc/INSP0012916>, <http://www.irandoc.acir/onto/irandoc/INSP0012919>, <http://www.irandoc.acir/onto/irandoc/INSP0012915>, <http://www.irandoc.acir/onto/irandoc/INSP0012912>, <http://www.irandoc.acir/onto/irandoc/INSP0012918> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012932> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012931>, <http://www.irandoc.acir/onto/irandoc/INSP0004032>, <http://www.irandoc.acir/onto/irandoc/INSP0012910>, <http://www.irandoc.acir/onto/irandoc/INSP0004031>, <http://www.irandoc.acir/onto/irandoc/INSP0004033>, <http://www.irandoc.acir/onto/irandoc/INSP0012909>, <http://www.irandoc.acir/onto/irandoc/INSP0011049>, <http://www.irandoc.acir/onto/irandoc/INSP0012942> ;
  skos:prefLabel "inference mechanism"@en, "سازوکار استنتاج"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "استدلال"@fa .

<http://www.irandoc.acir/onto/irandoc/INSP0012910>
  skos:prefLabel "ماندگاری باور"@fa, "belief maintenance"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012916>
  skos:prefLabel "استدلال بر پایه مدل"@fa, "model-based reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0011049>
  skos:prefLabel "استدلال در مورد برنامه"@fa, "reasoning about program"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012915>
  skos:prefLabel "استدلال فازی"@fa, "fuzzy reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012914>
  skos:prefLabel "استدلال تشخیصی"@fa, "diagnostic reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0004033>
  skos:prefLabel "زنجیری شدن رو به جلو"@fa, "forward chaining"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012942>
  skos:prefLabel "بررسی عدم‌قطعیت"@fa, "uncertainty handling"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012932>
  skos:prefLabel "مهندسی دانش"@fa, "knowledge engineering"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012913>
  skos:prefLabel "استدلال عقل سلیم"@fa, "common-sense reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .

<http://www.irandoc.acir/onto/irandoc/INSP0012919>
  skos:prefLabel "استدلال زمانی"@fa, "temporal reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0012920> .