1 What's New
What's (More or Less) New on this Website
If you do not find what you are looking for here, try the Selected Publications and Other
Papers pages; if you still cannot find it, please contact my secretary
UCSD CSE Dept (+1 (858) 822-2337). See also the lists of books, and the complete list of all publications in my
resume (also available in pdf, though this may be updated less frequently).
Newer papers are usually available in pure postscript and/or pdf, but many
older papers are in gzipped postscript. In Unix, you can extract postscript
from a .ps.gz file with gunzip, and use ghostview to view the postscript. In
Windows, gzip seems too arcane for the Winzip Wizard, but can be handled by
Power Archiver, and postscript can be viewed using GSView. On Apple
machines, Stuffit Expander should work. You can view pdf files with acrobat.
- [Newly Revised, 29 May 06] Time, Structure and Emotion in Music, by
Joseph Goguen and Ryoko Goguen, Japanese translation by Sumi Adachi to
appear in Japanese transwlation in Jo no Giho, Keio University
Press, Tokyo, 2006, a collection of the Keio University special invited
lectures, 2003-2004. There is also a postscript
version, which seems to work better on some browsers. This short paper
describes experiments with musical stimuli that reveal unexpected
properties of the chunking of qualitative experience, and sketches a theory
of qualia based on the blending model of algebraic semiotics.
- [Newly Re-Revised, 27 May 06] Style as Choice of Blending Principles, by
Joseph Goguen and Fox Harrell, to appear in The Structure of Style:
Algorithmic Approaches to Understanding Manner and Meaning, ed. by
Shlomo Argamon, Kevin Burns, and Shlomo Dubnov, Springer 2006; postscript version also available. An earlier version appeared in Style and Meaning in
Language, Art, Music and Design, ed. by Shlomo Argamon, Shlomo
Dubnov and Julie Jupp; Proceedings of a Symposium at 2004 AAAI Fall
Symposium Series, Technical Report FS-04-07, AAAI Press, 2004, pages 49
to 56 (Washington DC, October 21-24); there are also a postscript version, and powerpoint slides for the lecture. This paper proposes a
new approach to style based on the principles for blending that works
employ; it also includes an implementation approach to syntax based on
structural blending and cognitive grammar, and proposes a reconsideration
and generalization of optimality principles for blending. A poetry
generation system based on this ideas is also explained, and some output is
- [Newly Re-Revised, 1 May 06] Mathematical Models of Cognitive Space and Time, a
preliminary version will appear in Reasoning and Cognition, edited
by Daniel Andler and Mitsu Okada; proceedings of symposium at Keio
University, December 2005. A better title for the revised version would be
"Reasoning about Mathematical Models of Cognitive Space and Time." The
paper constructs mathematical models for reasoning about space and time,
and metaphors of time as space, using the language of unified concept
theory, especially frames and frame blending. The new material provides
more explanation and motivation for categories and institutions, with some
pictures. Slides of talk Mathematical
models of cognitive space and time at University of Bremen, Center
for Research on Spatial Cognition, 30 September 2005, Bremen, Germany (does
not have the most recent results, but does have some pictures).
- [Newly Revised in response to referee comments, 9
April 2006] Information Integration in
Institutions, to appear in Jon Barwise Memorial Volume
edited by Larry Moss, Indiana University Press, 2006. This paper unifies
and/or generalizes several approaches to information, including the
information flow theory of Barwise and Seligman, the formal conceptual
analysis of Wille, the lattice of theories approach of Sowa, the
categorical general systems theory of Goguen, and the cognitive semantic
theories of Fauconnier, Turner, Gardenfors, and others. Its rigorous
approach uses category theory to achieve independence from any particular
choice of representation, and institutions to achieve independence from any
particular choice of logic. Corelations, cocones, and colimits over
arbitrary diagrams provide a very general formalization of information
integration, and Grothendieck constructions extend this to several kinds of
heterogeneity. Examples from databases, ontologies, cognitive semantics
and other areas are treated. An unusual way to institutionalize databases
is given in an appendix, inspired by C.S. Peirce's triadic semiotics.
Another appendix gives a brief overview of category theory. A postscript version is also available.
- [Newly revised, 2 April] Semiotics, Compassion and Value-Driven
Design, by Joseph Goguen. Slides for keynote address at
conference on Sociology of Informatics, Kyoto University, 13-14 December
2005; discusses semi-formal application of algebraic semiotics to software
design, emphasizing the roles of values and compassion. For more
information, see also the older but related papers: Semiotics, Compassion and Value-Centered
Design, in Proceedings, Organizational Semiotics
Workshop, University of Reading, UK, 11 - 12 July 2003; and Groundlessness, Compassion and
Ethics in Management and Design, in Managing as Designing,
edited by Richard Boland and Fred Callopy, Stanford University Press, 2004,
- [New, 25 March 06] A draft of the
introduction to the book in progress Value-Driven Design, with Algebraic
Semiotics, by Joseph Goguen and Fox Harrel, is available for
browsing and comment; a draft
outline of the whole book is also available.
- [Newly Revised, 18 Feb 06] Ontotheology, Ontology, and Society, to appear
in special issue of Int. J. Human Computer Studies, ed. by
Christopher Brewster and Kieron O'Hara; a
postscript version is also available. This paper marshalls ideas from
philosophy, cognitive science, and sociology, in an attempt to discern some
limitations of ontologies in the computer science technical sense. It is
an expanded and revised version of Ontology,
Society, and Ontotheology, in Formal Ontology in Information
Systems, edited by Achille Varzi and Laure Vieu, IOS Press, pages
95-103, 2004, which is proceedings of Conference on Formal Ontology in
Information Systems (FOIS'04); a postscript
version is also available, as is the
abstract, see also Workshop on Potential of
Cognitive Semantics for Ontologies.
- [New] Abstract for two
lecture/demonstrations with Ryoko Goguen, 28 November and 22 December 2005
at University of Tokyo, Improvisation,
Nonlinear Dynamics and Qualia: Experiencing music and poetry.
- [New] A short essay, A Distributed Integration Approach to Learning,
written for a Science of Distributed Learning project meeting on 8 November
2005. Suggests a way to unify several different approaches to learning,
based on the view that learning is a form of distributed integration.
- [New] Another short essay, Support for Ontological Diversity and
Evolution, written for the SEEK (Science Environment for Ecological
Knowledge) project meeting on 27 October 2005. Argues that multiple
ontologies for single domains are inevitable, and suggests technology and
theory to support work in such environments, including ways to detect and
- [New] The
Griot System Homepage describes the multimedia display/performane
engine we are developing, to integrate generative graphics, structured
generative text (narrative, poetry, etc.), music, and so on. The page
describes the system architecture, lists performances using the system, and
gives links to references providing more details.
- [New] Information about our performance, The Griot Sings Haibun on 28 October,
celebrating the opening of the California
Institute for Tececommunications and Information Technology building, in
cooperation with the UCSD Center for
Research in Computing and the Arts. The performers were: Bertram
Turetzky, contrabass; David Borgo, saxophones & flutes; Ryoko Amadee Goguen,
piano; Joseph Goguen, direction, poetry performance, and polypoem source;
D. Fox Harrell, Griot implementation and polypoem execution. Links to Program for the whole concert and Photo of participants in concert
(plus some family).
- [New] Slides for lecture in Bremen, 10
October 2005, Improvisation, Nonlinear
Dynamics and Qualia: Experiencing music and poetry, preceding
concert by Ryoko Goguen, Jazz, Klassik, Pop, mit japanischer
Aesthetik; also in pdf. Warning:
these are big files. The poster for the
event is also available.
- [New] Three
Flirtations, abstract of talk at the Fifth FLIRTS
Meeting, 1-2 October 2005, in Bremen, Germany. (FLIRTS is an acronym for
"Formalism, Logic, Institution - Relating, Translating and Structuring".)
The slides for the presentation by Till Mossakowski and Joseph Goguen, on An Institutional View on the
Curry-Howard-Tait Isomorphism are also available.
Specifying, Programming and Verifying with Equational Logic,
by Joseph Goguen and Kai Lin, in We Will
Show Them! Essays in honour of Dov Gabbay, Vol. 2, edited by Sergei
Artemov, Howard Barringer, Artur d'Avila Garcez, Luis Lamb and John Woods,
College Publications 2005, pages 1-38. In a logical programming language,
a program is a theory over a formal logic, and its computation is deduction
in that theory. As a consequence, specification, programming and
verification all fit a single unified framework. The OBJ languages are
logical programming languages, based on various extensions of first order
equational logic. Everything in these languages is logic-based, including
their powerful module systems, which provide a convenient language for
software architecture. A new feature introduced in this paper is mutual
coinduction, illustrated with inductive proof schemes. Two theoretical
contributions are a new formalization of logical programming, and a new
semantics for higher order modules. A postscript
version is also available, as are versions in the much more voluminous
format of the book, in pdf and postscript.
- [New] Qualia, Nonlinear Dynamics and Improvisation:
Experiencing music and poetry, abstract for workshop by Joseph &
Ryoko Goguen, at Tucson VII - Towards a
Science of Consciousness 2006, 4 April 2006, Tucson AZ.
- [Newly Revised] Verifying Design with Proof Scores, by Kokichi
Futatsugi, Joseph Goguen and Kazuhiro Ogata, to appear, Proceedings,
Verified Software: Theories, Tools, Experiments, workshop celebrating
150th anniversary of Eidgenoschische Hochschule Zurich, 10-13 October 2005.
This paper argues that design verification is a superior approach to code
verification, and argues that proof scores are an attractive approach to
design verification. A postscript version is
Data, Schema, Ontology, and Logic Integration, to appear in
Logic Journal of the IGPL (IGPL stands for " Interest Group on Pure
and Applied Logic"), volume 13, no 6, 2006; special issue on combining
logics, edited by Walter Carnielli, Miguel Dionisio, and Paulo Mateus; postscript version also available. Extended
abstract appears in
Proceedings, CombLog'04 Workshop, edited by Walter Carnielli,
Miguel Dionisio, and Paulo Mateus, pages 21-31; held 28-30 July 2004, in
Lisbon, Portugal; keynote address. Motivation and theory for a "data
integration chain," from data to schema to ontology to ontology language to
ontology logic integration; main new ideas are abstract schema, abstract
schema species, and abstract schema morphism.
- [New] A Trip Report
Page, with descriptions of some recent trips, some with photos.
- [Newly Revised] What is a Concept?, by Joseph Goguen, in
Proceedings of 13th
International Conference on Conceptual Structures (ICCS '05), edited by
Frithjof Dau and Marie-Laure Mungier, Springer Lecture Notes in Artificial
Intelligence, volume 3596, pages 52-77, 2005; conference held 18-22 July,
2005, Kassel, Germany. Slides for the
lecture are also available in pdf and in
postscript. This paper surveys a number of approaches to concepts,
focussing on cognitive, social, and formal approaches, and in particular,
unifies the symbolic mental spaces of Fauconnier and the geometric conceptual
spaces of Gardenfors; ideas of Peirce and Latour help to unify the diversity
- [Newly Revised] What is a Logic?, by Till Mossakowski, Joseph
Goguen, Razvan Diaconescu, and Andrzej Tarlecki, Logica Universalis,
ed. Jean-Yves Beziau (Birkhauser, 2005), pages 113-133. Proceedings of First World Conference on Universal
Logic, 26 March to 3 April 2005, Montreaux, Switzerland. Defines an
equivalence relation on institutions such that the equivalence classes
define a notion of "a logic"; in addition, several interesting invariants
are defined for this notion, including a new Lindenbaum category
construction and a model cardinality spectrum. To handle proof theory,
traditional categorical logic is extended to use sets of sentences instead
of single sentences as objects.
- [New] Rivers of
Conscousness: The Nonlinear Dynamics of Free Jazz, by David Borgo and Joseph Goguen,
to appear in Jazz Research Yearbook, ed. Larry Fisher, IAJE, 2005.
Proceedings of conference in Long Beach CA, 5-8 January 2004. It is in MS
- [New] Formalization and Implementation for Cognitive
Semantics, slides for keynote address at Workshop on the Potential of
Cognitive Semantics for Ontologies, Torino Italy, 3 November January
2004. Sorry, it is in MS Powerpoint.
- [New] Qualia
Project Homepage. Research on the vexing problem of qualia, with links
to papers and websites on this topic.
- [New] Arts,
Music and Consciousness. Information on the Art and the Brain
book series, and links to research on a new musicology for forms of music
developed after about 1950, including free jazz improvisation; nonlinear
dynamical systems theory provides a mathematical basis, but ideas from
blending theory and hierarchical information theory are also used.
- Three Perspectives on Information
Integration, in Proceedings, Seminar 04391,
Semantic Interoperability and Integration, held from 20 to 24 September
2004, at Schloss Dagstuhl, Germany; there is also a postscript version. The archival version is at
- Homepage for Computational
Narratology, with links for work with Fox Harrell in this exciting new
area, which is concerned with developing theory and technology to produce
interesting new multimedia narratives on the fly for computer games, active
poems, and other new media objects.
- Against Technological Determinism; a
short essay defining technological determinism and pointing out its dangers;
Scale, volume 1, no. 5, pages
19-22; also to appear in CVS:
Concurrency, Versioning and Systems, edited by Jon Phillips. The original html version is also available on the CSE 275 website.
- Scritical Pairs and Sunification,
with Monica Marcus, in 18th Workshop
on Unification, edited by Michael Kohlhase, pages 110-124, 2004
(Cork, Ireland, 4-5 July 2004); new methods for proving confluence based on
generalizations of critical pairs and unification. A postscript version is also available, as are slides for
the talk (very kindly given by Laurent Vigneron), in both pdf and postscript .
- Website of CSE 294A, graduate research
seminar on Meaning and Computation; Spring 2004 meetings provided an
introduction to general algebra, with computer science applications.
- A blog, with notes on computer science, sociology
of technology, logic, life, and all that. Note: The blog has
recovered from a serious security bug in its underlying Pivot system, and can
be read but not written at this time.
- Editorial Introduction to Art and the Brain, Part III , with Erik
Myin, Imprint Academic, ISBN 0-907-84598-3; also in Journal of Consciousness
Studies, vol. 11, no. 3/4, pages 5-8, 2004; a special issue with a
focus on music.
- Verification with Proof Scores in
CafeOBJ, by Kokichi Futatsugi, Joseph Goguen, and Kazuhiro Ogata.
In Abstracts of Presentations at Workshop on Algebraic Development
Techniques, ed. Peter Mosses, 2004, pages 75-78 (Barcelona, 27-29 March).
A short description of a semi-formal approach to software verification.
- Foundations for Active Multimedia Narrative:
Semiotic spaces and structural blending, by Joseph Goguen, and Fox
Harrell. To appear in Interaction Studies: Social Behaviour and
Communication in Biological and Artificial Systems. Algorithms and
models for new genres of gaming, entertainment, and art, based on theories of
blending, narrative, algebraic semantics and semiotics; also reports
experiments with active poetry. There is also a postscript version.
- Musical Qualia, Context, Time, and
Journal of Consciousness Studies 11, 3/4, pages 117-147, 2004; Art and the Brain, Part III , a special
issue with a focus on music. This is a paper on the philosophy and cognitive
science of music. A postscript version is also
- Extended abstract of Sync or Swarm: Group
Dynamics in Musical Free Improvisation, by David Borgo and Joseph Goguen, and shorter abstract, in Proceedings, Conference
on Interdisciplinary Musicology, Dept. Musicology, University of Graz,
2004; the short abstract appears on pages 52-53, and the extended abstract in
the attached CD. Held in Graz, Austria, 15-18 April 2004. Sorry, both are
in MS Word.
- Steps towards a Design Theory for Virtual
Worlds, by Joseph Goguen. Chapter in Developing Future
Interactive Systems, edited by Maribel Sanchez-Segura, published by Idea
Group, pages 116-152, 2005; an html version
is also available. This paper is an expanded and revised version of a
keynote lecture given at the Virtual Worlds and Simulation
Conference, Phoenix AZ, 10 January 2001, and published in Proceedings,
Conference on Virtual Worlds and Simulation, edited by Christopher
Landauer and Kirstie Bellman, Society for Modelling and Simulation, 2001,
pages 298-303. It sketches algebraic semiotics and its applications,
especially to user interface design and scientific visualization; it is an
update of a "distinguished lecture" Algebraic Semiotics and User
Interface Design, given at the Institute for Software Research,
University of California at Irvine, 20 October 2000.
- Review of Intellectual
Impostures, by Alan Sokal and Jean Bricmont (second edition), in
(London) Times Higher Education Supplement, 365, No. 1, 9 April 2004,
- Composing Hidden Information Modules over
Inclusive Institutions, by Joseph Goguen and Grigore Rosu. Semantics for specification
combining operations that can hide information; necessary and sufficient
conditions for using only visible consequences of hidden information to be
safe; applications to programming language module systems. In From
Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl,
Springer Lecture Notes in Computer Science, vol. 2635, edited by Olaf Owe,
Stein Krogdahl and Tom Lyche, 2004, pages 96-123.
- Critical Points for Interactive Schema
Matching, with Guilian Wang, Young-Kwang Nam, and Kai Lin.
Technical Report CS2004-0779, UCSD Department of Computer Science, 31 January
2004; this is the long version of a paper of the same name in Advanced Web
Technologies and Applications, edited by Jeffrey Xu Yu, Xuemin Lin,
Hongjun Lu and YanChun Zhang, Springer Lecture Notes in Computer Science,
volume 3007, 2004, pages 654-664. Proceedings of Sixth Asia Pacific Web
Conference, Hangzhou, China, 14-17 April 2004. The shorter published version is also available, as is a pdf version of the full report.
- Website of CSE 87C, an undergraduate seminar
on Computational Narratology.
- Behavioral Verification of Distributed
Concurrent Systems with BOBJ, by Joseph Goguen and Kai Lin. Text of
keynote lecture for Conference on
Quality Software, Dallas TX, 5-6 November 2003. In Proceedings,
Conference on Quality Software, IEEE Press 2003, pages 216-235. A postscript version, and the slides for a lecture are also available, although these
are much more technical than the talk that was actually given. The paper
proves correctness of the alternating bit protocol making strong use of
recent features of BOBJ, especially
conditional circular coinductive rewriting with case analysis. An early
version of this paper is A Hidden Proof of the
Alternating Bit Protocol, by Kai Lin and
Joseph Goguen. See also the brief early web note Correctness of the Alternating Bit
Protocol, and proof sketch for the Petersen Critical Section Algorithm.
- Semiotic Morphisms, Representations, and
Blending for User Interface Design, by Joseph Goguen. Keynote
lecture, in Proceedings,
AMAST Workshop on Algebraic Methods in Language Processing, AMAST
Press, 2003, pages 1-15 (held Verona, Italy, 25 - 27 August 2003). This
paper extends algebraic semiotics to handle interaction by using hidden
algebra; some examples are given in detail. A post
script version of the paper, and the slides
for the talk are also available (you may have to change the orientation
to swap landscape).
- Semiotics, Compassion and
Value-Centered Design, in Proceedings, Organizational Semiotics
Workshop, University of Reading, UK, 11 - 12 July 2003. Slides for the keynote talk and the original abstract are also available.
Discusses the application of algebraic semiotics to large scale design
problems, e.g., of organizations and large IT systems. An updated version
of the slides is also available,
Semiotics, Compassion and Value-Driven Design.
- Conditional Circular Coinductive Rewriting
with Case Analysis, by Joseph Goguen, Kai
Lin and Grigore Rosu, in
Recent Trends in Algebraic Development Techniques, edited by Martin
Wirsing, Dirk Pattinson and Rolf Hennicker, Springer Lecture Notes in
Computer Science, volume 2755, 2004, pages 216-232; proceedings of 16th Workshop on
Algebraic Development Techniques, Frauenchiemsee, Germany, 24-27
September 2002. Slides for the lecture version are also available, Conditional Circular Coinductive Rewriting
(Note: You may have to reorient to "seascape"), as is the two page abstract,
Conditional Circular Coinductive
Rewriting, by the same authors. This paper extends BOBJ's circular
coinductive rewriting algorithm to conditional equations and "splits" for
case analyses. Note: This version does not have proofs.
- Information Visualization and
Semiotic Morphisms, by Joseph Goguen and D. Fox Harrell. An
informal introduction to the notion of semiotic morphism from the field of algebraic semiotics, showing how information
visualization, in both analysis and design, can benefit from a viewpoint
based on structure-preserving morphisms. In Multidisciplinary Approaches
to Visual Representations and Interpretations, ed. Grant Malcolm (Elsevier 2004), pages
93-106. This book consists of revised versions of papers from the Second International Conference on Visual
Representations and Interpretations, Liverpool UK, 9-12 September
2002. An older html version of the paper
is also available. Further background for this paper can be found in the
webnote Semiotic Morphisms and the
paper On Notation.
- A Metadata Tool for Retrieval from
Heterogeneous Distributed XML Documents, by Young-Kwang Nam, Joseph
Goguen, and Guilian Wang. In Proceedings, International Conference on
Computational Science, edited by P.M.A. Sloot and others, Springer,
Lecture Notes in Computer Science, volume 2660, pages 1020-1029, 2003.
Melbourne, Australia, 2-4 June 2003. Describes a GUI tool for constructing
correspondences between XML documents that support information retrieval from
- Abstract of lecture, Integrating Data
by Integrating Meta-Data and Meta-Data Languages, by Joseph Goguen,
and webpages that served as slides for a related lecture, Ontologies, Ontology Languages, and Data Integration by
Metadata Integration, by Joseph Goguen. The second is a high level
overview of research goals and plans, with links to some related webpages,
while the first is an abstract for a more advanced treatment of similar
topics. Given at Technical University of Vienna, 25 March 2003, and UCSD
Database Seminar, 7 February 2003.
- Abstract of lecture/demonstration,
Qualia in Music, by Joseph and Ryoko Goguen,
University of Vienna, Depts. Computer Science and Art, 20 March 2003.
Abstract of lecture/demonstration, Metaphor,
blending and Information in Music, by Joseph and Ryoko Goguen, University of Music and Dramatic Arts in Vienna, 25
March 2003, Dept. of Music.
- Consciousness Studies, in
Encyclopedia of Science and Religion, vol 1, ed. J. Wentzel Vrede van
Huyssteen, Macmillan Reference, 2003, pp. 158-164. A pdf version is also available. This is a brief survey of
the emerging field of consciousness studies (by request of the editor, this
article contains more on religion than normally appears in my papers). Slides
are available for a science-oriented lecture version of Consciousness Studies, given as part of a
seminar for mental health professionals offered by the University of
California at Berkeley Extension, 27 September 2003.
- Notes for the SEEK Project,
by Joseph Goguen. This is a combination of an online notebook with an index
to online resources, especially research papers, relevant to data integration,
particularly ontology integration. (SEEK stands for Science Environment for Ecological
Knowledge project; it is sponsored by the National Science Foundation.)
- A Metadata Integration Assistant Generator
for Heterogeneous Distributed Databases, by Young-Kwang Nam, Joseph
Goguen, and Guilian Wang, in Proceedings, 16th Conference on
Ontologies, DataBases, and Applications of Semantics for Large Scale
Information Systems, Springer, Lecture Notes in Computer Science,
Volume 2519, 2002, pages 1332-1344; from a conference held in Irvine CA, 29-31
October 2002. Also available are a MS Word
version of the paper with color figures, and the powerpoint slides for the lecture, given 31
October 2002. This describes an early version of the SCIA system.
- Zero, Connected, Empty: An essay after a
cantata, by Joseph Goguen and Ryoko Goguen, in
Recent Trends in Algebraic Development Techniques, Springer Lecture
Notes in Computer Science, volume 2755, 2004, pages 127-128; proceedings of
Workshop on Algebraic Development Techniques, Frauenchiemsee,
Germany, 24-27 September 2002. This short essay describes the background of
a cantata written for the conference banquet; the score appears in the same volume, pages 118-126. See also
the Pelican, Fish, Button Suite website.
- Are Agents an Answer or a
Question? by Joseph Goguen. An essay on agent technology, analyzing
the historical, social and ethical context of agent research, with a critique
of agent technology based on the social behavior of real (human) agents. A version with more digressions and more complete
references appeared in Proceedings, JSAI-Synsophy International Workshop on
Social Intelligence Design, held 21-22 May 2001, Matsue, Japan; also
available in a pdf version.
- The call for papers for Art, Brain, and
Consciousness, a continuation of the Art and the Brain series,
with a special focus on music. A special issue of Journal of Consciousness
Studies, edited by Joseph Goguen and Eric Myin, and also a book from
Imprint Academic, May 2004. See also earlier volumes in this series:
- Art and the Brain (Part 2), edited by Joseph
Goguen and Eric Myin, Imprint Academic, October 2000, ISBN 0-907-84512-6;
also, special issue of
Journal of Consciousness Studies, volume 7, no. 8/9, 2000. Joseph
Goguen's introduction, pages 7-15, What is
Art?, is available, as is his review
of Visual Space Perception: A Primer, by Maurice Hershenson (MIT
1998), on pages 157-160 of the same volume.
- The first volume, Art and the
Brain, ed. Joseph Goguen, Imprint Academic, October 1999, ISBN
0-907-84545-2, and Journal
of Consciousness Studies, volume 6, no. 6/7, June/July 1999, the Editorial Introduction, pages 5-14, by
Joseph Goguen, is available.
- Morphisms and Semantics for Higher Order
Parameterized Programming, by Kai Lin
and Joseph Goguen. Draft paper on higher order parameterized modules,
generalizing views to morphisms, and giving a semantics based on functors
from slice categories. An abstract is
available for this paper, as are a pdf version of the
paper and a pdf version of the abstract.
- Visit the "world-famous" UC San Diego Semiotic
Zoo for an astonishing collection of exotic semiotic morphisms, each
an example of bad design arising through failure to preserve some relevant
structure. Notes: (1) The zoo is still under construction, and one
wing is not yet open; (2) the zoo won a "Creativity Award" from Art & Technology; (3) links to
papers explaining the ideas of algebraic semiotics can also be found at this
- A Scent of Skinner at Harvard,
a brief reminiscence by Joseph Goguen, Journal of Consciousness Studies,
10, no. 1, 2003, pp 46-48.
- An Induction Scheme in Higher
Order Parameterized Programming, by Joseph Goguen and Kai Lin. A "programming pearl" using induction schema to
illustrate higher order modules and higher order views in BOBJ.
- Pelican, Fish, Button Suite, a selection from an
opera in progress, with music by Ryoko Amadee Goguen and
words by Joseph Goguen, was performed 10 August 2002, in the Geisel Library at
UCSD. The Pelican, Fish Button website
includes the libretto, some explanations, and some photos taken at the
performance by Minoru Harada.
- Institution Morphisms, by Joseph
Goguen and Grigore Rosu, in
Formal Aspects of Computing 13, 2002, pages 274-307; special issue
edited by Don Sannella, in honor of the retirement of Rod Burstall. This
paper brings greater order to the chaotic menagerie of different genres and
species of morphisms between institutions, by exploring their basic properties
and some important relationships among them, and by giving them systematic
- Perception, a poem by Joseph
Goguen, in Journal of Consciousness Studies 9, 2002, page 42.
Compassion and Ethics in Management and Design, in Managing as
Designing, edited by Richard Boland and Fred Callopy, Stanford University
Press, 2004, pages 129-136. Papers from the Managing as Design Workshop,
14-15 June 2002 at the Weatherhead School of Management of Case Western
Reserve University. Many interesting papers
can be found on the workshop website, including those by Richard Boland
(the organizer), Geoffrey Bowker, Yjro Engestrom, Frank Gehry (architect of
the building where it was held), Leigh Star, Lucy Suchman, and Ina Wagner.
- Reality and Human Values in
Mathematics, by Joseph Goguen, submitted for publication. Applies
discourse analysis (in the sense of sociolinguistics), cognitive linguistics
and ethnomethodology to mathematical discourse, showing how the reality of
mathematical objects is achieved, and the role of values in this process; a pdf version is also available, as are
slides for an early talk on The
Reality of Mathematical Objects, at the UCSD Science Studies Colloquium, 20
November 2000; a pdf version is also
available (but you may have to change the page orientation to seascape).
- A Hidden Herbrand Theorem: Combining the
Object, Logic and Functional Paradigms, by Joseph Goguen, Grant Malcolm, and Tom Kemp, Journal
of Logic and Algebraic Programming, Volume 51, 2002, pages 1-41. Shows
how to combine the logic and object paradigms using hidden algebra with
existential quantifiers. This is a journal version of a paper in
Principles of Declarative Programming, edited by Catuscia Palamidessi,
Hugh Glaser and Karl Meinke (Proceedings of PLIP/ALP'98 [Programming
Languages, Implementations, Logics and Programs / Algebraic and Logic
Programming], Pisa, Italy, 14-19 September 1998), Springer Lecture Notes in
Computer Science, Volume 1490, pages 445-462. (The paper was completed in
2001, and uses an older version of hidden algebra.) Compressed postscript and pdf versions are also available.
- Consciousness and the Decline of
Cognitivism, a position paper for the conference Distributed Collective
Practices, 6-9 February 2002 at UCSD; a pdf
version is also available.
- Structure and Values in Music, a
brief description of a project in its early stages, on implicit values and
formal structure in music, particularly improvised music.
- Kumo, BOBJ, and Behavioral
Verification, tutorial given 26 November 2001 at ASE'01
(Automated Software Engineering 2001), San Diego, and also used for lecture at
Keio University, Tokyo, 18 December 2001.
- Web-based Support for Cooperative Software
Engineering, by Joseph Goguen and Kai
Lin. In Annals of Software Engineering, volume 12, No. 1, pages
167-191, 2001, special issue on multimedia software engineering, edited by
Jeffrey Tsai. This is an overview of the Tatami project, featuring version
4 of the Kumo proof assistant and website generator, and focusing on its
design decisions, its use of multimedia web capabilities, and its
integration of formal and informal methods for software development in a
distributed cooperative environment. A gzipped
postscript version is also available. The paper is a revised and
expanded version of the paper Web-based
Multimedia Support for Distributed Cooperative Software
Engineering, by Joseph Goguen and Kai
Lin, which appeared in Proceedings, International Symposium on
Multimedia Software Engineering, edited by Jeffrey Tsai and Po-Jen
Chuang, IEEE Press, pages 25-32; this meeting was held in Taipai, Taiwan,
- Circular Coinduction by Grigore Rosu and Joseph Goguen, in
Proceedings, International Joint Conference on Automated Deduction,
Sienna, June 2001. This paper provides the full proof of correctness of
circular coinduction, and draws some consequences, including various
congruence criteria. A gzipped postscript
version is also available.
- Notes on Narrative, by Joseph
Goguen, Brief overview of some techniques for the analysis of stories,
including summaries of the structural theory of narrative, and techniques for
the extraction of value systems from stories. See also The Structure of Narrativ for a precise
- CSE 230: Principles of Programming
Languages. The UCSD CSE graduate course on the principles that
underlie the various kinds of programming language; includes some introductory
material on algebraic semantics.
- CSE 130: Principles of Programming
Languages. The UCSD CSE undergraduate course on the principles that
underlie the various kinds of programming language; includes functional and
- CSE 175: Social and Ethical Issues in
Information Technology. An exploration of how social and technical
issues interact in information technology, with an emphasis on ethical issues.
(This is an undergraduate version of CSE 275:
Social Aspects of Technology and Science, with less on science and
more on ethics.)
- CSE 271: User Interface Design: Social and
Technical Issues. An introduction to user interface design, algebraic
semiotics, information visualization, and more. See also CSE 171, an undergraduate version of similar material.
- A collection of proof displays
generated by the latest Kumo proof
assistant and website generator, version 4. This is part of the Tatami project, one goal of which is to make
machine proofs much more readable than is usual; the project has some emphasis
on behavioral proofs of distributed concurrent systems. The following proofs
are available for your browsing pleasure:
In addition, you will find the following:
- An inductive proof that 1+...+
n = n(n+1) / 2. This will give you a chance to explore Kumo's
navigation and display conventions on a simple example.
- A coinductive proof of a
behavioral property of a simple flag object. This illustrates some basics
of the hidden algebra approach on a very simple example; it gives an
especially clear explanation of the need for behavioral properties.
- Two proofwebs for some familiar inductive properties of lists. The first
was generated by a duck score written at the beginning of this effort; it is
striking that all the lemmas needed to complete the proof can be deduced from
the way that an improving series of proof attempts fail. The second proofweb
succeeds, and was generated by a duck score derived from the first just by
reordering its goals so that the lemmas that were found necessary are proved
in the correct order.
- This early attempt at
proving that the reverse of the reverse of a list is the list, takes a direct
approach, and its explanations emphasize the way that the two lemmas that are
needed to complete the proof can be deduced from the output produced by
unsuccessful proof attempts; one of these lemmas is the associativity of
- Here are the complete proofs
for all three inductive properties of lists, including the two lemmas
that are needed to establish the main goal.
- A coinductive proof of the behavioral correctness of the
array-with-pointer implementation of stack. This behavioral refinement
proof requires introducing a non-trivial lemma, which can also be inferred
from a prior proof attempt that fails without it.
- A behavioral refinement proof of the correctness of implementing sets with
lists, using attribute coinduction.
- A simple inductive proof of a formula for the sum of the squares of the first n natural numbers. This example is deliberately very spare,
and in particular has no explanations, in order to illustrate the default
conventions that Kumo uses when a user supplies only the absolute minimum
- A detailed proof that the square root of 2 is
irrational, illustrating the first order capabilities of Kumo. This uses
and proves many auxiliary lemmas; see the directory listing. Note: This is
under construction, and the explanations are still missing.
Netscape 3.0 or later and some knowledge of hidden algebra are needed. This is version 4 of Kumo,
implemented by Kai Lin. Eventually the Java
source code will also be available for downloading via the Kumo homepage.
Your feedback is very welcome: please send comments on the implementation to
the implementer, Kai Lin, and comments
on the explanations and the theory to Joseph Goguen.
- tutorial material on hidden algebra (which
won a "Key Resource Award in Formal Methods" from links2go), which is linked
to other tutorials on first order logic, and proof planning;
- many user-supplied home and explanation pages;
- several illustrative Java applets; and
- live proof execution via an OBJ server.
- Two chapters from Theorem Proving and Algebra, by Joseph Goguen, to
be published by MIT Press, someday. This book provides introductions to
general algebra and its applications in computer science, especially term
rewriting and theorem proving. Chapter 1, Introduction and Chapter 8 is First Order Logic, plus the References and the Table of
Contents, are available. Chapter 8 gives an elegant algebraic exposition
of first order logic, proof planning and induction; the approach to induction
is unusually general, and there are many examples.
Not So New
If you have not found what you are looking for, try the Selected Publications and Other
Papers pages; if you still cannot find it, please contact my secretary
UCSD CSE Dept (+1 (858) 822-2337). See also the lists of books, and the complete list of all publications in my
resume (which is also available in pdf, although this is likely to be updated less
- Slides for lecture Towards the Automation of
Behavioral Reasoning, given by Joseph Goguen at a meeting of IFIP WG 1.3 (Foundations of System
Specification), at Stanford University on 30 June 2000; based on joint work
with Kai Lin and Grigore Rosu, the slides summarize
recent work on hidden algebra, especially the paper Circular Coinductive Rewriting by Joseph Goguen, Kai Lin, and Grigore Rosu.
- An Implementation-Oriented Semantics for Module
Composition, by Joseph Goguen and Will Tracz, in Foundations of
Component-based Systems, edited by Gary Leavens and Murali Sitaraman,
Cambridge, April 2000, pages 231-263. The full
version of 7 March 1997, revised 15 October 1998 is also available, but
some bugs still need fixing in this version. Considers horizontal and
vertical module composition, with laws relating them, using a purely set
theoretic version of institutions, in a way that applies to any imperative
programming, specification language pair.
Equational Craig Interpolation, by Grigore Rosu and Joseph Goguen, Journal
of Universal Computer Science, Volume 6, No. 1, pages 194-200. February
2000 (special issue in honor of Prof. Rudeanu, edited by Christian Calude).
- An Overview of the Tatami Project, by
Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori and Bogdan
Warinschi, in Cafe: An Industrial-Strength Algebraic Formal Method,
edited by Kokichi Futatsugi, Tetsuo Tamai and Ataru Nakagawa, Elsevier, 2000,
pages 61-78. This is a high level snapshop of the UCSD Tatami project as of late 1999. See also the brief report by Prof. Rod Burstall, the brief summary of results as of Sept.
2001, and the one page progress summary for our NSF grant up to October
1999, Hidden Algebra and Concurrent
Distributed Software, which appeared in Software Engineering Notes.
- Social and Semiotic Analyses for Theorem Prover
User Interface Design, by Joseph Goguen, in Formal Aspects of
Computing, volume 11, pages 272-301, 1999. A systematic justification of
the style guidelines for the proof websites generated by (an older version of)
the Kumo system, using techniques from
algebraic semiotics, narratology, cognitive science, etc.
- Software Engineering with OBJ: algebraic specification in action,
edited by Joseph Goguen and Grant
Malcolm, Kluwer, April 2000; ISBN 0-7923-7757-5. A book on OBJ3 and its
applications. The paper Introducing OBJ,
which is essentially a user manual for OBJ3, was revised and extended in
August 1999. The Introduction with a
table of contents, and the paper More Higher Order
Programming with OBJ3, are also available.
- Behavioral and Coinductive Rewriting,
by Joseph Goguen, Kai Lin, and Grigore Rosu. Keynote lecture, in
Proceedings, Rewriting Logic Workshop, 2000 (Kanazawa, Japan), edited
by Kokichi Futatsugi, Japan Advanced Institute of Science and Technology,
September 2000, pages 1-22. A rather informal summary of results up to
mid-2000, including simulating behavioral rewriting with standard rewriting,
and circular coinductive rewriting, which is a surprisingly effective
algorithm for proving behavioral equalities.
- Circular Coinductive Rewriting by
Joseph Goguen, Kai Lin, and Grigore Rosu, in Proceedings, Automated
Software Engineering '00 (Grenoble France), September 2000, IEEE Press,
pages 123-131. Using many examples, this paper introduces the BOBJ system for behavioral specification and
computation, and its surprisingly powerful circular coinductive rewriting
algorithm for proving behavioral equalitites, which combines behavioral
rewriting with circular coinduction. A gzipped
postscript version is also available.
- Semiotic Morphisms, by Joseph
Goguen. An informal webpaper introducing some basic ideas from algebraic
semiotics; for the formal details, see An
Introduction to Algebraic Semiotics, with Applications to User Interface
Design, for some recent updates, see the webpaper Formal Notation for Conceptual Blending, and
for much additional information, see the course on user interface design, CSE 271.
- Brief Summary of Some Research
Interests, a selective high level lecture on October 2001, including
summaries of projects in Software Engineering, Lite
Formal Methods, and Data Integration, with
links to webpages on Sociology of Information
Technology and Science and User Interface
- What is a Proof? by Joseph
Goguen. Informal essay written for user interface design course, CSE 271; original from April 1997, with most recent edits
from July 2001.
- Slides for lecture On the Role of Algebra
in Computer Science given by Joseph Goguen at the Deptartment of
Mathematics, Technical University of Lisbon, 13 July 2000, and the University
of Illinois, 16 April 2001. Also available in gzipped postscript.
- The Ethics of Databases, by
Joseph Goguen, paper based on an invited panel presentation at the 1999 Annual Meeting, 29
October 1999, of the
Society for Social Studies of Science; a separate abstract is also available. Lecture also given 6
December 1999 at the Annenberg Center of the University of Southern
California, in the Confronting
Convergence Seminar series, and to appear in a book of the same title.
This is a naturalistic study of the values embedded in web search engines.
- OBJ/CafeOBJ/Maude at Formal Methods '99, book edited by Kokichi
Futatsugi, Joseph Goguen and Jose Meseguer, Theta (Bucharest), September 1999.
- Hiding More of Hidden Algebra, by
Joseph Goguen and Grigore Rosu,
in FM`99 - Formal Methods, Proceedings of World Congress on Formal
Methods (Toulouse, France, August 1999), Springer Lecture Notes in Computer
Science, Volume 1709, pages 1704-1719. Results relating information hiding to
hidden algebra, compelling examples of behavioral operations with multiple
hidden arguments, and an improved institution for hidden algebra.
- A Protocol for Distributed Cooperative
Work, by Joseph Goguen and Grigore Rosu, in Proceedings, Workshop
on Distributed Systems (Iasi, Romania), September 1999, and in Springer
Electronic Notes in Computer Science, Volume 28, 1999, pages 1-22.
Uses hidden algebra to prove correctness of a novel internet protocol to
support asynchronous distributed cooperative work, especially theorem proving.
- An Introduction to Algebraic Semiotics, with
Applications to User Interface Design, by Joseph Goguen, in
Computation for Metaphor, Analogy and Agents, edited by Chrystopher
Nehaniv, Springer Lecture Notes in Artificial Intelligence, volume 1562,
1999, pages 242-291. This is the original paper on the mathematical
foundations of algebraic semiotics, with 3/2-categories and 3/2-colimits,
which provide a foundation for blending with any optimality principle given
as a partial ordering on morphisms; the paper also has many examples,
especially from user interface design. A preliminary version appeared in
Proceedings, Conf. on Computation for Metaphor, Analogy and Agents
(Aizu-Wakamatsu, Japan, 6-10 April 1998) pages 54-79. For some recent
updates, see the webpaper Formal Notation
for Conceptual Blending. An earlier version is Semiotic
Morphisms, Technical Report CS97-553, August 1997, and a now obsolete
extended abstract appeared in Proceedings, Conference on Intelligent
Systems: A Semiotic Perspective, Volume II (National Institute of Standards
and Technology, Gaithersberg MD, 20-23 Oct 1996) pages 26-31.
- Hidden Congruent Deduction, by Grigore Rosu and Joseph Goguen, in
Automated Deduction in Classical and Non-Classical Logics, edited by
Ricardo Caferra and Gernot Salzer, Lecture Notes in Artificial Intelligence,
Volume 1761, pages 252-267, 2000. Preliminary version in Proceedings,
First-Order Theorem Proving - FTP'98, edited by Ricardo Caferra and Gernot
Salzer, Technische Universitat Wien, pages 213-223, 1998 (proceedings of a
workshop held at Schloss Wilhelminenberg, Vienna, November 23-25, 1998; the complete proceedings are available on
the web, and by ftp). This paper
extended all the main notions and results of hidden algebra to operations that
may have more than one hidden argument, introduced the notion of cobasis, gave
criteria for operations to be congruent, and introduced more powerful rules of
- Tossing Algebraic Flowers down the Great
Divide, by Joseph Goguen, in People and Ideas in Theoretical
Computer Science, edited by Cristopher Calude (Springer 1998), pages
93-129. A sort of intellectual autobiography, written by invitation for the
25th anniversary celebration of the European Association for Computer Science,
for a book of such essays.
- Requirements Engineering and User Interface
Design slides by Joseph Goguen, for lecture at Requirements
Engineering Workshop, Buenes Aires, Argentina, August 1999. Also
available in gzipped postscript.
- A Hidden Agenda, by Joseph Goguen and Grant Malcolm, Theoretical
Computer Science, vol 245, no 1, pages 55-101, August 2000, special issue
on Algebraic Engineering, edited by Chrystopher Nehaniv and Masami Ito. This
is an early basic paper on hidden algebra, treating coinduction,
nondeterminism, concurrency and more. A compressed
postscript version is also available. An earlier version is UCSD Technical Report CS97-538, April 1997, and an
obsolete abstract is in Proceedings of Workshop on New Mathematics
for Computer Science, in Conference on Intelligent Systems: A Semiotic
Perspective (National Institute of Standards and Technology, Gaithersberg MD,
20-23 Oct 1996) pages 159-167.
- Hidden Algebra for Software
Engineering, in Combinatorics, Computation and Logic,
Proceedings, Conference on Discrete Mathematics and Theoretical Computer
Science, (University of Auckland, New Zealand, 18-21 January 1999), edited by
Cristian Calude and
Michael Dinneen, Australian Computer Science Communications, Volume 21,
Number 3, Springer, pages 35-59, 1999 (keynote lecture). A compressed postscript version is also available. A
gentle introduction to hidden algebra, with simple examples, much motivation,
and some history.
- Hidden Coinduction, by Joseph Goguen
and Grant Malcolm, in
Mathematical Structures in Computer Science 9, number 3, pages 287-319,
June 1999. A compressed postscript version is
- Slides for the lecture Poetry, Mechanism and
Consciousness, by Joseph Goguen, presented at the conference Towards a Science of
Consciousness (Tucson AZ, 29 April 1998); see also abstract 46 in Consciousness Research
Academic, April 1998).
- Signs and Representations: Semiotics for
User Interface Design, by Grant Malcolm and Joseph Goguen, in
Visual Representations and Interpretations, edited by Ray Paton and
Irene Nielson, Springer, 1999 (proceedings of a workshop held in Liverpool,
UK), pages 163-172. An informal introduction to algebraic semiotics with
examples, including aspects of operating systems interfaces.
- Stretching First Order Equational Logic:
Proofs with Partiality, Subtypes and Retracts. Watch retracts at
work and at play! Watch these happy little cuties frolic as they prove
results about partial functions! Submitted for publication; last modified 2
June 1998. An obsolete version appears in, Proceedings, International
Workshop on First Order Theorem proving (Schloss Hagenbert, Austria, 27-28
October 1997), edited by Maria Paola Bonacina and Ulrich Furbach, RISC-Linz
Report 97-70, pages 78-85, 1997; the complete proceedings are available on the
- Towards a Social, Ethical Theory of
Information, in Social Science Research, Technical Systems and
Cooperative Work, edited by Geoffrey Bowker, Les Gasser, Leigh Star and
William Turner (Erlbaum, 1997) pages 27-56. A pdf
version is also available. Presents a theory of information based on
social interaction, especially ethnomethodology, and shows how values arise
naturally in such a theory.
- Algebraic Semantics of Imperative
Programs, by Joseph Goguen and Grant Malcolm (MIT Press, 1996). ISBN
0-262-07172-X. Covers most features of imperative language using algebraic
semantics, with many exercises that can be done using OBJ; also contains easy
introductions to universal algebra and OBJ. [The paper An Executable Course in the Algebraic Semantics of
Imperative Programs discusses some pedagogical innovations of this
- Parameterized Programming and Software
Architecture, in Proceedings, Fourth International Conference
on Software Reuse, IEEE Computer Society, April 1996, pages 2-11 (keynote).
- A Very Brief History of Truth. Written in
1996 as an exercise in
html, this is a tongue in cheek build up
to semi-automated theorem proving systems, such as our own Kumo.
- Towards an Algebraic Semantics for the Object
Paradigm, by Joseph Goguen and Rãzvan Diaconescu, in Recent
Trends in Data Type Specification, Proceedings of the 9th Workshop on
Abstract Data Types (Caldes de Malevella, Spain, 28 October 1992), edited by
Hartmut Ehrig and Fernando Orejas, Springer, Lecture Notes in Computer
Science, Volume 785, 1994, pages 1-29. Although this is an early paper on
hidden algebra, it includes an approach to inheritance, and details of the
categorical concurrent connection construction.
- Logical Support for Modularisation,
with Rãzvan Diaconescu and
Petros Stefaneas. In Logical Environments, edited by Gerard Huet and
Gordon Plotkin (Proceedings of a Workshop held in Edinburgh, May 1991),
Cambridge, 1993, pages 83-130. Studies properties of logical that support
the definition, combination, parameterisation and reuse of modules. Results
give connections among preservation of conservative extension under pushouts,
distributive laws for information hiding over sums, and Craig interpolation.
Maintained by Joseph Goguen
Last modified: Mon May 29 13:26:41 PDT 2006