Veracity and Convincingness: Sources of Plausibility for Decision Making and Situation Management

This paper explores the options for calculating the measures of veracity of statements and convincingness of reasoning. This is one approach for handling plausibility and it is important in systems that support or (autonomously) execute decision making for situation management. An unexpected and peculiar non-unity was discovered between the measure of correctness of inference steps and the measure of veracity of the statements used in the implementation of those inference steps, which shows that the convincingness of reasoning may not in itself guarantee veracious results.

[2]  A. Tarski.  Der Aussagenkalkül und die Topologie , 1938 .

[3]  Thomas Jech,et al.  Lectures in set theory,: With particular emphasis on the method of forcing , 1971 .

[4]  Peeter Lorents.  The role of equality in knowledge acquisition , 2005, IC-AI.

[5]  Peeter Lorents.  Knowledge, Computational Models, Semantic Networks and Concept Maps , 2008, Artificial Intelligence and Pattern Recognition.

[6]  Gabriel Jakobson,et al.  Extending situation modeling with inference of plausible future cyber situations , 2011, 2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA).

[7]  Stephen Cole Kleene,et al.  On the interpretation of intuitionistic number theory , 1945, Journal of Symbolic Logic.

[8]  Margus Kruus,et al.  Discovering Logical Constructs from Estonian Children Language , 2010 .

[9]  Peeter Lorents,et al.  Associated Knowledge , 2006, IC-AI.

[10]  Erika Matsak.  Dialogue System for Extracting Logic Constructions in Natural Language Texts , 2005, IC-AI.

[11]  Peeter Lorents.  Knowledge and Information , 2010, IC-AI.

[12]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[13]  Michael Potter,et al.  Set theory and its philosophy , 2004 .

[14]  Peeter Lorents,et al.  Applying time-dependent algebraic systems for describing situations , 2011, 2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA).

[15]  G. Gentzen.  Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .

[16]  Rain Ottis,et al.  KNOWLEDGE BASED FRAMEWORK FOR CYBER WEAPONS AND CONFLICT , 2010 .

[17]  Alonzo Church,et al.  Introduction to Mathematical Logic. Volume I. , 1957 .