Higher Assurance Functional RDF in Haskell describes the results of my recent code writing project. The purpose of the project is to demonstrate each of the capabilities suggested by the title above in a working solution and to develop a set of practices to deliver such a solution.
Tags:
Agda,
Bryan O'Sullivan Aeson,
compiler heuristics,
David McBride,
github/hafr,
haskell,
Hets,
high assurance,
inline,
Isabelle,
optimizing for fitness genetic algorithm,
Parallel IO Acovea,
Paul Tarau Isomorphism,
profiling,
Quadcore i7 Hardware,
RDF,
run time system flags,
symmetric multiprocessor parallelism,
Talis JSON,
verification QuickCheck No Comments |
Read the rest of this entry »
Posted on February 24, 2009, 11:11 pm, by rickmurphy, under
culture,
information sharing,
linked open data,
mechanism,
model theory,
ontology,
open government data,
organism,
peirce.
Cookbooks are a tradition in software and mashups are all the rage today, so I couldn’t resist starting a mashup cookbook. But, before I show some of my recipes and what I have in the oven, I thought I’d explain the role mashups and social production play in solving a problem too hard and too expensive to solve under conditions controlled by corporations or the government. An issue we face today is producing a sufficiently complex mirrror world to match the needs of an information society.
Tags:
Alan Watts,
alfred tarski,
Edward Tufte,
Fractal Society,
Fractal Web,
IBM,
International Business Machines Corporation,
John W. Tukey,
large applications,
RDF,
technology transfer,
tim berners-lee No Comments |
Read the rest of this entry »
Posted on September 28, 2008, 7:47 pm, by rickmurphy, under
complex systems,
emergence,
information theory,
lambda calculus,
logic,
model theory,
peirce,
science,
semantic web,
semiotics.
The central topic for this post is to sketch out a program for developing a new theory of meaning. In short, my hypothesis is this: a) semantics provides a theory of representation and truth; b) semiotics provides a theory signs and their interpretation; c) pragmaticism defines the effect of a conception on other objects as the whole of the conception; and d) meaning emerges in a complex system through the convergence of relational properties and domain knowledge.
Tags:
adjoint,
alfred tarski,
category theory,
charles sanders peirce,
complex systems,
complexity,
conception,
convergence,
deductive system,
domain knowledge,
emergence,
haskell,
hypothesis,
interpretation,
lambda calculus,
linked data,
logic,
meaning,
meta language,
model theory,
model thoery,
object language,
ontolog forum,
peirce,
peirce's ten trichotomies,
pragmaticism,
pragmatism,
proof,
RDF,
realism,
relational property,
representation,
Roland Barthes,
semantic conception of truth,
semantic web,
semantics,
semiotics,
state of the semantic web,
structural model,
structure,
theory of meaning,
theory of signs,
tim berners-lee,
triangle of meaning,
triangle of significantion,
trichotomy,
truth,
web science No Comments |
Read the rest of this entry »