Oct 07 2010

The Redbook

Tag: Informática LegalJoaquim Anguas @ 1:27 pm

The Redbook

I’ve just received this very desired book.

From the first line in the «Introduction»:

«The law,» as William Prosser once said, «is one of the principal literary professions.»

That makes a good start for me.

I’ll write a review of the book once I read it.

It’s been a long time since my last post. Pre-holidays time was a busy time because of closing; after-holidays is being very busy because of new cases.

Mar 18 2010

Semantic Levels and Computer Evidence

Semantic Levels

As I had explained here, I consider there is a meaning construction, from magnetic fields in the surface of a disk to high level facts we can map to real world, when we talk about computer evidence. This contruction occurs in steps and every step involves a semiosis, up to high level facts.

It is in this last level in which a judge can render them into the final award applying all the arguments presented by the parties and regulations that rule the process.

There’s a state of opinion that defends that computer evidence that has been blessed by digital signature can slip into the process without the intervention of an expert witness: it can be treated as a document.

Don’t get me wrong, I am not saying that computer documents do not deserve this. But I am not talking about word processor or PDF files here, documents that have a meaning by themselves into the procedure. We are talking about something like a log file. And in general, I consider a log file a computer evidence, not a document.

In my oppinion this may lead to the following problem:

Continue reading «Semantic Levels and Computer Evidence»

Abr 07 2009

Abstraction layers in computational semiotics

Tag: Computing, Signs and ReasoningJoaquim Anguas @ 6:11 pm

Computational semiotics is often related to semiosis or semantics, but less to pragamatics.

Within the area of study I am interested in, it is relevant how computational signs construct a meaning you can derive high level facts from. So semiosis, semantics, but pragmatics as well, are involved.

In computation, facts are observed by accessing data stored in computational means. Data is stored in different ways, but it generally materializes in the form of bits as the minimum sign unit.

Common storage media are hard disk drives, optical media or RAM-like. Those media store bits in different ways: a magnetic field on the coating of a disk, “holes” on the optical layer of a resin disk or electrons into memory cells.

The equivalent of finding a cigarette butt in a crime scene would be to observe these signs directly. But we don’t use to get facts from this kind of signs.

Continue reading «Abstraction layers in computational semiotics»

Abr 06 2009

Expert witness, computing and presumptions

Tag: Computing, Signs and ReasoningJoaquim Anguas @ 4:56 pm

I start a series of posts related to legal reasoning and computational semiotics.

This post informally analyzes and puts into context the argumentation and generalization elements used by expert witness in computing, taking into account their relationship with computational semiotics.

If semiotics is the science of signs, computational semiotics is the branch of semiotics that studies signs supported by computational means.

Expert witness in computing, derive assertions from computational signs and argumentation methods.

While it could be thought that expert witness provide feasible assertions, the fact is that, in the field of computing, often many plausible options coexist. Expert witness use informal logic approaches like non-monotonic abductive reasoning to identify the best explanation that satisfies coherence with all other known facts.

Continue reading «Expert witness, computing and presumptions»