Structures for Symbolic Mathematical Reasoning and Computation
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
KOMET - A System for the Integration of Heterogeneous Information Sources
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) - Volume 01
From the OntoBayes Model to a Service Oriented Decision Support System
CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
Knowledge Management Strategies: Toward a Taxonomy
Journal of Management Information Systems
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Trust Theory: A Socio-Cognitive and Computational Model
Trust Theory: A Socio-Cognitive and Computational Model
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Toward a trust model for knowledge-based communities
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
| Hi-index | 0.00 |
The authors introduce a theoretical framework enabling to process decisions making along some of the lines and methodologies used to mechanize mathematics and more specifically to mechanize the proofs of theorems. An underlying goal of Decision Support Systems is to trust the decision that is designed. This is also the main goal of their framework. Indeed, the proof of a theorem is always trustworthy. By analogy, this implies that a decision validated through theorem proving methodologies brings trust. To reach such a goal the authors have to rely on a series of abstractions enabling to process all of the knowledge involved in decision making. They deal with an Agent Oriented Abstraction for Multiagent Systems, Object Mechanized Computational Systems, Abstraction Based Information Technology, Virtual Knowledge Communities, topological specification of knowledge bases using Logical Fibering. This approach considers some underlying hypothesis such that knowledge is at the heart of any decision making and that trust transcends the concept of belief. This introduces methodologies from Artificial Intelligence. Another overall goal is to build tools using advanced mathematics for users without specific mathematical knowledge.