paper-with-me

홈 › Papers

A Mathematical Trust Algebra for International Nation Relations Computation and Evaluation

2016-02-13 · Mohd Anuar Mat Isa, Ramlan Mahmod, Nur Izura Udzir, Jamalul-lail Ab Manan, Ali Dehghan Tanha

This paper presents a trust computation for international relations and its calculus, which related to Bayesian inference, Dempster Shafer theory and subjective logic. We proposed a method that allows a trust computation which is previously subjective and incomputable. An example of case study for the trust computation is the United States of America Great Britain relations. The method supports decision makers in a government such as foreign ministry, defense ministry, presidential or prime minister office. The Department of Defense (DoD) may use our method to determine a nation that can be known as a friendly, neutral or hostile nation.

📄 PDF Abstract BibTeX arXiv:1604.00980

Code (0)

등록된 구현이 없습니다.

Tasks

Bayesian Inference

Similar Papers 제목 키워드 기반

A Formal Calculus for International Relations Computation and Evaluation

2016-04-02 · Mohd Anuar Mat Isa, Ramlan Mahmod, Nur Izura Udzir, Jamalul-lail Ab Manan 외

This publication presents a relation computation or calculus for international relations using a mathematical modeling. It examined trust for international relations and its calculus, which related to Bayesian inference,…

Bayesian InferenceRelation

Proving Olympiad Algebraic Inequalities without Human Demonstrations

2024-06-20 · Chenrui Wei, Mengzhou Sun, Wei Wang

Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyo…

The relationship between trust in AI and trustworthy machine learning technologies

2019-11-27 · Ehsan Toreini, Mhairi Aitken, Kovila Coopamootoo, Karen Elliott 외

To build AI-based systems that users and the public can justifiably trust one needs to understand how machine learning technologies impact trust put in these services. To guide technology developments, this paper provide…

BIG-bench Machine LearningFairness

Quantum automated theorem proving

2026-01-12 · Zheng-Zhi Sun, Qi Ye, Dong-Ling Deng arxiv

Automated theorem proving, or more broadly automated reasoning, aims at using computer programs to automatically prove or disprove mathematical theorems and logical statements. It takes on an essential role across a vast…

Automated Theorem Proving

Prospects of BRICS currency dominance in international trade

2023-04-30 · Célestin Coquidé, José Lages, Dima L. Shepelyansky

During his state visit to China in April 2023, Brazilian President Lula proposed the creation of a trade currency supported by the BRICS countries. Using the United Nations Comtrade database, providing the frame of the w…