{"id":"W2277828988","doi":"10.1007/978-3-642-38457-8_32","title":"An Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Answer set programming; Domain (mathematical analysis); Delegate; Situation awareness; Solver; Abstraction; Set (abstract data type); Component (thermodynamics); Programming language; Situation analysis; Theoretical computer science; Artificial intelligence; Software engineering; Data mining","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.001129794,0.0003477728,0.0005776156,0.001290941,0.000123895,0.0002995746,0.002152367,0.0002806949,0.0000159183],"category_scores_gemma":[0.00004617397,0.0003172187,0.0001980411,0.001447165,0.0003757429,0.0005690479,0.000274639,0.0002985767,0.000009983665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001915073,"about_ca_system_score_gemma":0.0003287029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004676219,"about_ca_topic_score_gemma":0.0006964193,"domain_scores_codex":[0.9970176,0.00004254284,0.0005666484,0.001282821,0.0006058409,0.0004845127],"domain_scores_gemma":[0.9978086,0.000401804,0.0003469705,0.0009484395,0.0003690378,0.0001251412],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007073861,0.0001100773,0.0004447666,0.00005087296,0.00003829007,0.000004475863,0.002273172,0.07785574,0.0001088955,0.04618011,0.000006615679,0.8729199],"study_design_scores_gemma":[0.000270848,0.00017321,0.001104265,0.00005411546,0.00002627847,0.000006292008,6.322367e-7,0.9122745,0.00008779613,0.08512136,0.0005122073,0.0003684779],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001631825,0.0001451298,0.9964859,0.0001393126,0.0002065029,0.0009102997,0.000009647087,0.00007239022,0.0003989151],"genre_scores_gemma":[0.471698,0.00000334698,0.5278422,0.0001170739,0.0001474284,0.00007870981,0.00004771411,0.00001307937,0.00005241025],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8725514,"threshold_uncertainty_score":0.999928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01307098888350552,"score_gpt":0.2567934255036776,"score_spread":0.2437224366201721,"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."}}