Talk:Common Logic

This is the talk page for discussing improvements to the Common Logic article.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Computing

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
???	This article has not yet received a rating on the project's importance scale.

Software: Computing

	This article is within the scope of WikiProject Software, a collaborative effort to improve the coverage of software on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.SoftwareWikipedia:WikiProject SoftwareTemplate:WikiProject Softwaresoftware
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by WikiProject Computing.

Computer science

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science

???

This article has not yet received a rating on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Tip: Anchors are case-sensitive in most browsers.

This article links to one or more target anchors that no longer exist.

[[List of constructed languages#Knowledge representation|Knowledge representation languages]] The anchor (#Knowledge representation) has been deleted by other users before.

Please help fix the broken anchors. You can remove this template after fixing the problems. | Reporting errors

Que?

Programs sending each-other programs, what is it intended to do? Provide a slow interpreting distributed operating system? Said: Rursus ☻ 14:35, 15 August 2008 (UTC)[reply]

Rursus, what are you talking about? —Preceding unsigned comment added by 195.14.205.190 (talk) 20:48, 7 May 2011 (UTC)[reply]

Updates for providing citations

I have added a number of links that can serve as citations about Common Logic. These can be the citations for existing uncited claims in the article, sources of new claims or both.

Re: "Many other logic-based languages could also be defined as subsets of CL by means of similar translations; among them are the RDF and OWL languages, which have been defined by the W3C." This is approaching original research unless the work by Menzel and Hayes on converting RDF and OWL to Common Logic can be cited - I haven't located that reference yet. — Preceding unsigned comment added by Greentaratoo (talk • contribs) 14:38, 2 January 2015 (UTC)[reply]

Different Sections for First Edition and (Draft) Second Edition

With the second edition getting ready for its second submission, the article should clearly separate sections pertaining to the two editions. — Preceding unsigned comment added by Greentaratoo (talk • contribs) 15:52, 2 January 2015 (UTC)[reply]

Lead

I think the lead should focus on the common (no pun intended) aspects of CL that apply to both editions.

Re "Common logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems." While essentially true for both editions, some clarity is needed here regarding how CL's expressivity is beyond first order due to sequence markers. "Based" is a weasel word.
Re "The CL definition permits and encourages the development of a variety of different syntactic forms, called "dialects." Substantially true for both editions, but the second edition may limit CL dialects to those published in the standard, while the first edition explicitly encouraged other parties to create concrete syntaxes and call them Common Logic dialects (after providing verification of conformance.) The remainder of this paragraph is going into detail about conformance conditions for dialects - this belongs in an article section, not in the lead.
Re "In general, a less expressive subset of CL may be translated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language." This statement holds for monotonic logics in general, and is not specific to CL. It would be more helpful to provide a laundry list of CL characteristics, e.g. monotonic, unsorted, signature-free, ... — Preceding unsigned comment added by Greentaratoo (talk • contribs) 15:56, 2 January 2015 (UTC)[reply]

Requested move 21 March 2015

The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review. No further edits should be made to this section.

The result of the move request was: moved. ErikHaugen (talk | contribs) 16:30, 30 March 2015 (UTC)[reply]

Common logic → Common Logic – "Common Logic" is a name, not a generic term, and is used as a proper noun in authoritative sources see, for example, http://cl.tamu.edu/ Impsswoon (talk) 14:47, 21 March 2015 (UTC)[reply]

Support proper noun. —Ruud 13:35, 23 March 2015 (UTC)[reply]
Support - I agree with the editors reasoning for the move. Reliable sources say "Common Logic" as opposed to "Common logic". Mbcap (talk) 04:06, 28 March 2015 (UTC)[reply]

The above discussion is preserved as an archive of a requested move. Please do not modify it. Subsequent comments should be made in a new section on this talk page or in a move review. No further edits should be made to this section.