Talk:Horn clause

From Wikipedia, the free encyclopedia

Philosophy Portal

This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.

???

This article has not yet received a rating on the quality scale.

???

This article has not yet received an importance rating on the importance scale.

Additional information:

Related task forces (core areas):
	Logic

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.

Not conjunctive, it should be disjunctive normal form.

Wrong. Its conjunctive. Horn form is a conjunction of clauses. A clause is a symbol or {conjunction of symbols} -> symbol. —Preceding unsigned comment added by 137.132.3.7 (talk) 15:15, 30 April 2008 (UTC)

[edit] Deletion

I deleted

"Recent research ("An Evaluation of the Effect of the Brain-Oriented Organized Knowledge Map (Bookmap) for Improving School Results", Twan Brouwers & Hans Morélis, 2003) has shown that diagrams based on Horn clauses improve the human understanding of complex matter."

because there seems to be no public domain reference for this otherwise interesting work.193.136.122.18 16:47, 19 March 2007 (UTC)

[edit] Math Formulas

This is yet another example of poorly documented symbols in mathematical formulas. It would be nice if articles would give a natural language translation of formulas or give a definition of symbols that are not listed in the Table of mathematical symbols page.

mattelfesso (talk) 03:39, 28 February 2008 (UTC)

All symbols in this article are listed in Table of mathematical symbols, apart from $\leftarrow$ which is clearly the $\rightarrow$ used in the other direction. Tizio 10:05, 28 February 2008 (UTC)

You're right! I take back my comment... mattelfesso (talk) 05:21, 15 May 2008 (UTC)