Knowledge Adaptation and Reasoning for Content

The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

Recent blog and wiki posts

These are the two most recent headlines; see our blog and wiki page for more details. Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

• [+] TEI Guidelines mention MathML, OpenMath, and OMDoc (Christoph in “KWARC was!”, 31 Jul)
  
  Someone in the humanities must be interested in OMDoc. I was really surprised to find a reference to OMDoc in the section “Formulæ and Mathematical Expressions” guidelines (a.k.a. specification) for TEI. TEI (Text Encoding Initiative) is the standard semantic markup language for humanities, social sciences and linguistics, much like DocBook for technical manuals. All that [...]
• [+] Descriptive science (Jon Awbrey in MathWeb - New pages [en], 25 Jun)
  

  Jon Awbrey: + article

  ---

  <font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
  
  A '''descriptive science''', also called a '''special science''', is a form of [[inquiry]], typically involving a community of inquiry and its accumulated body of provisional knowledge, that seeks to discover what is true about a recognized domain of [[phenomena]].
  
  ==Syllabus==
  
  ===Focal nodes===
  
  {{col-begin}}
  {{col-break}}
  * [[Inquiry Live]]
  {{col-break}}
  * [[Logic Live]]
  {{col-end}}
  
  ===Peer nodes===
  
  {{col-begin}}
  {{col-break}}
  * [http://mywikibiz.com/Descriptive_science Descriptive Science @ MyWikiBiz]
  * [http://mathweb.org/wiki/Descriptive_science Descriptive Science @ MathWeb Wiki]
  * [http://netknowledge.org/wiki/Descriptive_science Descriptive Science @ NetKnowledge]
  * [http://wiki.oercommons.org/mediawiki/index.php/Descriptive_science Descriptive Science @ OER Commons]
  {{col-break}}
  * [http://p2pfoundation.net/Descriptive_Science Descriptive Science @ P2P Foundation]
  * [http://semanticweb.org/wiki/Descriptive_science Descriptive Science @ SemanticWeb]
  * [http://ref.subwiki.org/wiki/Descriptive_science Descriptive Science @ Subject Wikis]
  * [http://beta.wikiversity.org/wiki/Descriptive_science Descriptive Science @ Wikiversity Beta]
  {{col-end}}
  
  ===Logical operators===
  
  {{col-begin}}
  {{col-break}}
  * [[Exclusive disjunction]]
  * [[Logical conjunction]]
  * [[Logical disjunction]]
  * [[Logical equality]]
  {{col-break}}
  * [[Logical implication]]
  * [[Logical NAND]]
  * [[Logical NNOR]]
  * [[Logical negation|Negation]]
  {{col-end}}
  
  ===Related topics===
  
  {{col-begin}}
  {{col-break}}
  * [[Ampheck]]
  * [[Boolean domain]]
  * [[Boolean function]]
  * [[Boolean-valued function]]
  * [[Differential logic]]
  {{col-break}}
  * [[Logical graph]]
  * [[Minimal negation operator]]
  * [[Multigrade operator]]
  * [[Parametric operator]]
  * [[Peirce's law]]
  {{col-break}}
  * [[Propositional calculus]]
  * [[Sole sufficient operator]]
  * [[Truth table]]
  * [[Universe of discourse]]
  * [[Zeroth order logic]]
  {{col-end}}
  
  ===Relational concepts===
  
  {{col-begin}}
  {{col-break}}
  * [[Continuous predicate]]
  * [[Hypostatic abstraction]]
  * [[Logic of relatives]]
  * [[Logical matrix]]
  {{col-break}}
  * [[Relation (mathematics)|Relation]]
  * [[Relation composition]]
  * [[Relation construction]]
  * [[Relation reduction]]
  {{col-break}}
  * [[Relation theory]]
  * [[Relative term]]
  * [[Sign relation]]
  * [[Triadic relation]]
  {{col-end}}
  
  ===Information, Inquiry===
  
  {{col-begin}}
  {{col-break}}
  * [[Inquiry]]
  * [[Dynamics of inquiry]]
  {{col-break}}
  * [[Semeiotic]]
  * [[Logic of information]]
  {{col-break}}
  * [[Descriptive science]]
  * [[Normative science]]
  {{col-break}}
  * [[Pragmatic maxim]]
  * [[Truth theory]]
  {{col-end}}
  
  ===Related articles===
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
  
  * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
  
  * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
  
  ==Document history==
  
  Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
  
  {{col-begin}}
  {{col-break}}
  * [http://mywikibiz.com/Descriptive_science Descriptive Science], [http://mywikibiz.com/ MyWikiBiz]
  * [http://mathweb.org/wiki/Descriptive_science Descriptive Science], [http://mathweb.org/wiki/ MathWeb Wiki]
  * [http://netknowledge.org/wiki/Descriptive_science Descriptive Science], [http://netknowledge.org/ NetKnowledge]
  * [http://wiki.oercommons.org/mediawiki/index.php/Descriptive_science Descriptive Science], [http://wiki.oercommons.org/ OER Commons]
  {{col-break}}
  * [http://p2pfoundation.net/Descriptive_Science Descriptive Science], [http://p2pfoundation.net/ P2P Foundation]
  * [http://semanticweb.org/wiki/Descriptive_science Descriptive Science], [http://semanticweb.org/ Semantic Web]
  * [http://beta.wikiversity.org/wiki/Descriptive_science Descriptive Science], [http://beta.wikiversity.org/ Wikiversity Beta]
  * [http://en.wikipedia.org/w/index.php?title=Descriptive_science&oldid=51990248 Descriptive Science], [http://en.wikipedia.org/ Wikipedia]
  {{col-end}}
  
  [[Category:Inquiry]]
  [[Category:Open Educational Resource]]
  [[Category:Peer Educational Resource]]
  [[Category:Descriptive Sciences]]
  [[Category:Philosophy]]
  [[Category:Philosophy of Science]]
  [[Category:Science]]