Abr 17 2009


Tag: Informática LegalJoaquim Anguas @ 11:01 pm

Last month the National Academies presented a report commissioned by the Congress on 2006 to identify the needs of the Forensic Science community.

The diagnosis it presents for the discipline is it is:

  • Lacked of solid scientific research that validates results
  • Lacked of standard terminology when presenting the results
  • Fragmented and lacked of consistent practices
  • Weakly governed


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»

Abr 01 2009

Mor en Jaume Sistac

Tag: (i)realidad,La ProfesiónJoaquim Anguas @ 3:09 pm

El professor de la FIB Jaume Sistac va morir el passat 30 de Març.

Aquells que l’hem tingut com a professor el recordarem per la seva vocació docent i per ser l’home que va iniciar en les bases de dades, disciplina imprescindible de l’enginyeria en informàtica, a varies generacions de llicenciats i enginyers en informàtica.

El meus condols a la seva familia.

Veure nota de la FIB.