Abstract
The aim of this chapter is to present a formal theory of the structure of information that will support a variety of statements about documents in various media, their internal structure, and how they function in the world at large. We begin by sketching an approach to anchoring symbolic systems in human cognition and discuss various levels of intentionality that occur. We then consider compositionality in different symbolic systems and the sometimes complex coreference relations that arise from that. This theory is the basis of a program for translating natural language into logical form, and this is described. Then the theory is applied to the specific case of diagrams as information-bearing objects, and a logical theory of Gantt charts is constructed as an illustration. Finally there is a discussion of issues raised with respect to various modalities and various manifestations of symbolic artifacts.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Allwood, J.: Bodily communication–dimensions of expression and content. In: Grandström, B., House, D., Karlsson, I. (eds.) Multimodality in Language and Speech Systems. Kluwer, Dordrecht (2002)
Bickerton, D.: Language and Species. University of Chicago Press, IL (1990)
Charniak, E.: Statistical parsing with a context-free grammar and word statistics. In: Proceedings, AAAI-97, Fourteenth National Conference on Artificial Intelligence, pp. 598–603. AAAI Press/MIT Press, Menlo Park (1997)
Edmondson, S., Christensen, J., Marks, J., Shieber, S.M.: A general cartographic labeling algorithm. Cartographica 33(4), 13–23 (1997)
Gordon, A., Hobbs, J.R.: Formalizations of commonsense psychology. AI Mag. 25, 49–62 (2004)
Grice, P.: Meaning. In: Studies in the Way of Words. Harvard University Press, Cambridge (1989)
Hobbs, J.R.: Ontological promiscuity. In: Proceedings, 23rd Annual Meeting of the Association for Computational Linguistics, pp. 61–69. Chicago, Illinois (1985a)
Hobbs, J.R.: On the coherence and structure of discourse. Report No. CSLI-85-37, Center for the Study of Language and Information, Stanford University (1985b)
Hobbs, J.R.: The logical notation: ontological promiscuity. Available at http://www.isi.edu/~hobbs/disinf-tc.html (2003)
Hobbs, J.R.: The syntax of English in an abductive framework. Available at http://www.isi.edu/~hobbs/disinf-chap4.pdf (2005a)
Hobbs, J.R.: Toward a useful concept of causality for lexical semantics. J. Semant. 22, 181–209 (2005b)
Hobbs, J.R.: The origin and evolution of language: a plausible, strong AI account. In: Arbib, M.A. (ed.) Action to Language via the Mirror Neuron System, pp. 48–88. Cambridge University Press, Cambridge (2006)
Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Trans. Asian Lang. Inform. Process. 3(1), 66–85 (2004)
Hobbs, J.R., Stickel, M., Appelt, D., Martin, P.: Interpretation as abduction. Artif. Intell. 63(1–2), 69–142 (1993)
Hobbs, J.R., Croft, W., Davies, T., Edwards, D., Laws, K.: Commonsense metaphysics and lexical semantics. Comput. Linguist. 13(3–4), 241–250 (1987)
Hovy, E.H., Arens, Y.: When is a picture worth a thousand words?–allocation of modalities in multimedia communication. AAAI spring symposium on human-computer interactions, Palo Alto, CA (1990)
Lascarides, A., Stone, M.: Formal semantics of iconic gesture. In: Schlangen, D., Fernandez, R. (eds.) Proceedings, BRANDIAL 06: 10th Workshop on the Semantics and Pragmatics of Dialogue, pp. 64–71. Potsdam (2006)
Marcus, M.: The Penn TreeBank project. Available at http://www.cis.upenn.edu/~treebank/ (2009)
McCarthy, J.: Circumscription: a form of nonmonotonic reasoning. In: Ginsberg, M. (ed.) Artificial Intelligence, vol. 13, pp. 27–39. Reprinted in Readings in Nonmonotonic Reasoning, pp. 145–152. Morgan Kaufmann, Los Altos (1980)
McNeil, D. (ed.): Language and Gesture. Cambridge University Press, Cambridge (2000)
Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247–270. Yale University Press, New Haven (1974)
Pease, A., Niles, I.: Practical semiotics: a formal theory. In: Proceedings of the International Conference on Information and Knowledge Engineering (IKE ’02), Las Vegas, Nevada, June 24–27 (2002)
Pineda, L., Garza, G.: A model for multimodal reference resolution. Comput. Linguist. 26(2), 139–194 (2000)
Pollard, C., Sag, I.A.: Head-Driven Phrase Structure Grammar. University of Chicago Press and CSLI Publications, Chicago (1994)
Rathod, N.: LFToolkit. Available at http://www.isi.edu/~hobbs/LFToolkit/index.html (2008)
Wahlster, W., André, E., Finkler, W., Profitlich, H.-J., Rist, T.: Plan-based integration of natural language and graphics generation. Artif. Intell. 63(1–2), 387–427 (1993)
Acknowledgments
We have profited from discussions with and work by Eduard Hovy, Nishit Rathod, Midhun Ittychariah, and Paul Martin. The opinions expressed here, however, are entirely our own. This material is based in part upon work supported by the Defense Advanced Research Projects Agency (DARPA), through the Department of the Interior, NBC, Acquisition Services Division, under Contract No. NBCHD030010. It was also supported in part by DARPA’s “Learning by Reading: The Möbius Project” (NBCHD030010 TO #0007), and in part under the IARPA (DTO) AQUAINT program, contract N61339-06-C-0160.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hobbs, J.R., Mulkar-Mehta, R. (2013). Toward a Formal Theory of Information Structure. In: Küppers, BO., Hahn, U., Artmann, S. (eds) Evolution of Semantic Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34997-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-34997-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34996-6
Online ISBN: 978-3-642-34997-3
eBook Packages: Computer ScienceComputer Science (R0)