headers
Gary Richmond | 2 Jan 2007 18:37
Favicon

OA activity at the end of 2006 (from Peter Suber's Newsletter)

Some here might be interested in Peter Suber's summary of OA activity 
last month. The entire issue can be read online at 
http://www.earlham.edu/~peters/fos/newsletter/01-02-07.htm
Contact information is given at the end of this email.
Happy New Year!
Gary

** Bharathidasan University launched an institutional repository and 
adopted an OA mandate for peer-reviewed journal articles by its faculty.
http://www.earlham.edu/~peters/fos/2006_12_10_fosblogarchive.html#116593702501530511 

** The Brunel University School of Information Systems Computing and 
Mathematics adopted an OA mandate for faculty and graduate students.
http://www.earlham.edu/~peters/fos/2006_12_03_fosblogarchive.html#116528604672017120 

** The Australian Research Council (ARC) published the Funding Rules for 
its 2008 grants.  Rule 1.4.5.3 asks grantees to deposit their ARC-funded 
work in an OA repository or explain why not.
http://www.earlham.edu/~peters/fos/2006_12_03_fosblogarchive.html#116526965445838544 

** Australia's National Health and Medical Research Council (NHMRC) 
released its Project Grants Funding Policy for 2008 grants.  The new 
policy is to encourage OA for NHMRC-funded research.  NHMRC's Miranda 
Crean says that it will soon (like the ARC) ask non-complying grantees 
to justify their non-compliance.
http://www.earlham.edu/~peters/fos/2006_12_03_fosblogarchive.html#116568187282667374 

** Australia's Department of Education, Science and Training allocated 
$25.5 million to build OA repositories at Australian universities as 
part of the country's new Research Quality Framework (RQF).
(Continue reading)

Permalink | Reply | 0 comments |
headers
John F. Sowa | 3 Jan 2007 13:52

ZGRViewer, a GraphViz/DOT Viewer

I just came across the web site for an open-source graph
viewing system implemented in Java:

    http://www.graphviz.org/

See below for some info from that site.   I have not used
the system, but it has some attractive features.  Among
them is a linear language called DOT, which can be used
to specify a graph:

    http://www.graphviz.org/pub/scm/graphviz2/doc/info/lang.html

That suggests the possibility of writing a translator
from CGIF to DOT in order to generate an SVG image
of a conceptual graph.  GraphViz also allows the image
forms to be edited and manipulated visually.

If anybody has used or has any thoughts about using
these tools, please send a note to CG list.

And by the way, Happy New Year!

John Sowa

_______________________________________________________________

Graph Visualization

Graphviz is open source graph visualization software. It has several 
main graph layout programs. See the gallery for some sample layouts. It
(Continue reading)

Permalink | Reply | 0 comments |
headers
Randy | 3 Jan 2007 16:05
Favicon

Restricting Relations to a Specific Set

I am working on a project that uses conceptual graphs as a specification
language for software product lines.  In my approach, a domain engineer
would build a domain model of the software product line using conceptual
graphs.  This domain model would describe the available feature set of the
product line and feature constraints.  The constraints prevent the
specifcation of invalid products.   An application engineer would then write
the specification of a specific product in the product line by creating
graphs using only the types and relations of the domain model in a manner
that does not violate either the syntactic constraints or the global
constraints in the domain model.

My problem is trying to restrict the grammar of the domain model in order
that only valid specifications can be written.  In particular, I need a way
of stating that a concept of type t must have all of the relations defined
in a type definition - and no other relations.  I can obviously exclude
specific relations 
       not([A]-(chr)->[B]) ,
but this requires the generation of potentially lengthy lists of relations
that are not valid.  I can exclude ALL relations with the very concise
statement
            not([A]-(link)->[T]),
but unfortunately this statement also eliminates the relations that are
required.

What I really want to say is that any relationship other than
            ([A]-(attr)->[COLOR]) or ([A]-(part)->[B]),
is not allowed.

Does anyone in the group know of a concise way of making such a statement?
(Continue reading)

Permalink | Reply | 2 comments |
headers
Philip N | 4 Jan 2007 02:21
Picon
Favicon

Re: Restricting Relations to a Specific Set

Hi Randy,

I am not sure that the following would help. But I
wonder whether the following CG could adequately
define the validity of a new concept type T. 

If I use the “Or” relation combined with the following
CG syntax for the “If...Then...Else..." statement:

[ If: [Proposition1]  [Then: [Proposition2]]  [Else:
[Proposition3]] ] 

then, I think, I can write:

[If: 	(Or)
  <-1- [Proposition: [T: *x]-(Chrc)->[Color]]
  <-2- [Proposition: [?x]-(Part)->[B]-(Attr)->[Valid]]
  <-3- [Proposition: [?x]<-(Part)-[C]-(Attr)->[Valid]]

 [Then: [Proposition: [?x] – (Attr) -> [Valid]]] 

 [Else: not[Proposition: [?x] – (Attr) -> [Valid]]]] 

meaning: 
“If a concept type T has color, or contains another
valid type B, or is part of another valid type C, then
type T is valid, otherwise type T is not valid”.

If the above CG is correct, then the use of any
relation, other than “color attribute” or “part”,
(Continue reading)

Permalink | Reply | 1 comment |
headers
John F. Sowa | 4 Jan 2007 03:26

Peirce's contributions to Baldwin's dictionary

In 1901, the three-volume _Dictionary of Philosophy and
Psychology_ was published by the MacMillan Company under
the editorship of James Mark Baldwin.

Peirce contributed about 200 definitions on logic and
related topics, many of which he coauthored with his
former student, Christine Ladd-Franklin.

Christopher Green at York University, Toronto, has put
the Baldwin dictionary (up to the letter O) on his web
site:

    http://psychclassics.yorku.ca/Baldwin/Dictionary/
    Classics in the History of Psychology -- Baldwin (1901) Index

In order to study Peirce's contributions more conveniently,
I extracted them and assembled them in a separate file:

    http://www.jfsowa.com/peirce/baldwin.htm
    Peirce’s Contributions to Baldwin's Dictionary

Many of the entries are short articles that summarize Peircean
themes in a convenient form.  The full dictionary is also
interesting in its own right, especially for historical studies.

The web site also contains a large collection of books and
papers on the history of psychology, including many that lie
on the borderline with philosophy.

John Sowa
(Continue reading)

Permalink | Reply | 0 comments |
headers
Mark Pierre Richards | 4 Jan 2007 17:32
Picon
Favicon

Re: Restricting Relations to a Specific Set


I don't understand. Isn't this a feature of whatever inference engine/theorem prover is used ?

By putting together a set of CG's on a blank piece of paper, as it were, one is asserting those propositions,
and any propositions that can be derived from them, and denying any proposition whose negation can be derived.

Why switch to a meta-level, unless maybe one is writing the rules of inference themselves?

Mark

----- Original Message ----- 
From: "Philip N" <cyberquest2004@...>
To: <cg@...>
Sent: Wednesday, January 03, 2007 20:21
Subject: Re: CG: Restricting Relations to a Specific Set

Hi Randy,

I am not sure that the following would help. But I
wonder whether the following CG could adequately
define the validity of a new concept type T. 

If I use the "Or" relation combined with the following
CG syntax for the "If...Then...Else..." statement:

[ If: [Proposition1]  [Then: [Proposition2]]  [Else:
[Proposition3]] ] 

then, I think, I can write:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Polovina, Simon | 10 Jan 2007 12:30
Picon

www.iccs.info) in Sheffield, UK

Happy New Year to you all!

Below fyi is the CFP for the 10th International Organisational Semiotics conference (ICOS) that will be
co-locating with ICCS 2007 (www.iccs.info) in Sheffield, UK. We will be sharing certain keynotes and
social events, and bring together two related communities to the benefit of us all.

Cheers,

Simon

Dr. Simon Polovina 
General Chair, www.iccs2007.info: "Knowledge Architectures for Smart Applications" 
Sheffield Hallam University, UK S1 1WB 
Room: 2311 Harmer, City Campus, Sheffield; Tel: +44 (0)114 225 4661; Web: www.polovina.me.uk
--
ICOS 2007 (http://www.orgsem.org/2007.htm) is the tenth in a series of international events devoted to
the latest research in Organisational Semiotics. This year it is being held at Sheffield Hallam
University, which is situated in the county of Yorkshire in the north of England. The main theme on this
occasion is: Complexity in Organisational and Technological Systems.

Participants should plan to arrive at the conference on Monday, 23 July 2007. The technical and social
programme will occupy the whole of Tuesday-Thursday 24-26 July, including the conference excursion to
and banquet at Chatsworth House on the Wednesday afternoon and evening.

On this occasion the International Conference on Organisational Semiotics is being held at the same time
and place as the 15th International Conference on Conceptual Structures, ICCS 2007, and it is planned
that some keynote lectures will be shared by both conferencesThe conference in 2007 will continue the
efforts of the international research community in the development of the emergent discipline of
Organisational Semiotics (OS). It will focus not only on advancing the theory of OS but also on sharing the
practical benefits gained so far through applications of methods and techniques derived from various OS
(Continue reading)

Permalink | Reply | 1 comment |
headers
Heather D. Pfeiffer | 10 Jan 2007 17:35

www.iccs.info) in Sheffield, UK


Simon,

  Thanks for working this out!  This is great and will allow other
  people to be around for more diverse discussions.

  Thanks again.

-Heather

Polovina, Simon writes:
 > Happy New Year to you all!
 > 
 > Below fyi is the CFP for the 10th International Organisational Semiotics conference (ICOS) that will be
co-locating with ICCS 2007 (www.iccs.info) in Sheffield, UK. We will be sharing certain keynotes and
social events, and bring together two related communities to the benefit of us all.
 > 
 > Cheers,
 > 
 > Simon
 > 

To post a message, send mail to majordomo@... with
the command 'subscribe cg' in the message body
To unsubscribe, send mail to majordomo@... with the
command 'unsubscribe cg' in the message body.
See http://news.gmane.org/gmane.comp.ai.conceptualgraphs for the mailing list archive.
See http://conceptualgraphs.org for the Conceptual Graph Home Page.
(Continue reading)

Permalink | Reply | 0 comments |
headers
John F. Sowa | 12 Jan 2007 14:40

The R Project for Statistical Computing

There's an interesting system for statistical computing,
which can also create graphics for displaying the results
in a variety of ways.

I have not yet used it myself, but it seems to be a versatile
and easy-to-use tool for projects that require statistics and
the ability to generate graphics for visualizing the results.

Following is an intro to R and the URL for obtaining it.

John Sowa
_________________________________________________________

Web site: http://www.r-project.org/

Introduction to R

R is a language and environment for statistical computing and graphics. 
It is a GNU project which is similar to the S language and environment 
which was developed at Bell Laboratories (formerly AT&T, now Lucent 
Technologies) by John Chambers and colleagues. R can be considered as a 
different implementation of S. There are some important differences, but 
much code written for S runs unaltered under R.

R provides a wide variety of statistical (linear and nonlinear modeling, 
classical statistical tests, time-series analysis, classification, 
clustering, ...) and graphical techniques, and is highly extensible. The 
S language is often the vehicle of choice for research in statistical 
methodology, and R provides an Open Source route to participation in 
that activity.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Graham R. Shutt | 13 Jan 2007 10:19

Formal Philosophy


In 2005 Vincent F. Hendricks and John Symons published an insightful 
collection of written interviews with scholars who make use of formal 
methods in their work.

A second volume, titled Masses of Formal Philosophy, was published late in 
2006. It includes an interview with John F. Sowa, which will be of 
interest to subscribers of the conceptual graphs list, as will the other 
interviews.

Contributors to Formal Philosophy (2005) include:

Johan van Benthem, Brian F. Chellas, Anne Fagot-Largeault, Melvin Fitting, 
Dagfinn Follesdal, Haim Gaifman, Clark Noren Glymour, Adolf Gruenbaum, 
Susan Haack, Sven Ove Hansson, Jaako Hintikka, H. Jerome Keisler, Isaac 
Levi, Ruth Barcan Marcus, Rohit Parikh, Jeff Paris, Gabriel Sandu, Krister 
Segerberg, Wolfgang Spohn, Patrick Suppes, and Timothy Williamson.

Contributors to Masses of Formal Philosophy (2006) include:

Ken Binmore, Alexandre Costa-Leite, Branden Fitelson, Donald Gillies, Paul 
Gochet, Valentin Goranko, Alan Hajek, Jeffrey Helzner, Dale Jacquette, 
Mark Jago, Edwin Mares, Greg Restall, John F. Sowa, Alasdair Urquhart, 
Heinrich Wansing, Dag Westerstahl, Jan Wolenski, and John Woods.

Excerpts from these interviews can be read at:

www.formalphilosophy.com/

Graham
(Continue reading)

Permalink | Reply | 0 comments |

Gmane