Packages [DEB]
|
aaa-20060511 -
Annotated A.L.I.C.E. AIML The Annotated A.L.I.C.E. AIML (AAA) fileset is a revised release of
the free A.L.I.C.E. brain.
You can read more on the AAA page.
The
archives listed here are automatically generated whenever the AAA set
is updated.
The files are automatically processed using a script that
attempts to correct known errors in the set, and to properly assign
namespace URIs and prefixes in order to work correctly with Program D
(and any other modern, namespace-aware interpreter).
|
|
Packages [DEB]
|
argus-3.4 -
System and network monitoring Argus was originally designed to monitor servers and network
connections in a mission-critical ISP (Internet Service Provider)
environment, and scales well from small-businesses through large
enterprises.
|
|
Packages [DEB]
|
awb-4.40 -
natural language tagged corpora development environment The Alembic Workbench project has as its goal the creation of a
natural language engineering environment for the development of
tagged corpora.
To enhance this process, the workbench incorporates a
suite of tools for the analysis of a corpus, along with the Alembic
system to enable the automatic acquisition of domain-specific tagging
heuristics.
The Alembic Workbench focuses on dramatically reducing
the amount of labor it takes to construct new training corpora.
|
|
|
Packages [DEB]
|
boss-0.1 -
Software engineering manager for project management BOSS coordinates the software development of our internal codebases,
the applications that we are writing to either effectively glue
together external codebases as in most cases or as mostly independent
projects (like Gourmet).
BOSS converses with Architect to coordinate
development of icodebases with respect to overall goals, and RADAR
and Machiavelli to provide a project development simulator for use in
reasoning about other projects, and in general, to answer software
development questions.
BOSS also automates many of the aspects of
writing codebases.
|
|
Packages [DEB]
|
busroute-0.1 -
Command line bus planner Effective bus route planner module that interfaces with the Verber
planner.
Provides support for two basic kinds of actions, boarding,
staying on, and exiting a bus, and walking between locations
(currently only bus activities implemented.)
|
|
Packages [DEB]
|
busroute-0.4 -
Command line bus planner Effective bus planner can generate custom plans or print
more general reports.
|
|
|
c4.5-8 -
induce classification rules (decision trees) from examples C4.5 is a software extension of the basic ID3 algorithm designed by
Quinlan to address the following issues not dealt with by ID3:
* Avoiding overfitting the data
o Determining how deeply to grow a decision tree.
* Reduced error pruning.
* Rule post-pruning.
* Handling continuous attributes.
o e.g., temperature
* Choosing an appropriate attribute selection measure.
* Handling training data with missing attribute values.
* Handling attributes with differing costs.
* Improving computational efficiency.
|
|
Packages [DEB]
|
ccp-1.51 -
Convert copy.
Pipes existing converter tools. Convert copy.
Pipes existing converter tools together to convert
files from a format to another.
E.g. add the converters 'pdf ->
text' and 'text -> wav' and you can convert pdf to wav.
Automatically
installs missing converters in Debian.
|
|
Packages [DEB]
|
ccp-1.6.3 -
Convert copy.
Pipes existing converter tools. Convert copy.
Pipes existing converter tools together to convert
files from a format to another.
E.g. add the converters 'pdf ->
text' and 'text -> wav' and you can convert pdf to wav.
Automatically
installs missing converters in Debian.
|
|
Packages [DEB]
|
celt-2.65 -
Controlled English to Logic (CELT) CELT is pronounced with a hard 'c', like 'kelt'.
CELT is a controlled
English grammar that generates logic expressions in KIF using the
Suggested Upper Merged Ontology.
Its grammar ensures that every
sentence has a single parse, unlike complete English where a sentence
of moderate length can have hundreds of parses.
CELT is based on the ACE language, but does not reuse any of its
code.
ACE is a controlled English language developed for software and
hardware specification primarily.
The ACE language ensures that every
sentence has a single parse, unlike complete English where a sentence
of moderate length can have hundreds of parses.
Our research on CELT
was originally inspired by the controlled English of ACE.
ACE was
designed to provide a formal specification language for hardware and
software systems in an expressive and easily readable subset of
English.
CELT, in contrast, is intended to support knowledge
engineering and knowledge-based dialog systems.
As such, it implements
a portion of the ACE language and adds extensions to support natural
language Q and A and natural language tutoring systems.
CELT is intended to apply as a knowledge engineering tool and as a key
part of a natural language understanding system for intelligent
tutoring systems.
The CELT system translates sentences in the CELT
language into SUMO code.
The SUMO code provides a first-order logic
representation of the sentence.
We intended to use Vampire as a theorem prover to allow answering CELT
questions.
YES/NO questions would be answered by trying to prove that
a formula is a theorem (i.e., that something is indeed the
case).
WH-questions would be answered by binding free variables in the
SUMO translation and plugging these back into an answer template
generated by CELT at the same time the question is parsed.
The final
system delivered uses a Prolog query processor that performs simple
inheritance reasoning and can reason over partitions on the
ontology.
This kind or reasoning was sufficient and very fast for most
of the Q and A we were using, while allowing domain-specific
extensions to be added easily.
|
|
|
Packages [DEB]
|
clear-0.3 -
Computer LEarning ARchitecture Intelligent Tutoring System for distance learning.
Maintains reading
lists for content areas, automatically determines reading list
dependencies.
Uses TTS to read documents.
Records user's attention
during reading.
Generates tests from documents for placement or
assessment.
Eventually, expect to integrate webcam based eye-tracking
system, so that records of what has been read
|
|
Packages [DEB]
|
cmanager-20040825 -
Cmanager is a simple time management system for Aspergers It works by automatically taking control over the computer
and reminding the user to do things they would have
otherwise forgotten, like eat, sleep and go to the bathroom.
Oh, and judging by the fruitflies, take out the trash!
|
|
|
|
Packages [DEB]
|
conceptnet-2.1 -
commonsense knowledgebase and natural-language-processing to The ConceptNet knowledgebase is a semantic network presently
available in two versions: concise (200,000 assertions) and
full (1.6 million assertions).
Commonsense knowledge in
ConceptNet encompasses the spatial, physical, social,
temporal, and psychological aspects of everyday life.
Whereas similar large-scale semantic knowledgebases like Cyc
and WordNet are carefully handcrafted, ConceptNet is
generated automatically from the 700,000 sentences of the
Open Mind Common Sense Project \u2013 a World Wide Web based
collaboration with over 14,000 authors.
|
|
Packages [DEB]
|
conceptool-0.9 -
Intelligent Knowledge Management Environment Model, analyse, verify, validate, share, combine, and reuse domain
knowledge bases and ontologies, reasoning about their implications
The ConcepTool project aims at building, modifying, and combining
domain knowledge bases and application ontologies.
*
ConcepTool uses different kinds of reasoning services at the
conceptual level to perform a detailed analysis of a knowledge base.
Analysis checks the consistency of this knowledge and highlights its
implications, i.e. further relationships between concepts derived by
their respective structures and by their mutual constraints.
The
reasoning services used for analysis provide deductions based on
Description Logics, linguistic inferences based on lexical
ontologies, or heuristic inferences based on structural rules.
*
ConcepTool can model the static part of UML classes, OKBC class
frames, DL classes, UML associations, ER relationships, and DFD or
IDEF processes using a frame-based knowledge representation.
Each of
these concepts can include own and template slots with facets
(e.g. attributes), partonomic and taxonomic relationships, and global
constraints (e.g. disjointness or coverage).
*
ConcepTool supports the virtual combination of different domain
knowledge bases and application ontologies, creating a shared view of
their common components called articulation.
Potentially related
concepts are proposed using the available reasoning services and
detailed mappings are automatically introduced to relate source
conceptsto their images in the articulation.
|
|
Packages [DEB]
|
critic-0.1 -
Contemplating Relations Interactively To Improve Connections The critic system is a framework to review entries for suitability to
a given goal or task.
It allows the user to categorize and rate the
entries.
At each point the system determines on the basis of ratings
and categorization whether the user should review items they have
already seen, rate cached items they have not, and whether to
retrieve more entries in specific categories.
This can be interfaced
to capabilities management and radar, recipe reviewing, perl module
reviewing, sources.list entry reviewing, and so on.
|
|
|
dbmail-2.1.6 -
Package: dbmailVersion: 2.1.5+20060504
Section: mail
Priority: optional
Architecture: i386
Depends: debconf (>= 0.5) | debconf-2.0, debconf (>= 1.4.70) | debconf-2.0, ucf (>= 0.30)
Suggests: stunnel | stunnel4, postfix | mail-transport-agent, dbmail-mysql (= 2.1.5+20060504) | dbmail-pgsql (= 2.1.5+20060504) | dbmail-sqlite (= 2.1.5+20060504), dbmail-ldap (= 2.1.5+20060504), dbmail-sieve (= 2.1.5+20060504)
Provides: imap-server, pop3-server
Installed-Size: 740
Maintainer: Paul J Stevens
Description: base package for the dbmail email solution
DBMAIL is a collection of programs that allows email to be
stored in and retrieved from a sql database.
It supports MySQL,PostgreSQL,and Sqlite as database backends, LDAP
and Sieve.
Supported client protocols are: POP3, IMAP4, LMTP.
You need to install one or more of the supporting modules.
|
|
Packages [DEB]
|
deme-0.5.0 -
Web-based democratic groupware software Deme is a Web tool to host asynchronous meetings including
discussions, document comments and collaborations, straw polls, and
decision- making for small to medium groups of people.
It also
provides features useful for groups including file storage, member
lists, and the like.
It is intended to create an environment to allow
participation and help strengthen organizations critical to civil
society.
|
|
Packages [DEB]
|
docco-0.3 -
Personal document management using Formal Concept Analysis The tool is able to index local hard drives and everything mounted
into the local file system, such as Windows or Unix network
drives.
It scans for a number of different document formats and
creates a database containing which words are contained in which
documents.
This allows very fast lookup of keywords and other
information like authors, title or location.
The keywords used are
generated from the bodies of the documents, such that no manual
annotation is required.
Docco support the follwing formats:
* plain text
* HTML
* XML
* OpenOffice/ StarOffice 6.0 documents
* Word (with POI plugin)
* Excel (with POI plugin)
* PDF (with PDFbox or Multivalent plugin)
* UNIX man pages (with Multivalent plugin)
Once an index is created, the query interface allows asking for any
documents containing certain keywords and shows how these
combine.
Once a set of interesting documents is found, they can be
selected and will be displayed as tree view, from which they can be
opened in the default application.
|
|
Packages [DEB]
|
e2recover-1.0 -
tools to help recover deleted files from ext2 file systems Tools to assist in recovering deleted files from ext2 file systems.
Includes fsgrab (which simply copies data from a specified position
in a file or device) and e2recover, a Perl script which calls both
fsgrab and debugfs (from the e2fsprogs) to automate file recovery.
fsgrab was originally part of the same author's fsgrab package, which
is no longer maintained.
See also the Linux Ext2fs-Undeletion mini-HOWTO which can be found on
or on any Linux
Documentation Project mirror.
|
|
|
|
Packages [DEB]
|
freetts-1.2 -
Java speech synthesizer FreeTTS is a speech synthesis system written entirely in the Java
programming language.
It is based upon Flite.
Which in turn is based
upon University of Edinburgh's Festival Speech Synthesis Sytem and
Carnegie Mellon University's FestVox project.
|
|
Packages [DEB]
|
gipo-3.14 -
Graphical Interface for Planning with Objects GIPO (Graphical Interface for Planning with Objects) is an
experimental GUI and tools environment for building planning domain
models.
Versions I and II were written by Ron Simpson, Weihong Zhao
and Donghong Liu who provided the planning engines.
GIPO was
developed at the Univ of Huddersfield as one output of the
PLANFORM.
project from the Univ of Huddersfield, UK, with partners at
the Univ of Salford and Univ of Durham.
The PLANFORM project is now complete but GIPO continues to be
developed by Ron Simpson at the University of Huddersfield.
The
project has no external funding consequently development continues on
a when time permits basis.
June 2005 GIPO-III (GIPO version 3) won the IKEPS competition in the
class of general Knowledge Engineering Tools for AI Planning.
|
|
|
glimpse-4.12.5-3 -
Glimpse indexing and query system Glimpse is a very powerful indexing and query system that allows you to
search through all your files very quickly.
It can be used by
individuals for their personal file systems as well as by organizations
for large data collections.
(Converted from a rpm package by alien.)
|
|
Packages [DEB]
|
gnutran-0.5.0 -
Emacs interface to machine translation GNUtran is a front-end which makes it convenient for emacs (and
xemacs) users to have bits of texts in their working buffers and email
messages translated by the many machine translation engine sites
currently available on the web (e.g. Although GNUtran is largely based
on the W3 package (a great emacs package to have.
|
|
Packages [DEB]
|
goooooogle-0.1.0 -
Google Page Rank viewer The Goooooogle Page Rank Calculator is a front-end for non-internet
explorer users who can not have the google toolbar installed to view
the Page Rank of websites.
|
|
Packages [DEB]
|
gourmet-20040912 -
Easiest meal planner: eat healthy, pass it on! When I wrote this program, my dad said, "I don't have the discipline
to use it".
What an idiot!
This program is the easiest way to eat,
period.
It does all the work for you.
|
|
Packages [DEB]
|
iim-20050107 -
Integrated Information Management (IIM) A three-year research project in the Language Technologies Institute
at CMU.
The general goal of IIM is to advance the state-of-the-art in
software architectures for information retrieval tasks, focusing on a
component-based, document-centric design which supports rapid
configuration and tuning of new solutions based on existing
modules.
The IIM prototype system (written in Java) will soon be
freely available for download, along with several examples of nodes
and node chain files.
|
|
|
|
Packages [DEB]
|
ix-3.2 -
I-X Process Panel Workflow Tool USE When a panel is invoked with this strategy.
A window
appears in which the user is prompted to supply various
login data: in order to communicate using Jabber.
The user
will have to log on to a Jabber server.
Or else the creation
(if this is permitted) of a new account on some server.
The
following parameters are relevant to this strategy.
Can be
declared in a .props file or at the command line (shown here
with their default settings): jabber-username=[name of the
user on this machine] (the identifier used to log into a
jabber account) jabber-password=[no default] (the password
for that account) jabber-server="jabber.org" (the jabber
server for which the account is held) jabber-resource="I-X"
(the identifier of this panel resource on the server)
jabber-port=5222 (the port number to be used for
communication with the server) jabber-allow-queuing=false
(set to true this allows messages to be sent to any other
jabber user at any time.
It is required that the intended
recipient's presence is subscribed to and he/she is
currently on-line for a message to be sent) jabber-
autosubscribe=true (incoming subscription messages are
accepted.
|
|
Packages [DEB]
|
kaon-20040407 -
KArlsruhe ONtology and Semantic Web tool suite KAON is an open-source ontology management infrastructure
targeted for business applications.
It includes a
comprehensive tool suite allowing easy ontology creation and
management and provides a framework for building ontology-
based applications.
An important focus of KAON is scalable
and efficient reasoning with ontologies.
|
|
Packages [DEB]
|
kbfs-0.1 -
Knowledge-Based File System KBFS provides many important features to our system.
This includes
support for inference based classification of files, the ability to
query URIs based on KB queries, and the capabilities to maintain
license information and answer questions related to file usage.
It also includes utilities for backing up files and directories to
media intelligently, and will include support for our DVD robot.
|
|
Packages [DEB]
|
kea-3.0 -
Java Programs for Automatic Keyphrase Extraction This distribution includes a cut-down version of WEKA, the
GPL'ed machine learning workbench available from
|
|
Packages [DEB]
|
lapis-1.2 -
lightweight structured text editing system LAPIS is a lightweight structured text editing system.
These
instructions assume that you have Java 1.4 or later
installed on your computer.
Which is the only installation
required.
So all you have to do is run LAPIS.
- The
distribution is precompiled.
The source code for LAPIS is
included with the distribution in the file src.zip.
LAPIS is
written in Java.
The generated source files and CUP runtime
classes are included in the source distribution.
LAPIS is
free software.
Redistribution is allowed under the terms of
the GNU General Public License.
|
|
Packages [DEB]
|
leviathan-1.5 -
Perl chatterbot entity w/ IM interface AiChaos Leviathan is a Perl chatterbot entity created by
AiChaos, Inc. Leviathan has the ability to connect to many
of the major Instant Messenger (AIM, MSN, Jabber, and IRC)
as well as an HTTP interface, allowing you or your users to
contact your bot via the Internet.
|
|
Packages [DEB]
|
liblilfes-1.3.2 -
PL for Typed Feature Structures LiLFeS is a programming language using Typed Feature Structures.
Manipulation of feature structures as builtin data structure
--- LiLFeS is a logic programming language similar to Prolog.
You can
easily write programs with typed feature structures, such as
unification grammars and parsers.
High-speed runtime system.
--- LiLFeS runtime system can efficiently process Unification of
Feature Structures at high speeds, which tend to require heavy
processing.
Feature Structure database
--- Users can use databases with feature structure keys.
C++ libraries
--- You can implement C++ programs to deal with feature
structures.
By use of Feature Structure libraries for C++ language, you can apply
Feature Structures and Unification to various applications.
More
infomation about LiLFeS is here.
|
|
Packages [DEB]
|
lpg-1.0 -
LPG (Local Search for Planning Graphs) A fully automated planner for planning problems specified using
PDDL2.1.
|
|
|
lpg-td-20041223 -
LPG (Local Search for Planning Graphs) A fully automated planner for planning problems specified using
PDDL2.1.
|
|
|
|
Packages [DEB]
|
maven-2.0.4 -
Software project management and comprehension tool Maven is a software project management and comprehension tool.
Based
on the concept of a project object model (POM), Maven can manage a
project's build, reporting and documentation from a central piece of
information.
|
|
Packages [DEB]
|
mayz-2.0.3 -
toolkit for corpus-oriented grammar development Tools in MAYZ toolkit:
treetrans: transforming penn-treebank-style tree using heuristic
pattern rules
lexextract: extracting lexical entries from derivations
lexrefine: refining extracted lexical entries by cut-off
unimaker: making event files for unigram probability model
forestmaker: making event files for feature forest model
amisfilter: making amis-style data files
up: An efficient parser for unification-based grammars
mayzup: A parser specialized for grammars developed with MAYZ
lex2html: making html files from lexicon and derivbank
|
|
Packages [DEB]
|
mbp-1.01 -
Model based nondeterministic temporal planner The Model Based Planner (MBP) is a system designed to perform plan
synthesis, plan validation and plan/domain simulation in
non-deterministic domains.
It provides:
* A general framework for modeling nondeterministic domains with
various degrees of observability, and a language to support it.
* A general plan model, and a language supporting it with powerful
primitives.
* Plan validation capabilities, expressing plan validation as a model
checking problem.
* A set of efficient algorithms that perform plan synthesis for a
variety of classes of planning problems
* A means for simulation of domains, in isolation or driven by plans.
MBP assumes a simple but general model of non-determinism, which
encompasses uncertainty on the initial situation, on the action
effects, and on the state in which the actions will be executed.
Given a non-deterministic planning domain, MBP can tackle a variety
of problems.
Intuitively, these problems can be classified according
to the following two dimensions:
* Degree of observability (i.e. what information can be gathered, at
run-time, on the state of the domain).
This can range from full
observability (the whole state of the world is observable at
run-time), to null observability (no information is available at
run-time), to the general case of partial observability (only some
domain information is available at run time).
* Expressiveness of the goals.
Planning problems can range from the
case where a set of final states must be reached (with different
guarantees of achievement), to the more general case of temporally
extended goals, i.e., where goals express conditions on sequences of
states resulting from the execution of a plan, rather than just on
final states.
|
|
Packages [DEB]
|
mead-3.07 -
toolkit for multi-lingual summarization and evaluation Implements multiple summarization algorithms (at arbitrary
compression rates) such as position-based, Centroid[RJB00], TF*IDF,
and query-based methods.
Methods for evaluating the quality of the
summaries include co-selection(precision/recall, kappa, and relative
utility) and content-based measures (cosine, word overlap, bigram
overlap).
|
|
|
metalog-pnl-2.0 -
SemWeb Reasoning system supporting a controlled English Metalog is a next-generation reasoning system for the Semantic
Web.
Historically, Metalog has been the first semantic web system to
be designed, introducing reasoning within the Semantic Web
infrastructure by adding the query/logical layer on top of RDF.
What is Metalog good for?
+ To showcase the potential of the Semantic Web
+ To teach the Semantic Web
+ To understand how reasoning on the Web can work
+ To bring the user in the loop, by making the Semantic Web easier
The design of Metalog comes from the need of blending two necessities
of the Semantic Web:
+ The first one is reasoning, that is to say, the ability to reason,
query, express logical relations.
In other words, to do some
"thinking" on the Web.
+ The second one is to try to make the Semantic Web Easy, or at least
to start this quest.
Therefore, Metalog has a double face: a powerful reasoning extension
on one hand, and a very user-friendly interface on the other, which
constitutes another possible level in the Semantic Web hierarchy: the
so-called pseudo natural language (PNL) layer.
The PNL (despite its
hard name!)
makes much easier for everybody to understand the Semantic
Web, without having to learn heavy geek-like formalisms: essentially,
the way the user interacts is via English-like dialogues, where one
can "read" and "write" without having to learn a new different
language.
|
|
Packages [DEB]
|
minorthird-20040720 -
Java text storage, annotation, extraction and classification It was written primarily by William W. Cohen, a professor at
Carnegie Mellon University in the Center for Automated
Learning and Discovery.
Contributions have been made by many
other colleagues and students including Edoardo Airoldi,
Vitor Rocha de Carvalho, Einat Minkov, Sunita Sarawagi,
Kevin Steppe, and Richard Wang.
The development of
Minorthird was primarily funded by the Information
Processing Technology Office (IPTO) of the Defense Advanced
Research Projects Agency (DARPA).
Additional funding was
provided by the National Science Foundation Grant No.
EIA-
0131884 to the National Institute of Statistical Sciences,
and by a contract from the Army Research Office to the
Center for Computer and Communications Security (CyLab) at
Carnegie Mellon University.
|
|
Packages [DEB]
|
minorthird-20050921 -
Java text storage, annotation, extraction and classification It was written primarily by William W. Cohen, a professor at
Carnegie Mellon University in the Center for Automated
Learning and Discovery.
Contributions have been made by many
other colleagues and students including Edoardo Airoldi,
Vitor Rocha de Carvalho, Einat Minkov, Sunita Sarawagi,
Kevin Steppe, and Richard Wang.
The development of
Minorthird was primarily funded by the Information
Processing Technology Office (IPTO) of the Defense Advanced
Research Projects Agency (DARPA).
Additional funding was
provided by the National Science Foundation Grant No.
EIA-
0131884 to the National Institute of Statistical Sciences,
and by a contract from the Army Research Office to the
Center for Computer and Communications Security (CyLab) at
Carnegie Mellon University.
|
|
Packages [DEB]
|
mnm-2.1 -
Ontology Driven (Semi-)Automatic Support for Semantic Web MnM is an annotation tool which provides both automated and
semi-automated support for annotating web pages with semantic
contents.
MnM integrates a web browser with an ontology editor and
provides open APIs to link to ontology servers and for integrating
information extraction tools.
|
|
Packages [DEB]
|
montylingua-2.1 -
A Free, Commonsense-Enriched Natural Language Understander for English MontyLingua is a free*, commonsense-enriched, end-to-end natural
language understander for English.
Feed raw English text into
MontyLingua, and the output will be a semantic interpretation of that
text.
Perfect for information retrieval and extraction, request
processing, and question answering.
From English sentences, it
extracts subject/verb/object tuples, extracts adjectives, noun
phrases and verb phrases, and extracts people's names, places,
events, dates and times, and other semantic information.
MontyLingua
makes traditionally difficult language processing tasks trivial!
|
|
Packages [DEB]
|
myfrdcsa-0.1 -
Comprehensive Software Ontology The MyFRDCSA system implements our ontology of software, in addition
to being a leading project which coordinates other projects.
Its
role is mainly conceptual at this point as the key ontology systems
are not yet in place.
Currently it uses an OO-Perl architecture
which represents projects and systems, and provides functionality
that is too general for any of the current subsystems.
|
|
Packages [DEB]
|
oiled-3.5.7 -
Create and edit OIL ontologies OilEd is a simple editor that allows the user to create and
edit OIL ontologies.
The main intention behind OilEd is to
provide a simple, freeware editor that demonstrates the use
of, and stimulates interest in, DAML+OIL.
OilEd is not
intended as a full ontology development environment - it
will not actively support the development of large-scale
ontologies, the migration and integration of ontologies,
versioning, argumentation and many other activities that are
involved in ontology construction.
It should, however,
provide enough to allow the basic construction of OIL
ontologies and demonstrate the power of the connection to
the FaCT reasoner.
|
|
Packages [DEB]
|
opencyc-0.7.0 -
Commonsense knowledge based system server OpenCyc is the open source version of the Cyc Knowledge Base.
Included
with the release is a free binary version of the Cyc Knowledge
Server.
The Cyc Knowledge Server includes an inference engine, a
knowledge base browser and an API for writing programs in other
high-level languages that access and use the OpenCyc knowledge base.
|
|
Packages [DEB]
|
opencyc-0.9.0 -
Commonsense knowledge based system server OpenCyc is the open source version of the Cyc Knowledge Base.
Included
with the release is a free binary version of the Cyc Knowledge
Server.
The Cyc Knowledge Server includes an inference engine, a
knowledge base browser and an API for writing programs in other
high-level languages that access and use the OpenCyc knowledge base.
|
|
Packages [DEB]
|
peep-0.5.0 -
network auralizer Peep is a network monitoring tool that represents network information
via an audio interface.
Network diagnostics are made not only based on
single network events but whether the network sounds "normal".
|
|
|
Packages [DEB]
|
programd-4.5 -
FLOSS AIML bot platform Program D is the most widely used free ("open source") AIML bot
platform in the world.
It is the most feature-complete, best-tested
implementation of the current AIML specification.
It supports
unlimited multiple bots in a single server instance, and has an
open-ended architecture for interacting via any interface imaginable.
The standard release provides a J2EE web application implementation
that can be deployed as a .war file.
Drop-in listeners are available
for IRC, AIM, and Yahoo.
It includes an automated testing framework
for testing knowledge bases, and is packaged with an AIML Test Suite
that verifies that the program itself complies to the AIML
specification.
|
|
|
rox-clib-2.1.0 -
ROX-Lib2 This is version 2.0.
Make sure it is on your $LIBDIRPATH.
Libs` If you are using autoconf and building a ROX program
then: In src/configure.in add: if test -z "$ROX_RUN".
Libs`
In AppRun and AppletRun ensure you have: APP_DIR=`cd
$APP_DIR.
|
|
|
rox-lib-1.9.14 -
ROX-Lib2 contains shared code for ROX applications Introduction ~~~~~~~~~~~~ There is quite a lot of code which
is needed by many ROX applications . If you don't have root
access.
If you do have root access.
There is also some on-
line documentation here:
http://rox.sourceforge.net/rox_lib.html Translators
~~~~~~~~~~~ If you want to translate ROX-Lib2 into your
native language.
Follow these steps (replace 'fr' with your
language): $ cd ROX-Lib2/Messages $ ./update-po $ cp
./python/rox/messages.pot fr.po [ edit fr.po ] $ ./dist
Updating an existing translation is the same.
Conditions
~~~~~~~~~~ Copyright (C) 2002 Thomas Leonard This library is
free software.
This library is distributed in the hope that
it will be useful.
You should have received a copy of the
GNU Lesser General Public License along with this library.
|
|
|
Packages [DEB]
|
rwhoisd-1.5.9 -
Referral Whois (RWhois) server This is a release of the Referral Whois (RWhois) server developed by
the Network Solutions.
The documentation for RWhois will continue to
be updated to reflect enhancements to RWhois.
Additional documentation
will be available throughout the evolution of RWhois and as RWhois is
deployed on a larger scale.
This server is a reference implementation
of the server side of the RWhois protocol.
The primary difference
between this server and previous versions is the treatment of
authority areas.
The server now supports multiple authority areas and
is more strict in its management of those authority areas.
The
following list highlights the primary differences between
rwhoisd-1.5.0 and rwhoisd-1.0B9.
* It conforms to Version 1.5 of the RWhois protocol.
* The code has been largely rewritten.
* It supports multiple authority areas per server.
* Indexing is improved (index files should be about half of their
previous size) and the indexer is easier to use.
* The indexer will now perform a number of syntax checks on the data
as it indexes.
* The indexer and the search engine can now handle intelligent IP
address matching (CIDR index and searching).
* rwhoisd in daemon mode (the default) will now automatically put
itself in the background and disassocate itself from the controlling
terminal (daemonize).
* It includes syslog (or fake-syslog to files) support.
* It has a more consistent and complete query language parser.
* The search engine handles moderately complex queries more
efficiently.
* The Whois-compatible display code has been removed and replaced with
a more general.
|
|
|
Packages [DEB]
|
sbagen-1.4.1 -
Binaural beat generator Here is a brief intro to some of the files here: SBAGEN.txt
Full user documentation and installation notes.
PLEASE READ
THIS sbagen.exe The Win32 executable (ZIP distribution only)
sbagen The Mac OS X executable (Mac distribution only)
COPYING.txt License (GNU General Public Licence version 2)
*.sbg Various sequences that can be run through sbagen ts-
*.sbg Single tone-sets prog-*.sbg Longer sequences of tone-
sets p-* Some Perl-scripts that generate and run sequences
focus.txt / Some notes on the scripts that were derived from
reported wave.txt Monroe Institute focus levels holosync.txt
Some notes on the CenterPointe Holosync techniques
theory*.txt Some notes from my own experimentation
river*.ogg Loopable background river sound OGG file (under
CC license).
Note that for Linux and Mac OSX these are
distributed in a separate TGZ archive sbagen.c.
|
|
Packages [DEB]
|
sgplan-20050930 -
Subgoal partitioning and resolution in planning SGPlan partitions a large planning problem into subproblems, each
with its own subgoal, and resolves inconsistent solutions of subgoals
using our extended saddle-point condition.
Subgoal partitioning is
effective because each partitioned subproblem involves a
substantially smaller number of constraints (and exponentially
smaller complexity) than that of the original problem.
We have
developed methods for the detection of reasonable orders among
subgoals, a landmarks analysis to hierarchically decompose each
subproblem, a search-space-reduction algorithm to eliminate
irrelevant actions in subproblems, and a strategy to call the best
planner to solve each bottom-level subproblem.
Our current
implementation of SGPlan uses a modified Metric-FF planner for basic
planning and only invokes LPG (2003 version) when the modified
planner fails.
|
|
Packages [DEB]
|
shops-0.9.3 -
Simple retail POS using perl-mysql Squirrel Hill Point of Sale supports the following features:
+ Automatic Inventory Reordering
+ Record All Requests for Products and Services
+ Dynamic Pricing for Products and Services
+ Sourcing and Tracking of Services
+ Some Planning, Scheduling and Execution
|
|
Packages [DEB]
|
snark-20030502 -
Common Lisp automated theorem proving program from SRI SNARK is an automated theorem-proving program being developed in
Common Lisp.
Its principal inference rules are resolution and
paramodulation.
SNARK's style of theorem proving is similar to
Otter's.
Some distinctive features of SNARK are its support for special
unification algorithms, sorts, nonclausal formulas, answer
construction for program synthesis, procedural attachment, and
extensibility by Lisp code.
SNARK has been used as the reasoning component of SRI's High
Performance Knowledge Base (HPKB) system, which deduces answers to
questions based on large repositories of information, and as the
deductive core of NASA's Amphion system, which composes software from
components to meet users' specifications, e.g., to perform
computations in planetary astronomy.
SNARK has also been connected to
Kestrel's SPECWARE environment for software development.
|
|
Packages [DEB]
|
soar-8.3 -
Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior We intend ultimately to enable the Soar architecture to:
* work on the full range of tasks expected of an intelligent
agent, from highly routine to extremely difficult, open-ended
problems
* represent and use appropriate forms of knowledge, such as
procedural, declarative, episodic, and possibly iconic
* employ the full range of problem solving methods
* interact with the outside world and
* learn about all aspects of the tasks and its performance on them.
In other words, our intention is for Soar to support all the
capabilities required of a general intelligent agent.
|
|
Packages [DEB]
|
spark-0.8.0 -
BDI procedural reasoning agent framework SPARK is a new agent framework being developed at the Artificial
Intelligence Center of SRI International.
SPARK is a Belief Desire
Intention (BDI) Agent framework in the procedural reasoning style and
has been strongly influenced by its predecessor the Procedural
Reasoning System (PRS).
It is goal directed and event driven,
supports flexible plan execution, and has meta-level reasoning and
introspection capabilities.
The motivations for the development of
SPARK include: support for development of large-scale agent
applications, principled representation of procedures that will
enable validation and automated synthesis, flexibility in the
delivery platform (including the potential to run on PDAs and mobile
platforms), and built-in support for user advisability of agents.
|
|
|
|
|
t-rex-0.2 -
Trainable Relation Extraction framework The Trainable Relation Extraction framework (T-Rex) has been
developed as a testbed for experimenting with several extraction
algorithms and several extraction scenarios, especially extraction
from the web.
The framework promotes the adoption of a divide and
conquer approach, by delimiting subproblems that can be worked upon
separately in order to improve the overall system.
While in many IE
systems data representation and algorithm are tightly coupled, T-Rex
features a canonical graph-based data model used by all algorithms
implemented within the framework.
A graph representation offers
several advantages.
Most notably it easily accommodates hierarchical
representations and it ensures uniformity in the representation of
several artifact types.
For instance, T-Rex's data model allows
expressing in a uniform way arbitrary links between subgraphs, such
as co-reference links, grammar links, links related to HTML
formatting and the annotations of relations provided by the user.
Another advantage is promoting the rapid prototyping of new
algorithms given that potentially all the features can be captured in
the data model and reused.
|
|
Packages [DEB]
|
tabari-0.4.04 -
Textual Analysis By Augmented Replacement Instructions TABARI is the successor program to KEDS.
It performs machine coding
of international event data using pattern recognition and simple
grammatical parsing.
It is designed to work with short news articles
such as those found in wire service reports or chronologies.
|
|
Packages [DEB]
|
textmine-0.2 -
Perl text mining software Perl text mining software, includes modules for named entity
recognition, question answering, and other important NLP tasks.
|
|
Packages [DEB]
|
texttoonto-20040524 -
Text mining supporting ontology engineering process KAON Text mining supporting ontology engineering process.
|
|
Packages [DEB]
|
timbl-5.0 -
MemoryBased Learning algorithm We have been working since the end of the 1980's on the development
of MemoryBased Learning techniques and algorithms.
TiMBL is the
result of combining ideas from a number of different MBL
implementations.
For many other domains where classification tasks
are learned from examples.
MemoryBased Learning is a direct
descendant of the classical kNearest Neighbor (kNN) approach to
classification.
The focus is on discrete data.
Classification speed
is a critical issue in any realistic application of MemoryBased
Learning.
In some cases the internal organization of the memory
results in algorithms which are quite different from kNN.
As is the
case with IGTREE.
The main effort in the development and maintenance
of this software was invested by Ko van der Sloot.
Some of the
indexoptimizations in TiMBL are due to Jakub Zavrel.
This software
was written in the context of the ``Induction of Linguistic
Knowledge'' research programme.
|
|
Packages [DEB]
|
trellis-3.0 -
Web-based text annotation and auditing system Capturing and Exploiting Semantic Relationships for Information and
Knowledge Management
Trellis is an interactive environment that allows users to add their
observations, viewpoints, and conclusions as they analyze information
by making semantic annotations to documents and other on-line
resources.
We view this as a knowledge acquisition problem, where
users are adding new knowledge to the system based on their expertise
as they analyze information.
Trellis is basically a CGI (Perl) and a DHTML Application.
|
|
|
Packages [DEB]
|
vampire-7.0 -
advanced ATP for FOL w/equality Vampire 7.0 Alexandre Riazanov, Andrei Voronkov University of
Manchester, England {riazanoa,voronkov}@cs.man.ac.uk Architecture
Vampire [RV02] 7.0 is an automatic theorem prover for first-order
classical logic.
Its kernel implements the calculi of ordered binary
resolution and superposition for handling equality.
The splitting rule
and negative equality splitting are simulated by the introduction of
new predicate definitions and dynamic folding of such definitions.
A
number of standard redundancy criteria and simplification techniques
are used for pruning the search space: subsumption, tautology deletion
(optionally modulo commutativity), subsumption resolution, rewriting
by ordered unit equalities, basicness restrictions and irreducibility
of substitution terms.
The reduction orderings used are the standard
Knuth-Bendix ordering and a special non-recursive version of the
Knuth-Bendix ordering.
A number of efficient indexing techniques is
used to implement all major operations on sets of terms and
clauses.
Run-time algorithm specialisation is used to accelerate some
costly operations, e.g., checks of ordering constraints.
Although the
kernel of the system works only with clausal normal forms, the
preprocessor component accepts a problem in the full first-order logic
syntax, clausifies it and performs a number of useful transformations
before passing the result to the kernel.
When a theorem is proven, the
system produces a verifiable proof, which validates both the
clausification phase and the refutation of the CNF.
The current
release features a built-in proof checker for the clausifying phase,
which will be extended to check complete proofs.
Implementation
Vampire 7.0 is implemented in C++.
The supported compilers are gcc
3.2.x, gcc 3.3.x, and Microsoft Visual C++.
This version has been
successfully compiled for Linux, but has not been fully tested on
Solaris and Win32.
It is available (conditions apply) from:
http://www.cs.man.ac.uk/~riazanoa/Vampire
Strategies: The Vampire kernel provides a fairly large number of
features for strategy selection.
The most important ones are:
* Choice of the main saturation procedure : (i) OTTER loop, with
or without the Limited Resource Strategy, (ii) DISCOUNT loop.
* A variety of optional simplifications.
* Parameterised reduction orderings.
* A number of built-in literal selection functions and different
modes of comparing literals.
* Age-weight ratio that specifies how strongly lighter clauses are
preferred for inference selection.
* Set-of-support strategy.
The automatic mode of Vampire 7.0 is derived from extensive
experimental data obtained on problems from TPTP v2.6.0.
Input
problems are classified taking into account simple syntactic
properties, such as being Horn or non-Horn, presence of equality,
etc. Additionally, we take into account the presence of some important
kinds of axioms, such as set theory axioms, associativity and
commutativity.
Every class of problems is assigned a fixed schedule
consisting of a number of kernel strategies called one by one with
different time limits.
Expected Competition Performance: We expect the new version to perform
much better than the last MIX winner Vampire 6.0.
The kernel
implementation has undergone a number of significant changes, and
several new features has been added, such as basicness restrictions
and memory defragmentation.
Another source of improvement w.r.t.
Vampire 6.0 is better selection of best strategies based on extensive
experiments.
|
|
|
Packages [DEB]
|
weka-3.4.1 -
Data Mining with Open Source Machine Learning Software Weka is a collection of machine learning algorithms for data mining
tasks.
The algorithms can either be applied directly to a dataset or
called from your own Java code.
Weka contains tools for data
pre-processing, classification, regression, clustering, association
rules, and visualization.
It is also well-suited for developing new
machine learning schemes.
Weka is open source software issued under
the GNU General Public License.
|
|
|
xmi2code-1.2.0beta3 -
A round trip code generator for UML. xmi2code is A round trip code generator for UML.
Features:
* Round trip code generation (also called incremental code generation).
Maintain your code with an CASE Tool like Umbrello .
* xmi handler for Umbrello is available.
* Generators for ADA, C++ and PHP (PEAR compatible) are available.
* Automatic get/set functions for marked attributes.
* Automatic ctor init lists, based on default values.
Override for base class
inits and special ctors possible.
* Support for package directories.
* Much more, see documentation.
|
|
|
|