Abstract
Logic Information Systems (lis) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to update it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a lis the role of a schema in data-bases. We present the principles of lis, and a system-level implementation. We compare with the use of logic in Logic Programming, in particular through the notions of intention and extension.
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
Preview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H., Nasr, R.: Login: A logic programming language with built-in inheritance. J. Logic Programming 3, 187–215 (1986)
Belleannée, C., Brisset, P., Ridoux, O.: A pragmatic reconstruction of λProlog. The Journal of Logic Programming 41, 67–102 (1999)
Bowman, C.M., Dharap, C., Baruah, M., Camargo, B., Potti, S.: A File System for Information Management. In: ISMM Int. Conf. Intelligent Information Management Systems (1994)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)
Di Cosmo, R.: Deciding type isomorphisms in a type assignment framework. J. Functional Programming 3(3), 485–525 (1993)
Ferré, S.: Complete and incomplete knowledge in logical information systems. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 782–791. Springer, Heidelberg (2001)
Ferré, S.: Systèmes d’information logiques: un paradigme logico-contex tuel pour interroger, naviguer et apprendre. PhD thesis, Université de Rennes 1 (2003)
Ferré, S., Ridoux, O.: A file system based on concept analysis. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1033–1047. Springer, Heidelberg (2000)
Ferré, S., Ridoux, O.: A logical generalization of formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 371–384. Springer, Heidelberg (2000)
Ferré, S., Ridoux, O.: A framework for developing embeddable customized logics. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol. 2372, pp. 191–215. Springer, Heidelberg (2002)
Ferré, S., Ridoux, O.: Searching for objects and properties with logical concept analysis. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, p. 187. Springer, Heidelberg (2001)
Ferré, S., Ridoux, O.: The use of associative concepts in the incremental building of a logical context. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 299–313. Springer, Heidelberg (2002)
Ferré, S., Ridoux, O.: Introduction to logic information systems. Elsevier J. Information Processing & Management (in press), available at http://www.sciencedirect.com/science
Ganter, B., Wille, R.: Formal Concept Analysis — Mathematical Foundations. Springer, Heidelberg (1999)
Gifford, D.K., Jouvelot, P., Sheldon, M.A., O’Toole Jr., J.W.: Semantic file systems. In: 13th ACM Symp. on Operating Systems Principles, ACM SIGOPS, pp. 16–25 (1991)
Godin, R., Missaoui, R., April, A.: Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies 38(5), 747–767 (1993)
Gopal, B., Manber, U.: Integrating content-based access mechanisms with hierarchical file systems. In: 3rd ACM Symp. Operating Systems Design and Implementation, pp. 265–278 (1999)
Krone, M., Snelting, G.: On the inference of configuration structures from source code. In: Int. Conf. Software Engineering, pp. 49–58. IEEE Computer Society Press, Los Alamitos (1994)
Lamport, L.: LaTeX — A Document Preparation System, 2nd edn. Addison-Wesley, Reading (1994)
Levesque, H.: All I know: a study in autoepistemic logic. Artificial Intelligence 42(2) (March 1990)
Lindig, C.: Concept-based component retrieval. In: IJCAI 1995 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (1995)
Miller, D.A., Nadathur, G.: Higher-order logic programming. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol. 225, pp. 448–462. Springer, Heidelberg (1986)
Padioleau, Y., Ridoux, O.: A logic file system. In: Usenix Annual Technical Conference (2003)
Padioleau, Y., Ridoux, O.: The parts-of-file file system. Rapport de recherche 4783, INRIA (2003)
Snelting, G.: Concept analysis — A new framework for program understanding. ACM SIGPLAN Notices 33(7), 1–10 (1998)
Vogt, F., Wille, R.: TOSCANA — a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol. 894, pp. 226–233. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ridoux, O. (2003). Logic Information Systems for Logic Programmers. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive