A resolution-based calculus for Coalition Logic
Copyright policy )A resolution-based calculus for Coalition Logic
Nous présentons un calcul basé sur la résolution pour Coalition Logic CL, une logique modale non normale utilisée pour raisonner sur l'agence coopérative. Nous introduisons une forme normale et un ensemble de règles d'inférence pour résoudre le problème de satisfiabilité dans CL. Nous montrons également que le calcul présenté ici est solide, complet et se termine.
Presentamos un cálculo basado en la resolución para Coalition Logic CL, una lógica modal no normal utilizada para el razonamiento sobre la agencia cooperativa. Introducimos una forma normal y un conjunto de reglas de inferencia para resolver el problema de satisfactibilidad en CL. También mostramos que el cálculo presentado aquí es sólido, completo y terminante.
We present a resolution-based calculus for Coalition Logic CL, a non-normal modal logic used for reasoning about cooperative agency. We introduce a normal form and a set of inference rules to solve the satisfiability problem in CL. We also show that the calculus presented here is sound, complete, and terminating.
نقدم حساب التفاضل والتكامل القائم على الحل لمنطق التحالف CL، وهو منطق شكلي غير عادي يستخدم للتفكير في الوكالة التعاونية. نقدم شكلاً طبيعياً ومجموعة من قواعد الاستدلال لحل مشكلة الرضا في CL. نوضح أيضًا أن حساب التفاضل والتكامل المعروض هنا سليم وكامل وينتهي.
- Department of Computer Science Spain
- University of Manchester United Kingdom
- University of Manchester United Kingdom
- University of Liverpool United Kingdom
- Capital University of Economics and Business China (People's Republic of)
QA75, Artificial intelligence, Natural deduction, Set (abstract data type), Stit, Rule of inference, Description Logics, Proof calculus, Inference, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, FOS: Mathematics, Polymer chemistry, Satisfiability, Nonmonotonic Reasoning, Modal logic, FOS: Clinical medicine, Computer science, model checking, Programming language, Algorithm, Methods and Techniques for Agent-Based Modeling, Resolution (logic), Situation calculus, Chemistry, Computational Theory and Mathematics, Constraint Logic Programming, Dentistry, Computer Science, Physical Sciences, Medicine, Modal, Calculus (dental), Modal Logics, Mathematics, Formal Methods in Software Verification and Control
QA75, Artificial intelligence, Natural deduction, Set (abstract data type), Stit, Rule of inference, Description Logics, Proof calculus, Inference, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, FOS: Mathematics, Polymer chemistry, Satisfiability, Nonmonotonic Reasoning, Modal logic, FOS: Clinical medicine, Computer science, model checking, Programming language, Algorithm, Methods and Techniques for Agent-Based Modeling, Resolution (logic), Situation calculus, Chemistry, Computational Theory and Mathematics, Constraint Logic Programming, Dentistry, Computer Science, Physical Sciences, Medicine, Modal, Calculus (dental), Modal Logics, Mathematics, Formal Methods in Software Verification and Control
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).6 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!