Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com Wed, 10 Jun 2009 14:20:29 +0000 http://wordpress.com/ en hourly 1 http://www.gravatar.com/blavatar/9c65fe4da7442e1880d49c281df7204f?s=96&d=http://s.wordpress.com/i/buttonw-com.png Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com Carl Hewitt’s homepage http://carlhewitt.wordpress.com/2009/06/10/carl-hewitts-homepage/ http://carlhewitt.wordpress.com/2009/06/10/carl-hewitts-homepage/#comments Wed, 10 Jun 2009 14:20:29 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/?p=46 ]]>

Please see Carl Hewitt’s homepage.

]]> http://carlhewitt.wordpress.com/2009/06/10/carl-hewitts-homepage/feed/ 0 carlhewitt Criticism of Wikipedia (http://wikicensored.info) http://carlhewitt.wordpress.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/ http://carlhewitt.wordpress.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/#comments Sun, 03 May 2009 19:47:46 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/?p=44 ]]>

Please see Corruption of Wikipedia

]]> http://carlhewitt.wordpress.com/2009/05/03/criticism-of-wikipedia-httpwikicensoredinfo/feed/ 0 carlhewitt Wikipedia ban for disruptive professor response at http://wikicensored.info http://carlhewitt.wordpress.com/2009/04/09/wikipedia-ban-for-disruptive-professor/ http://carlhewitt.wordpress.com/2009/04/09/wikipedia-ban-for-disruptive-professor/#comments Thu, 09 Apr 2009 23:28:13 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2009/04/09/wikipedia-ban-for-disruptive-professor/ ]]>

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.wordpress.com/2009/04/09/wikipedia-ban-for-disruptive-professor/feed/ 0 carlhewitt Carl Hewitt http://carlhewitt.wordpress.com/2008/09/01/carl-hewitt/ http://carlhewitt.wordpress.com/2008/09/01/carl-hewitt/#comments Mon, 01 Sep 2008 19:56:00 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/?p=27 ]]>

Please see Carl Hewitt article

Please see article at Carl Hewitt

]]> http://carlhewitt.wordpress.com/2008/09/01/carl-hewitt/feed/ 0 carlhewitt ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking http://carlhewitt.wordpress.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/ http://carlhewitt.wordpress.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/#comments Sun, 02 Mar 2008 20:19:13 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2008/03/02/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.wordpress.com/2008/03/02/orgs-organizations-of-restricted-generality-strong-paraconsistency-and-participatory-behavioral-model-checking/feed/ 0 carlhewitt Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency http://carlhewitt.wordpress.com/2008/01/19/large-scale-organizational-computing-requires-unstratified-reflection-and-strong-paraconsistency/ http://carlhewitt.wordpress.com/2008/01/19/large-scale-organizational-computing-requires-unstratified-reflection-and-strong-paraconsistency/#comments Sat, 19 Jan 2008 20:03:29 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2008/01/19/large-scale-organizational-computing-requires-unstratified-reflection-and-strong-paraconsistency/ ]]>
Organizational Computing is a computational model for using the principles, practices, and methods of human organizations. Organizations of Restricted Generality (ORGs) have been proposed as a foundation for Organizational Computing. ORGs are the natural extension of Web Services, which are rapidly becoming the overwhelming standard for distributed computing and application interoperability in Organizational Computing. The thesis of this paper is that large-scale Organizational Computing requires reflection and strong paraconsistency for organizational practices, policies, and norms.Strong paraconsistency is required because the practices, policies, and norms of large scale Organizational Computing are pervasively inconsistent. By the standard rules of logic, anything and everything can be inferred from an inconsistency, e.g., “The moon is made of green cheese.” The purpose of strongly paraconsistent logic is to develop principles of reasoning so that irrelevances cannot be inferred from the fact of inconsistency while preserving all natural inferences that do not explode in the face of inconsistency.Reflection is required in order that the practices, policies, and norms can mutually refer to each other and make inferences. Reflection and strong paraconsistency are important properties of Direct Logic [Hewitt 2007] for large software systems. Gödel first formalized and proved that it is not possible to decide all mathematical questions by inference in his 1st incompleteness theorem. But the incompleteness theorem (as generalized by Rosser) relies on the assumption of consistency! This paper proves a generalization of the Gödel/Rosser incompleteness theorem: strongly paraconsistent theories of Direct Logic are incomplete. However, there is a further consequence. Although the semi-classical mathematical fragment of Direct Logic is evidently consistent, since the Gödelian paradoxical proposition is self-provable, every strongly paraconsistent theory in Direct Logic has an inconsistency!

 External Links

Carl Hewitt

Logical Necessity of Inconsistency

References

  • Carl Hewitt (2006a) The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
  • Carl Hewitt (2006b) What is Commitment? Physical, Organizational, and Social COIN@AAMAS’06.
  • Carl Hewitt (2007a) What is Commitment? Physical, Organizational, and Social (Revised) Pablo Noriega .et. al. editors. LNAI 4386. Springer-Verlag. 2007.
  • Carl Hewitt (2007b) Large-scale Organizational Computing requires Unstratified Paraconsistency and Reflection COIN@AAMAS’07.
  • Carl Hewitt (2008a). The downfall of mental agents in the implementation of large software systems What went wrong? Special Issue on “What Went Wrong and Why” Dan Shapiro and Mehmet Göker (eds.) AAAI Magazine. Summer 2008 (to appear).
  • Carl Hewitt (2008b). ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking Discussed at MALLOW’07.
  • Carl Hewitt (2008c) Common sense for concurrency and strong paraconsistency using unstratified inference and reflection Discussed in seminars at Edinburgh LFCS 11th September 2007 and Stanford Logic Group 26 September 2007.
  • Carl Hewitt (2008d) Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency Coordination, Organizations, Institutions, and Norms in Agent Systems III. Jaime Sichman, Pablo Noriega, Julian Padget and Sascha Ossowski (ed.). Springer-Verlag
]]> http://carlhewitt.wordpress.com/2008/01/19/large-scale-organizational-computing-requires-unstratified-reflection-and-strong-paraconsistency/feed/ 0 carlhewitt Articles and Sites for Carl Hewitt http://carlhewitt.wordpress.com/2007/12/15/my-experience-at-the-wikipeida/ http://carlhewitt.wordpress.com/2007/12/15/my-experience-at-the-wikipeida/#comments Sat, 15 Dec 2007 21:57:17 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2007/12/15/my-experience-at-the-wikipeida/ ]]>

Articles

Sites

]]> http://carlhewitt.wordpress.com/2007/12/15/my-experience-at-the-wikipeida/feed/ 0 carlhewitt Academic Biography of Carl Hewitt http://carlhewitt.wordpress.com/2007/11/27/academic-biography/ http://carlhewitt.wordpress.com/2007/11/27/academic-biography/#comments Tue, 27 Nov 2007 23:25:40 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2007/11/27/academic-biography/ ]]>

Click Academic Biography of Carl Hewitt.

]]> http://carlhewitt.wordpress.com/2007/11/27/academic-biography/feed/ 0 carlhewitt Publications of Carl Hewitt http://carlhewitt.wordpress.com/2007/11/27/publications/ http://carlhewitt.wordpress.com/2007/11/27/publications/#comments Tue, 27 Nov 2007 23:22:18 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2007/11/27/publications/ ]]>

Click Publications of Carl Hewitt for further information..

]]> http://carlhewitt.wordpress.com/2007/11/27/publications/feed/ 0 carlhewitt Seminars of Carl Hewitt http://carlhewitt.wordpress.com/2007/11/27/seminars/ http://carlhewitt.wordpress.com/2007/11/27/seminars/#comments Tue, 27 Nov 2007 23:20:41 +0000 Carl Hewitt (http://carlhewitt.info) http://carlhewitt.wordpress.com/2007/11/27/seminars/ ]]>

Click Seminars of Carl Hewitt for further information..

]]> http://carlhewitt.wordpress.com/2007/11/27/seminars/feed/ 0 carlhewitt