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.
KeywordsFormal Methods in Software EngineeringImperfect KnowledgeFormalizing Common SenseFormalizing Unconscious Knowledge
Brooks, F.P. (1986) No Silver Bullet—Essence and Accident in Software Engineering. Proceedings of the IFIP Tenth World Computing Conference, 1069-1076.
Mair, C. and Shepperd, M. (2011) Human Judgement and Software Metrics: Vision for the Future ICSE’11. 21-28 May 2011, Honolulu.
Harman, M. (2012) The Role of Artificial Intelligence in Software Engineering RAISE 2012. Zurich.
Li, D. and Du, Y. (2008) Artificial Intelligence with Uncertainty. Chapman & Hall/CRC.
Sowa, J. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Thomson Brooks/ Cole.
Munakata, T. (2008) Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More. 2nd Edition, Springer.
Smets, P. (1999) Imperfect Information: Imprecision-Uncertainty. UMIS-Var Unc IRIDIA.
Gensler, H. (2012) Introduction to Logic.2nd Edition, Routledge.
Liu, B. (2010) Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty, Studies in Computational Intelligence. Volume 300, Springer.
Hellerstein, N. (1997) DIAMOND: A Paradox Logic. Series on Knots and Everything, 14, World Scientific.
Hellerstein, N. (1997) Delta: A Paradox Logic. Vol. 16, World Scientific, Singapore. http://dx.doi.org/10.1142/3574
McCarthy, J. (1963) Situations, Actions, and Causal Laws. Technical Report, Stanford University, Stanford.
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.
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.
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
Randell, D., Cui, Z. and Cohn, A. (1992) A Spatial Logic Based on Regions and Connection. 3rd International Conference on Knowledge Representation and Reasoning.
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.
McCarthy, J.L. (1980) Circumscription: A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13, 23-79.
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
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
Fagin, R., Halpern, J.Y., Moses, Y. and Vardi, M.Y. (1995) Reasoning about Knowledge. MIT Press, Cambridge.
Reiter, R. (1980) A Logic for Default Reasoning. Artificial Intelligence, 13, 81-132. http://dx.doi.org/10.1016/0004-3702(80)90014-4
Prakken, H. (1996) Two Approaches to the Formalisation of Defeasible Deontic Logic. Studia Logica, 57, 73-90. http://dx.doi.org/10.1007/BF00370670
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
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
Lenat, D.B. and Guha, R.V. (1990) Building Large Knowledge Based Systems. Addison Wesley, Reading.
Turing, A. (1950) Computing Machinery and Intelligence. Mind, 49, 433-460. http://dx.doi.org/10.1093/mind/LIX.236.433
Baars, B. (1988) A Cognitive Theory of Consciousness. Cambridge University Press, Cambridge.
Baars, B. (1997) In the Theater of Consciousness. Oxford University Press, Oxford.
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
Blackmore, S. (2002) There Is No Stream of Consciousness. Journal of Consciousness Studies, 9, 5-6.
Blackmore, S. (2005) Conversations on Consciousness. Oxford University Press, Oxford. http://dx.doi.org/10.1093/actrade/9780192805850.001.0001
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
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.
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.
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.
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
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.
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.
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.
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
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
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.