Carl Hewitt http://carlhewitt.blog.com Sun, 03 May 2009 20:34:14 +0000 http://wordpress.org/?v=2.7 en hourly 1 Criticism of Wikipedia (http://wikicensored.info) http://carlhewitt.blog.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/ http://carlhewitt.blog.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/#comments Sun, 03 May 2009 20:34:14 +0000 Carl Please see Corruption of Wikipedia (http://wikicensored.info)
]]> http://carlhewitt.blog.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/feed/ Wikipedia ban for disruptive professor response at http://wikicensored.info http://carlhewitt.blog.com/2009/04/10/wikipedia-ban-for-disruptive-professor-response-at-httpwikicensoredinfo/ http://carlhewitt.blog.com/2009/04/10/wikipedia-ban-for-disruptive-professor-response-at-httpwikicensoredinfo/#comments Fri, 10 Apr 2009 00:40:44 +0000 Carl Professor Carl Hewitt has written a response to “Wikipedia ban for disruptive professor” at Corruption of Wikipedia. Key words: Carl Hewitt, Jenny Kleeman, Robert Kowalski, The Observer, Wikipedia
]]> http://carlhewitt.blog.com/2009/04/10/wikipedia-ban-for-disruptive-professor-response-at-httpwikicensoredinfo/feed/ Carl Hewitt http://carlhewitt.blog.com/2008/09/01/carl-hewitt/ http://carlhewitt.blog.com/2008/09/01/carl-hewitt/#comments Mon, 01 Sep 2008 21:05:11 +0000 Carl Article on Carl Hewitt

Please see article on Carl Hewitt ]]>

Article on Carl Hewitt

Please see article on Carl Hewitt

]]> http://carlhewitt.blog.com/2008/09/01/carl-hewitt/feed/ ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking http://carlhewitt.blog.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/ http://carlhewitt.blog.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/#comments Sun, 02 Mar 2008 21:48:36 +0000 Carl Organizations of Restricted Generality (ORGs) raise important issues for commitment, norms, strong paraconsistency and model checking that require extensions and revisions of previous foundational work.

For example, extension and revision is required of the fundamental assumption of the Event Calculus: Time-varying properties hold at particular time-points if they have been initiated by an action at some earlier time-point, and not terminated by another action in the meantime. The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Consequently the Event Calculus approach must evolve into a strongly paraconsistent system structured around participations in space-time.

Similarly extension and revision is required for Model Checking properties of systems. Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points. These nondeterministic automata are not suitable for organizations, which are highly structured and operate asynchronously with only loosely bounded nondeterminism. Consequently Model Checking needs to evolve in the direction of verifying participatory behavior in Organizations.

PDF copy of the paper can be downloaded at: ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking ]]> Organizations of Restricted Generality (ORGs) raise important issues for commitment, norms, strong paraconsistency and model checking that require extensions and revisions of previous foundational work.

For example, extension and revision is required of the fundamental assumption of the Event Calculus: Time-varying properties hold at particular time-points if they have been initiated by an action at some earlier time-point, and not terminated by another action in the meantime. The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Consequently the Event Calculus approach must evolve into a strongly paraconsistent system structured around participations in space-time.

Similarly extension and revision is required for Model Checking properties of systems. Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points. These nondeterministic automata are not suitable for organizations, which are highly structured and operate asynchronously with only loosely bounded nondeterminism. Consequently Model Checking needs to evolve in the direction of verifying participatory behavior in Organizations.

PDF copy of the paper can be downloaded at: ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking

]]> http://carlhewitt.blog.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/feed/ History of Logic Programming http://carlhewitt.blog.com/2008/02/10/history-of-logic-programming/ http://carlhewitt.blog.com/2008/02/10/history-of-logic-programming/#comments Sun, 10 Feb 2008 22:37:24 +0000 Carl Carl Hewitt's Censorship and Harassment by the Wikipedia). The term "Logic Programming" was popularized by Robert Kowalski beginning in the 1970's. However, he never provided an adequate definition. I proposed that Logic Programming be characterized as "the logical deduction of computational steps". Using this characterization, my colleagues and I were able to prove that Logic Programming is not computationally universal. In other words, there are some concurrent computations that cannot be implemented using Logic Programming.

Logic Programming was used as the foundation of the Japanese Fifth Generation Computing Project (ICOT) and was a principle cause of the failure of the project.

A historical account of the above events can be found in the article History of Logic Programming that was censored from the Wikipedia at the instigation of Kowalski. ]]> The history of Logic Programming has been a controversial topic (see Carl Hewitt’s Censorship and Harassment by the Wikipedia). The term “Logic Programming” was popularized by Robert Kowalski beginning in the 1970’s. However, he never provided an adequate definition. I proposed that Logic Programming be characterized as “the logical deduction of computational steps“. Using this characterization, my colleagues and I were able to prove that Logic Programming is not computationally universal. In other words, there are some concurrent computations that cannot be implemented using Logic Programming.

Logic Programming was used as the foundation of the Japanese Fifth Generation Computing Project (ICOT) and was a principle cause of the failure of the project.

A historical account of the above events can be found in the article History of Logic Programming that was censored from the Wikipedia at the instigation of Kowalski.

]]> http://carlhewitt.blog.com/2008/02/10/history-of-logic-programming/feed/ Carl Hewitt Articles and Sites http://carlhewitt.blog.com/2008/01/04/carl-hewitt-articles-and-sites/ http://carlhewitt.blog.com/2008/01/04/carl-hewitt-articles-and-sites/#comments Fri, 04 Jan 2008 02:09:18 +0000 Carl Sites
]]> Articles

Sites

]]> http://carlhewitt.blog.com/2008/01/04/carl-hewitt-articles-and-sites/feed/