{"id":"W1562987626","doi":"10.1023/a:1025697810124","title":"A Formal Approach to Agent Design: An Overview of Constraint-Based Agents","year":2003,"lang":"en","type":"article","venue":"Constraints","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Constraint (computer-aided design); Computer science; Automaton; Formal verification; Formal specification; Constraint logic programming; Constraint satisfaction problem; Theoretical computer science; Constraint graph; Constraint satisfaction; Programming language; Artificial intelligence; Mathematics","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.005139302,0.001656989,0.00190588,0.002711613,0.002363503,0.009499891,0.006105862,0.00354682,0.004917827],"category_scores_gemma":[0.00754408,0.001868829,0.00241277,0.004258336,0.007115834,0.008676819,0.003695006,0.005375915,0.001813153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003778132,"about_ca_system_score_gemma":0.005888964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00882475,"about_ca_topic_score_gemma":0.009914643,"domain_scores_codex":[0.9955549,0.001713925,0.0005920951,0.0005158263,0.001407115,0.0002162581],"domain_scores_gemma":[0.9952365,0.002757803,0.0003477083,0.0005746453,0.0008384911,0.0002449936],"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.00001840702,0.00007887993,0.0001663498,0.0007559097,0.00006353232,0.0001108508,0.0003847663,0.02005505,0.0005625294,0.9342941,0.00414832,0.03936135],"study_design_scores_gemma":[0.00003068509,0.00002621513,0.00007811642,0.0004338804,0.0000514519,0.0001805004,0.0001852806,0.05786831,0.001101573,0.8425965,0.09739847,0.00004904656],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004910159,0.006303927,0.9813874,0.00222675,0.0001009558,0.000140544,0.0001042285,0.0001888306,0.009056393],"genre_scores_gemma":[0.03032597,0.01273634,0.9516595,0.0005847343,0.0002359543,0.0005873832,0.0002857853,0.0001098579,0.003474554],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009499891,"threshold_uncertainty_score":0.02741235,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1476368975762101,"score_gpt":0.3154502977111036,"score_spread":0.1678134001348935,"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."}}