{"id":"W2130581475","doi":"10.1109/time.1996.555697","title":"A topological transition based logic for the qualitative motion of objects","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University","funders":"","keywords":"Ontology; Motion (physics); Computer science; Space (punctuation); Transition (genetics); Topology (electrical circuits); Simple (philosophy); Artificial intelligence; Theoretical computer science; Mathematics; Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.0001973335,0.00004185209,0.00005564693,0.00003265553,0.0000680408,0.0000178959,0.00009628914,0.00002976575,0.0003174318],"category_scores_gemma":[0.00005671119,0.00002597395,0.00005038746,0.0001393152,0.00004743099,0.0001090504,0.000005413006,0.00002758191,0.00000480699],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000107244,"about_ca_system_score_gemma":0.000006112496,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006467501,"about_ca_topic_score_gemma":0.00001056546,"domain_scores_codex":[0.9995542,0.00007760526,0.0001123117,0.0001058579,0.00008436519,0.00006565693],"domain_scores_gemma":[0.9993747,0.0003929428,0.00004188779,0.0001044925,0.00007067122,0.00001527761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002007343,0.0001327402,0.00001367006,0.00001792306,0.00001437876,4.794226e-7,0.01427771,0.01245913,0.0005283343,0.8916951,0.0003715283,0.08046886],"study_design_scores_gemma":[0.0002926939,0.0001242149,0.0002033601,0.000002519896,0.000003903262,0.000001338476,0.001036226,0.9886299,0.0009901283,0.008647695,0.00002544333,0.00004258796],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000490876,0.0000143942,0.9894548,0.007284717,0.00007204407,0.0001989723,0.000002140371,0.00005299747,0.002429045],"genre_scores_gemma":[0.9143624,0.000004155023,0.08486321,0.0006799791,0.000008332471,0.00001667779,0.000001532552,0.00000107146,0.00006269901],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9761708,"threshold_uncertainty_score":0.3475655,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08569189190258579,"score_gpt":0.3251144373181105,"score_spread":0.2394225454155247,"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."}}