Abstract
This paper presents a modified version of forward chaining method of reasoning and a prototype implementation called Sylar – System for Logic and Automated reasoning, which can be used for situation management. The method, presented by the authors, implements Modus Ponens and Modus Tollens by Truth tables and a SAT solver to discover hidden knowledge and suggest decisions. Also, it gives the opportunity to use multi-step inferences. Proposed method is suitable for this specific kind of decision making process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
VIStology, Inc. http://www.vistology.com/.
- 2.
The international SAT Competitions web page: http://www.satcompetition.org.
References
Bibel, W.: On matrices with connections. J. Assoc. Comput. Mach. 28(4), 633–645 (1981)
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–842 (1936)
Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)
Buss, S.R.: An Introduction to Proof Theory. Elsevier Science, Amsterdam (1998)
Church, A.: Introduction to Mathematical Logic, vol. I. Princeton University Press, Princeton, New Jersey (1956)
Cohn, P.M.: Universal Algebra. Harper and Row, Evanston (1965)
Cook, S.A.: The complexity of theorem-proving procedures. In: STOC ’71 Proceedings of the third annual ACM symposium on Theory of computing, pp. 151–158. ACM, New York, NY, USA (1971)
d’Aquin, M., Motta, E.: Watson, more than a Semantic Web search engine. Semantic Web IOS Press (2010). (http://www.semantic-web-journal.net/sites/default/files/swj96_1.pdf)
Een, N., Mishchenko, A., Sörensson, N.: Applying Logic Synthesis for Speeding Up SAT, SAT (2007)
Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493–565 (1936)
Gentzen, G.: Investigations into logical deduction. Szabo 1969, 68–131 (1935)
Goodstein, R.L.: Mathematical Logic. Leicester, England (1957)
Grätzer, G.: Universal Algebra, 2nd Edn. Springer, New York (2008)
Lorents, P.: Knowledge and information. In: Proceedings of the 2010 International Conference on Artificial Intelligence, pp. 209–215. CSREA Press (2010)
Lorents, P.: Formalization of data and knowledge based on the fundamental notation-denotation relation. In: International Conference on Artificial Intelligence, Proceedings, vol. III, pp. 1297–1301. CSREA Press, Las Vegas USA (2001)
Lorents, P.: Denotations, knowledge and lies. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2007, vol. II, pp. 324–329. CSREA Press, Las Vegas, USA, June 14–17 2007
Lorents, P.: Knowledge and taxonomy of intellect. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2008, vol. II, pp. 484–489. CSREA Press, Las Vegas, USA, 25–28 July 2008
Lorents, P.: Knowledge and logic. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2009: International Conference on Artificial Intelligence, IC-AI’ 2009, pp. 568–570. CSREA Press, Las-Vegas (2009)
Lorents, P., Matsak, E.: Applying time-dependent algebraic systems for describing situations. In: 2011 IEEE Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2011), pp. 25–31. I.E.E.E. Press, Miami Beach, FL. (IEEE Catalog Number: CFP11COH-CDR) (2011)
Maltsev, A.I.: (Maльцeв A. И.) Aлгeбpaичecкиe cиcтeмы (Algebraic systems). Moscow: Hayкa (1970)
Matheus, C., Dionne, B., Parent, D., Baclawski, K., Kokar, M.: BaseVISor: A forward-chaining inference engine optimized for RDF/OWL triples. In: Digital Proceedings of the 5th International Semantic Web Conference, ISWC 2006, Athens, GA (2006)
Matsak, E., Lorents, P.: Knowledge in digital decision support system. In: Universal Access in Human-Computer Interaction. Applications and Services: HCI International 2011, Lecture Notes in Computer Science, pp. 263–271. Springer, Orlando, Florida, USA (2011)
Matsak, E., Lorents, P.: Decision-support systems for situation management and communication through the language of algebraic systems. In: 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2012): CogSima 2012, pp. 301–307. I.E.E.E. Press (2012)
Matuszek, C., Cabral, J., Witbrock, M., Deoliveira, J.: An introduction to the syntax and content of Cyc. In: Proceedings of the 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering (2006)
Prawitz, D.: Natural Deduction: A Proof Theoretical Study. Almqvist and Wiksell, Stockholm (1965)
Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965). doi:10.1145/321250.321253
Suchanek, F.M., Kasneci, G., Weikum, G.: Yago—A core of semantic knowledge. In: 16th international World Wide Web conference (2007)
Takeuti, G.: Proof Theory. North-Holland Publishing Company, Amstardam (1975)
Tomsovica, K., Liu, C.-C.: Bounding the computation time of forward-chaining rule-based systems, Data and Knowledge Engineering. Elsevier (1993)
Tilotma S., Navneet T., Deepali K.: Study of difference between forward and backward reasoning. Int. J. Emerg. Technol. Adv. Eng. 2(10), ISSN: 2250–2459 (2012)
Tetali P.: Artificial intelligence and decision support systems. Int. J. Adv. Res. IT Eng. 2(4), ISSN: 2278–6244 (2013)
Matheus, C.J., Kokar, M.M., Baclawski, K., Letkowski, J.A., Call C.: SAWA: An assistant for higher-level fusion and situation awareness. In: Proceedings of SPIE 5813, Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2005, vol. 75 (05 April 2005). doi:10.1117/12.604120
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Matsak, E., Lehtpuu, T., Lorents, P. (2015). SyLAR—The System for Logic and Automated Reasoning for Situation Management Decision Support Systems. In: Neves-Silva, R., Jain, L., Howlett, R. (eds) Intelligent Decision Technologies. IDT 2017. Smart Innovation, Systems and Technologies, vol 39. Springer, Cham. https://doi.org/10.1007/978-3-319-19857-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-19857-6_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19856-9
Online ISBN: 978-3-319-19857-6
eBook Packages: EngineeringEngineering (R0)