{"id":"W4323240643","doi":"10.5220/0011614400003393","title":"Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases","year":2023,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Probabilistic logic; Computer science; Theoretical computer science; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002893162,0.00181382,0.002297862,0.002561183,0.001803041,0.004335809,0.007127608,0.002561052,0.02104768],"category_scores_gemma":[0.01441913,0.001806822,0.004793388,0.004137332,0.002628091,0.009296995,0.008424709,0.006964603,0.003651178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002151533,"about_ca_system_score_gemma":0.003672305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008362724,"about_ca_topic_score_gemma":0.02321404,"domain_scores_codex":[0.9965917,0.001156075,0.0002589186,0.0006805009,0.001016996,0.0002959668],"domain_scores_gemma":[0.9924352,0.00481968,0.0002232766,0.001525885,0.0007903788,0.0002056214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003917776,0.0004298986,0.001652223,0.001453548,0.0006288242,0.0003659123,0.0005678224,0.2148298,0.002460191,0.2917874,0.0461156,0.439317],"study_design_scores_gemma":[0.00009637046,0.00003678561,0.0002057451,0.00007335198,0.0001312663,0.0001052787,0.0001324249,0.5951839,0.001739063,0.3865052,0.01575602,0.0000346323],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002169401,0.0002076991,0.9894189,0.0004435703,0.0001009439,0.0001640117,0.0005157948,0.002934142,0.004045584],"genre_scores_gemma":[0.05435848,0.0003091483,0.9373715,0.0004281712,0.0001601175,0.0003509597,0.001921111,0.00083466,0.00426578],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02104768,"threshold_uncertainty_score":0.0704115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08643300901689485,"score_gpt":0.3037071940184621,"score_spread":0.2172741850015673,"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."}}