{"id":"W1675171940","doi":"10.1016/j.eswa.2015.08.019","title":"On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems","year":2015,"lang":"en","type":"article","venue":"Expert Systems with Applications","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Modal logic; Axiom; Completeness (order theory); Computer science; Modal operator; Mathematical proof; Multimodal logic; Dynamic logic (digital electronics); Mathematics; Modal; Artificial intelligence; Theoretical computer science; Calculus (dental); Description logic; Programming language","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.03349949,0.001602846,0.003417001,0.004313062,0.005403529,0.009768859,0.006886899,0.007056789,0.006856744],"category_scores_gemma":[0.1365132,0.002478277,0.004301073,0.004072398,0.02507215,0.03370232,0.01130459,0.0150342,0.0009950242],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005866876,"about_ca_system_score_gemma":0.009056932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01156796,"about_ca_topic_score_gemma":0.005687656,"domain_scores_codex":[0.9710391,0.01480778,0.002426387,0.003066104,0.006420655,0.002239932],"domain_scores_gemma":[0.7429807,0.2197292,0.004956831,0.01474952,0.01489204,0.002691746],"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.0001784143,0.00009473839,0.0005372047,0.0002431555,0.00007788583,0.0001679926,0.001096013,0.01675812,0.0004588689,0.9661184,0.001270833,0.01299825],"study_design_scores_gemma":[0.00003907938,0.0000247758,0.0001007227,0.00003674387,0.00002699471,0.00002678675,0.0001162202,0.02335183,0.000220646,0.9752686,0.0007709506,0.00001670608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07463603,0.004138946,0.8539754,0.02231564,0.0005628164,0.000475494,0.0006958423,0.0004447983,0.04275504],"genre_scores_gemma":[0.8015525,0.002868625,0.1839935,0.002429295,0.001311592,0.0006294616,0.0006730037,0.0002430247,0.006298968],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03349949,"threshold_uncertainty_score":0.1771644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09074671861996333,"score_gpt":0.306453859998818,"score_spread":0.2157071413788546,"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."}}