{"id":"W2703543743","doi":"","title":"Towards Tractable Inference for Resource-Bounded Agents","year":2015,"lang":"en","type":"article","venue":"National Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Inference; sort; Commonsense reasoning; Epistemic modal logic; Commonsense knowledge; Semantics (computer science); Non-monotonic logic; Artificial intelligence; Common sense; Rule of inference; Epistemology; Theoretical computer science; Description logic; Cognitive science; Knowledge representation and reasoning; Programming language; Multimodal logic; Psychology; Philosophy; Information retrieval","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001227811,0.0002656823,0.0002673219,0.0002233889,0.0002700777,0.0005917724,0.001409432,0.0001640804,0.0001296425],"category_scores_gemma":[0.002538052,0.00024573,0.0001146539,0.0005394471,0.0001422539,0.0005812339,0.000175269,0.0002545435,0.00066275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002471794,"about_ca_system_score_gemma":0.001356702,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004707355,"about_ca_topic_score_gemma":0.00007629424,"domain_scores_codex":[0.997185,0.0001118359,0.0005018824,0.0006812552,0.001032002,0.0004880299],"domain_scores_gemma":[0.9969007,0.000410093,0.000196579,0.0003885129,0.001787422,0.000316645],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005496336,0.0001874558,0.00001662804,0.000006345989,0.00001109076,0.000002689668,0.0008601703,0.0004806115,0.0001307186,0.9164745,0.002179891,0.07959494],"study_design_scores_gemma":[0.00009773661,0.0003226377,0.0001398794,0.00003025695,0.000005033693,0.000004492174,0.0001964493,0.2453744,0.01204645,0.7183626,0.02309383,0.0003261875],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0022568,0.00004017397,0.8394925,0.002305336,0.0007462423,0.0004342695,0.00002282059,0.0002183142,0.1544835],"genre_scores_gemma":[0.9840254,0.000008236376,0.01359936,0.0007719101,0.0002785922,0.0001088659,0.00002652728,0.00001378787,0.001167383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9817685,"threshold_uncertainty_score":0.9999995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2847474463153415,"score_gpt":0.3935910568604578,"score_spread":0.1088436105451163,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}