Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems

Meenakshi Sridhar, Naseeb Singh Gill

Department of Computer Science & Applications, M.D. University, Rohtak, India.

DOI: 10.4236/jsea.2015.89047                

Abstract

In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.

Keywords

Formal Methods in Software Engineering, Imperfect Knowledge, Formalizing Common Sense, Formalizing Unconscious Knowledge

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Brooks, F.P. (1986) No Silver Bullet—Essence and Accident in Software Engineering. Proceedings of the IFIP Tenth World Computing Conference, 1069-1076.
[2]	Mair, C. and Shepperd, M. (2011) Human Judgement and Software Metrics: Vision for the Future ICSE’11. 21-28 May 2011, Honolulu.
[3]	Harman, M. (2012) The Role of Artificial Intelligence in Software Engineering RAISE 2012. Zurich.
[4]	Li, D. and Du, Y. (2008) Artificial Intelligence with Uncertainty. Chapman & Hall/CRC.
[5]	Sowa, J. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Thomson Brooks/ Cole.
[6]	Munakata, T. (2008) Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More. 2nd Edition, Springer.
[7]	Smets, P. (1999) Imperfect Information: Imprecision-Uncertainty. UMIS-Var Unc IRIDIA.
[8]	Gensler, H. (2012) Introduction to Logic.2nd Edition, Routledge.
[9]	Liu, B. (2010) Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty, Studies in Computational Intelligence. Volume 300, Springer.
[10]	Hellerstein, N. (1997) DIAMOND: A Paradox Logic. Series on Knots and Everything, 14, World Scientific.
[11]	Hellerstein, N. (1997) Delta: A Paradox Logic. Vol. 16, World Scientific, Singapore. http://dx.doi.org/10.1142/3574
[12]	McCarthy, J. (1963) Situations, Actions, and Causal Laws. Technical Report, Stanford University, Stanford.
[13]	Reiter, R. (1991) The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour of John McCarthy. Academic Press Professional, Inc., San Diego, 359-80.
[14]	McCarthy, J. and Hayes, P.J. (1969) Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meltzer, B. and Michie, D., Eds., Machine Intelligence, Vol. 4, Edinburgh University Press, Edinburgh, 463-502.
[15]	Kowalski, R.A. and Sergot, M.J. (1986) A Logic-Based Calculus of Events. New Generation Computing, 4, 67-95.http://dx.doi.org/10.1007/BF03037383
[16]	Randell, D., Cui, Z. and Cohn, A. (1992) A Spatial Logic Based on Regions and Connection. 3rd International Conference on Knowledge Representation and Reasoning.
[17]	Galton, A. (1995) Time and Change for AI. In: Gabbay, D.M., Hogger, C.J. and Robinson, J.A., Eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Epistemic and Temporal Reasoning, Oxford University Press, Oxford, 175-240.
[18]	McCarthy, J.L. (1980) Circumscription: A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13, 23-79.
[19]	McDermott, D. and Doyle, J. (1980) Non-Monotonic Logic I. Artificial Intelligence, 13, 41-72. http://dx.doi.org/10.1016/0004-3702(80)90012-0
[20]	Cohen, P.R. and Levesque, H.J. (1990) Intention Is Choice with Commitment. Artificial Intelligence, 42, 263-309. http://dx.doi.org/10.1016/0004-3702(90)90055-5
[21]	Fagin, R., Halpern, J.Y., Moses, Y. and Vardi, M.Y. (1995) Reasoning about Knowledge. MIT Press, Cambridge.
[22]	Reiter, R. (1980) A Logic for Default Reasoning. Artificial Intelligence, 13, 81-132. http://dx.doi.org/10.1016/0004-3702(80)90014-4
[23]	Prakken, H. (1996) Two Approaches to the Formalisation of Defeasible Deontic Logic. Studia Logica, 57, 73-90. http://dx.doi.org/10.1007/BF00370670
[24]	Davis, E. and Morgenstern, L. (2004) Introduction: Progress in Formal Commonsense Reasoning. Artificial Intelligence, 153, 1-12. http://dx.doi.org/10.1016/j.artint.2003.09.001
[25]	Lenat, D.B. (1995) Cyc: A Large-Scale Investment in Knowledge Infrastructure. Communications of the ACM, 38, 32- 38. http://dx.doi.org/10.1145/219717.219745
[26]	Lenat, D.B. and Guha, R.V. (1990) Building Large Knowledge Based Systems. Addison Wesley, Reading.
[27]	Turing, A. (1950) Computing Machinery and Intelligence. Mind, 49, 433-460. http://dx.doi.org/10.1093/mind/LIX.236.433
[28]	Baars, B. (1988) A Cognitive Theory of Consciousness. Cambridge University Press, Cambridge.
[29]	Baars, B. (1997) In the Theater of Consciousness. Oxford University Press, Oxford.
[30]	Baars, B. (2002) The Conscious Access Hypothesis: Origins and Recent Evidence. Trends in Cognitive Sciences, 6, 47-52. http://dx.doi.org/10.1016/S1364-6613(00)01819-2
[31]	Blackmore, S. (2002) There Is No Stream of Consciousness. Journal of Consciousness Studies, 9, 5-6.
[32]	Blackmore, S. (2005) Conversations on Consciousness. Oxford University Press, Oxford. http://dx.doi.org/10.1093/actrade/9780192805850.001.0001
[33]	Baars, B. and Franklin, S. (2009) Consciousness Is Computational: The LIDA Model of Global Workspace Theory. International Journal of Machine Consciousness, 1, 23-32. http://dx.doi.org/10.1142/S1793843009000050
[34]	Franklin, S. (2007) A Foundational Architecture for Artificial General Intelligence. In: Goertzel, B. and Wang, P., Eds., Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms, IOS Press, Amsterdam, 36-54.
[35]	Franklin, S. and Patterson, F. (2006) The LIDA Architecture: Adding New Modes of Learning to an Intelligent, Autonomous, Software Agent. IDPT-2006 Proceedings (Integrated Design and Process Technology): Society for Design and Process Science, San Diego.
[36]	Franklin, S., Ramamurthy, U., D'Mello, S., McCauley, L., Negatu, A., Silva, R. and Datla, V. (2007) LIDA: A Computational Model of Global Workspace Theory and Developmental Learning. AAAI Fall Symposium on AI and Consciousness: Theoretical Foundations and Current Approaches, Arlington.
[37]	Dijksterhuis, A. and Nordgren, L. (2006) A Theory of Unconscious Thought. Perspectives on Psychological Science, 1, 95-109. http://dx.doi.org/10.1111/j.1745-6916.2006.00007.x
[38]	Acker, F. (2008) New Findings on Unconscious versus Conscious Thought in Decision Making: Additional Empirical Data and Meta-Analysis. Judgment and Decision Making, 3, 292-303.
[39]	González-Vallejo, C., Lassiter; Bellezza, G., Francis, S. and Lindberg, M. (2008) Save Angels Perhaps: A Critical Examination of Unconscious Thought Theory and the Deliberation-without-Attention Effect. Review of General Psychology, 12, 282-296.
[40]	Sevenants, A., Daniëls, D., Janssens, L. and Schaeken, W. (2012) Conscious and Unconscious Thought Preceding Complex Decisions: The Influence of Taking Notes and Intelligence. CogSci 2012 Proceedings.
[41]	Huizenga, H., Wetzels, R., Ravenzwaaij, D. and Wagenmakers, E. (2012) Four Empirical Tests of Unconscious Thought Theory. Organizational Behavior and Human Decision Processes, 117, 332-340. http://dx.doi.org/10.1016/j.obhdp.2011.11.010
[42]	Newell, B. and Shanks, D. (2014) Unconscious Influences on Decision Making: A Critical Review. Behavioral and Brain Sciences, 37, 1-19. http://dx.doi.org/10.1017/S0140525X12003214
[43]	Nieuwenstein, M., Wierenga, T., Morey, R., Wicherts, J., Blom, T., Wagenmakers, E. and van Rijn, H. (2015) On Making the Right Choice: A Meta-Analysis and Large-Scale Replication Attempt of the Unconscious Thought Advantage. Judgment and Decision Making, 10, 1-17.