Decision Making Modeled as a Theorem Proving Process

Jacques Calmet and Marvin Oliver Schneider
Additional contact information
Jacques Calmet: Karlsruhe Institute of Technology, Germany
Marvin Oliver Schneider: Business School São Paulo, Brazil

International Journal of Decision Support System Technology (IJDSST), 2012, vol. 4, issue 3, 1-11

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.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/jdsst.2012070101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jdsst0:v:4:y:2012:i:3:p:1-11

Access Statistics for this article

International Journal of Decision Support System Technology (IJDSST) is currently edited by Shaofeng Liu

More articles in International Journal of Decision Support System Technology (IJDSST) from IGI Global
Bibliographic data for series maintained by Journal Editor ().