vrijdag 12 september 2008
a room with a view
This is how life looks from my chair :
That is my backyard in Limmen, the Netherlands, a nice town with rather normal folk.
maistro dot com domain for sale
maistro.com is for sale !
It has pr0 and 4 backlinks. What would it cost ? Hmmm... aha ! Minimum Bid: $250.
web-maistro! lets see, who own "maistro.net" ? It is redirected to .accessinn.com/ who run an IT company since '78 and have a brandname MAIstro.
Taxonomy - Deploy It
Put the taxonomy to work indexing, categorizing, and filtering your information. Automating indexing is essential as manual is too slow and costly. Automation packages fall into two broad categories: black box and transparent (white) box.
Black box solutions imbed proprietary approaches for categorization using linguistic, lexical, AI, neural-nets, and statistical processing. Training sets of sample documents must be collected and carefully screened to teach the system about your domain. Training sets easily skew the results. If the system performs poorly, then devising different rationales for building new training sets becomes near mystical. Expensive and very difficult to use, black boxes rarely produce accurate, relevant results. They don't scale for expanding knowledge domains, though they do scale for volume. Best uses are for rudimentary clustering, categorization, and filtering of high volume information flows.
...
Developed in Java with built in XML functionality, MAIstro™ is an example of the keystone technology needed for a successful taxonomic strategy.
Reminds me of what some colleague of me mentioned, he worked for a company called M.A.I. MAIbe it's the same company?
Say what if I bought that domain name, do you think these M.A.I. folk would be interested then ? Hmmm, before you know I am a business man! If they dont want it there are still some greek hotels called Maistro, so then I'll just sell it to them greek, or I take the loss and make one of these social bookmarking sites out of it, they're pretty popular.
dinsdag 9 september 2008
temporal logic
Galton, Antony, "Temporal Logic", The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.),
temporal logic
3.2 Determinism vs non-determinism
The choice of flow of time can be of philosophical significance. For example, one way of capturing the distinction between deterministic and non-deterministic theories is to model the former using a strictly linear flow of time, and the latter with a temporal structure which allows branching into the future. If we adopt the latter approach, then it is helpful in describing the semantics of tense and other operators to introduce the idea of a history, which is a maximal linearly-ordered set of instants. The branching future model will then stipulate that for any two histories there is an instant such that both histories share all the times up to and including that instant, but do not share any times after it. For each history containing a given instant, the times in that history which are later than the instant constitute a “possible future” for that instant.
...
4.2 Applications in artificial intelligence
We have already mentioned the work of Allen (1984), which is concerned with finding a general framework adequate for all the temporal representations required by AI programs. The Event Calculus of Kowalski and Sergot (1986) is pursued more specifically within the framework of logic programming, but is otherwise similarly general in character. A useful survey of issues involving time and temporal reasoning in AI is Galton (1995), and a comprehensive recent coverage of the area is Fisher et al. (2005).
Much of the work on temporal reasoning in AI has been closely tied up with the notorious frame problem, which arises from the necessity for any automated reasoner to know, or be able to deduce, not only those properties of the world which do change as the result of any event or action, but also those properties which do not change. In everyday life, we normally handle such facts fluently without consciously adverting to them: we take for granted without thinking about it, for example, that the colour of a car does not normally change when one changes gear. The frame problem is concerned with how to formalise the logic of actions and events in such a way that indefinitely many inferences of this kind are made available without our having to encode them all explicitly. A seminal work in this area is McCarthy and Hayes (1969). A useful recent reference for the frame problem is Shanahan, 1997.