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.
-
[+] Shiny and productive to-do notes in LaTeX (Christoph in “KWARC was!”, 1 Jul)
I found the ultimate setup for to-do notes in LaTeX (of which my current thesis draft has a lot). Traditionally, I’ve been using Michael’s ednotes, but they didn’t look nice and they destroyed the page break by creating footnotes when enabled. Then, I switched to Henrik Skov Midtiby’s todonotes, which look great (thanks to TikZ), [...]
-
[+] Differential Logic (Jon Awbrey in MathWeb - Recent changes [en], 18 Jun)
cleanup
| ←Older revision |
Revision as of 18:14, 18 June 2009 |
| (One intermediate revision not shown.) |
| Line 1: |
Line 1: |
| | {{sample document}}<br> | | {{sample document}}<br> |
| | | | |
| - | '''Differential logic''' is the component of [[logic]] whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse that are subject to logical description. In [[formal logic]], differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a [[formal system]] with the expressive capacity to describe change and diversity in logical universes of discourse. | + | '''Differential logic''' is the component of logic whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse. |
| | | | |
| - | A simple example of a differential logical calculus is furnished by a '''differential propositional calculus'''. This augments ordinary [[propositional calculus]] in the same way that the [[differential calculus]] of [[Leibniz]] and [[Newton]] augments the [[analytic geometry]] of [[Descartes]]. | + | A simple example of a differential logical calculus is furnished by a ''differential propositional calculus''. This augments ordinary [[propositional calculus]] in the same way that the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes. |
| | | | |
| | ==Readings== | | ==Readings== |
| | + | |
| | + | *[[Mywikibiz:Directory:Jon Awbrey/Papers/Differential Logic : Introduction|Differential Logic : Introduction]] |
| | | | |
| | *[[Planetmath:DifferentialPropositionalCalculus|Differential Propositional Calculus @ PlanetMath]] | | *[[Planetmath:DifferentialPropositionalCalculus|Differential Propositional Calculus @ PlanetMath]] |
