Welcome to the InfoSci Platform
Reference Hub1
Decision Making Modeled as a Theorem Proving Process

Decision Making Modeled as a Theorem Proving Process

Jacques Calmet, Marvin Oliver Schneider
Copyright: © 2012 |Volume: 4 |Issue: 3 |Pages: 11
ISSN: 1941-6296|EISSN: 1941-630X|EISBN13: 9781466611535|DOI: 10.4018/jdsst.2012070101
Cite Article Cite Article

MLA

Calmet, Jacques, and Marvin Oliver Schneider. "Decision Making Modeled as a Theorem Proving Process." IJDSST vol.4, no.3 2012: pp.1-11. http://doi.org/10.4018/jdsst.2012070101

APA

Calmet, J. & Schneider, M. O. (2012). Decision Making Modeled as a Theorem Proving Process. International Journal of Decision Support System Technology (IJDSST), 4(3), 1-11. http://doi.org/10.4018/jdsst.2012070101

Chicago

Calmet, Jacques, and Marvin Oliver Schneider. "Decision Making Modeled as a Theorem Proving Process," International Journal of Decision Support System Technology (IJDSST) 4, no.3: 1-11. http://doi.org/10.4018/jdsst.2012070101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.