Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
OMRS (Open Mechanized Reasoning Systems) was designed for Automated Theorem Proving and then extended to Computer Algebra. These are the two domains at the heart of the Calculemus approach. An obvious question is to assess whether such an approach can be extended to new domains either within AI or outside of AI. There have been several attempts to turn the world into a computational system. This talk stays away from such general attempts and introduces a framework that is fully set within AI. It extends the basic concepts of OMRS to diverse fields ranging from information technology to sociology through law as illustrated by examples. The main motivation is to claim that whatever the selected approach, Artificial Intelligence is gaining enough strength and power to reach new frontiers and to turn challenges that are not a priori of a purely computational nature into AI domains.
Keywordsmechanized reasoning abstraction computational modeling knowledge agent
Unable to display preview. Download preview PDF.
- 3.Calmet, J., Lefevre, V.: Toward the Integration of Numerical Computations into the OMSCS Framework. In: Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, Saint Petersbourg, Russia, pp. 71–79 (2004)Google Scholar
- 5.Calmet, J., Ollivier, F. (Guest eds.): Jacobi’s Legacy. AAECC Special issue 20(1) (April 2009)Google Scholar
- 6.Calmet, J., Maret, P., Schneider, M.: Cultural Differences as a Tool to Assess Trust in Virtual Enterprises (May 2009) (forthcoming)Google Scholar
- 9.Ghins, M.: Laws of Nature: Do we Need a Metaphysics? Principia 11(2), 127–149 (2007)Google Scholar
- 10.Giunchiglia, F., Pecchiari, P., Talcott, C.: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. Tech. Rep. 9409-15, IRST, Trento, Italy (1994) Short version in: Proc. of the First International Workshop on Frontiers of Combining Systems (FroCoS 1996), Munich, Germany (1996)Google Scholar
- 11.Herrera, M., Roberts, D.C., Gulbahce, N.: Mapping the Evolution of Scientific Ideas (April 7, 2009) (preprint) arXiv:0904.1234v1Google Scholar
- 14.Maret, P., Calmet, J.: Agent-Based Knowledge Communities. IJCSA 6(2), 3–21 (2009)Google Scholar
- 15.Sartor, G.: A Treatise of Legal Philosophy and General Jurisprudence. Legal Reasoning, vol. 5. Springer, Heidelberg (2005) (Volume not available separately)Google Scholar
- 16.Subercaze, J., Maret, P., Calmet, J., Pawar, P.: A service oriented framework for mobile business virtual communities. In: Camarinha-Matos, L.M., Picard, W. (eds.) Pervasive Collaborative Networks. IFIP International Federation for Information Processing, vol. 283, pp. 493–500. Springer, Boston (2008)CrossRefGoogle Scholar
- 17.Wirth, C.-P., Siekmann, J., Benzmueller, C., Autexier, S.: Lectures on Jacques Herbrand as a Logician. SEKI Report SR200901, DFKI Saarbruecken (2009)Google Scholar
- 18.Wolfram, S.: A New Kind of Science. Wolfram Media (2002)Google Scholar