{"id":"W2308468229","doi":"10.1007/978-3-642-31915-0_1","title":"Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Rationality; Computer science; Programming language; Declarative programming; Key (lock); Artificial intelligence; Programming paradigm; Inductive programming; Epistemology; Computer security","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.0008647411,0.0003400797,0.0003268771,0.0004208235,0.0004594738,0.0004838682,0.001319053,0.0002334932,0.00006233135],"category_scores_gemma":[0.00008911194,0.0002940197,0.0001676037,0.0002927282,0.0002056942,0.0007026825,0.0003763086,0.000304851,0.00008643203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003277806,"about_ca_system_score_gemma":0.0003804015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002097016,"about_ca_topic_score_gemma":0.00009901985,"domain_scores_codex":[0.9972243,0.00003446961,0.0004529581,0.0009457898,0.0007930553,0.0005494142],"domain_scores_gemma":[0.9982511,0.0003616354,0.0002950971,0.0006895456,0.0002316658,0.0001709343],"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.00000903606,0.0001004989,0.00005505807,0.00007102733,0.00002059051,0.00001585226,0.002239349,0.003342225,0.0003536494,0.1011543,0.00009683454,0.8925416],"study_design_scores_gemma":[0.001262807,0.0004021917,0.001349435,0.0004596808,0.00003852723,0.0001035406,0.000002224708,0.8926662,0.0009940343,0.038464,0.06283109,0.001426305],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007952487,0.0003423982,0.9952626,0.0006472521,0.001972645,0.0009730854,0.00001134206,0.000133443,0.0005776942],"genre_scores_gemma":[0.2403301,0.00001481101,0.7566069,0.0006601788,0.00130349,0.00007791651,0.00009737577,0.00003013082,0.0008791471],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8911153,"threshold_uncertainty_score":0.9999512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03754757790294123,"score_gpt":0.2916863343240805,"score_spread":0.2541387564211393,"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."}}