Buscar recursos académicos

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for thi...

Materias / palabras clave: Variable (mathematics); Computer science; Linguistics; Deductive reasoning; Mathematics; Natural language processing; Artificial intelligence; Calculus (dental); Philosophy; Dentistry; Mathematical analysis; Medicine

This paper describes a new classification method (DER) based on evidential reasoning to which a series of modifications are added [1]. DER allows including new evidence for the classification process and defines a differ...

Materias / palabras clave: Linguistics; Mathematics; Variable (mathematics); Compatibility (geochemistry); Computer science; Philosophy; Geology; Mathematical analysis; Geochemistry

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

A general inductive approach for analysis of qualitative evaluation data is described. The purposes for using an inductive approach are to (a) condense raw textual data into a brief, summary format; (b) establish clear l...

Materias / palabras clave: Computer science; Software portability; Implementation; Ontology; Programming language; Vocabulary; Reuse; Knowledge representation and reasoning; Natural language processing; Ontology language; Software engineering; Art...

Written by one of the preeminent researchers in the field, this book provides a comprehensive exposition of modern analysis of causation. It shows how causality has grown from a nebulous concept into a mathematical theor...

Materias / palabras clave: Variety (cybernetics); Computer science; Decision tree; Machine learning; ID3; Inference; Inductive reasoning; Artificial intelligence; ID3 algorithm; Management science; Decision tree learning; Incremental decision tree

AIM: This paper is a description of inductive and deductive content analysis. BACKGROUND: Content analysis is a method that may be used with either qualitative or quantitative data and in an inductive or deductive way. Q...

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning ap...

In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were devel...

The active use and manipulation of visual representations makes many complex and intensive cognitive tasks feasible. A visual representation is able to convey relationships among many elements in parallel and it provides...

Institutional Repositories are collections of digital resources organized to facilitate their long term access. Two fundamental issues that need to be addressed at the moment of implementing these repositories are their ...

The long-anticipated revision of this #1 selling book offers the most comprehensive, state of the art introduction to the theory and practice of artificial intelligence for modern applications. Intelligent Agents. Solvin...

Software radios are emerging as platforms for multiband multimode personal communications systems. Radio etiquette is the set of RF bands, air interfaces, protocols, and spatial and temporal patterns that moderate the us...

Lee S. Shulman builds his foundation for teaching reform on an idea of teaching that emphasizes comprehension and reasoning, transformation and reflection. "This emphasis is justified," he writes, "by the resoluteness wi...

Behavioral scientists routinely publish broad claims about human psychology and behavior in the world's top journals based on samples drawn entirely from Western, Educated, Industrialized, Rich, and Democratic (WEIRD) so...