this paper presents the initial findings of an investigation into automated support for fusing textual information and non-text data from different sources within the military domain. Our aim is to develop a prototype...
详细信息
this paper presents the initial findings of an investigation into automated support for fusing textual information and non-text data from different sources within the military domain. Our aim is to develop a prototype fusion capability that can categorize, fuse and present intelligence information to military officers. To date, our focus has been on text information categorization using both existing text classification techniques (e.g. Weighted Feature Vector (WFV) classification) and machine learning algorithms based on inductive logicprogramming (ILP) and natural language processing techniques. the algorithms have been used to automatically assign documents to a pre-existing set of categories by correlating text within the documents to text relating to classifications/categories. Once text documents are categorized according to their content, then fusion can begin. the results of initial experiments indicate that the ILP approach performs at least as well as the WFV technique, and outperforms it in one set of experiments. Both techniques have the scope for further improvements which we outline in this paper.
In 1969, Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. We know the answer to this question for various subsystems...
详细信息
A concept for characterizing, predicting and recognizing threat situations is developed. the goal is to establish a systematic approach to automating some of these functions. the proposed approach addresses the fundam...
详细信息
A concept for characterizing, predicting and recognizing threat situations is developed. the goal is to establish a systematic approach to automating some of these functions. the proposed approach addresses the fundamental problems of (a) sparse and ambiguous indicators of potential or actualized threat activity buried in massive background data; and (b) uncertainty in threat capabilities, intent and opportunities. Attack hypotheses are adoptively generated, evaluated and refined as the understanding of the situation evolves. this effort builds upon advances in Situation, Ontology and Estimation theory. Specific features of the approach include (a) fuzzy definition of situations and relationships; (b) integration of diverse inference bases: logical/semantic, causal, conventional, etc.; and (c) context-conditioned reasoning with uncertain evidence formulated in terms of "probabilistic infons".
Timely feedback is a vital component in the learning process. It is especially important for beginner students in Information Technology since many have not yet formed an effective internal model of a computer that th...
详细信息
ISBN:
(纸本)9781920682248
Timely feedback is a vital component in the learning process. It is especially important for beginner students in Information Technology since many have not yet formed an effective internal model of a computer that they can use to construct viable knowledge. Research has shown that learning efficiency is increased if immediate feedback is provided for students. Automatic analysis of student programs has the potential to provide immediate feedback for students and to assist teaching staff in the marking process. this paper describes a "fill in the gap" programming analysis framework which tests students' solutions and gives feedback on their correctness, detects logic errors and provides hints on how to fix these errors. Currently, the framework is being used withthe Environment for Learning to programming (ELP) system at Queensland University of Technology (QUT); however, the framework can be integrated into any existing online learning environment or programming Integrated Development Environment (IDE).
the semantic Web is an emerging technology regarded as the next generation Web paradigm. In the semantic Web, each resource and service is annotated with semantic markups which are defined in Web ontology language OWL...
详细信息
the semantic Web is an emerging technology regarded as the next generation Web paradigm. In the semantic Web, each resource and service is annotated with semantic markups which are defined in Web ontology language OWL. therefore research and implementation of practical OWL inference system is very important work for realization of the semantic Web. In this paper, we present design and implementation of OWLer which is an extensible semantic Web ontology inference engine. OWLer engages axiomatization where the semantics of OWL vocabularies is described in a logicprogramming language, such as FOL, and theorem proving technique is used to infer from OWL ontology. And we also present the test result of OWLer engine with W3C standard entailment test cases
LPEQ and DLPEQ, two translators for automated equivalence testing of logic programs are discussed. the translators LPEQ and DLPEQ have been implemented in the C programming language under the Linux operating system. B...
详细信息
ISBN:
(纸本)354020721X
LPEQ and DLPEQ, two translators for automated equivalence testing of logic programs are discussed. the translators LPEQ and DLPEQ have been implemented in the C programming language under the Linux operating system. Both translators take two logic programs and command line options as their input and produce a translation for equivalence testing as their output. the input files are assumed to be in an internal format, as produced by the front-end LPARSE of the SMODELS system.
We give a logicprogramming based account of probability and describe a declarative language P-log capable of reasoning which combines bothlogical and probabilistic arguments. Several non-trivial examples illustrate ...
详细信息
ISBN:
(纸本)354020721X
We give a logicprogramming based account of probability and describe a declarative language P-log capable of reasoning which combines bothlogical and probabilistic arguments. Several non-trivial examples illustrate the use of P-log for knowledge representation.
nlp is a compiler for nested logicprogramming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive lo...
详细信息
ISBN:
(纸本)354020721X
nlp is a compiler for nested logicprogramming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive logicprogramming systems, like dlv or gnt. nlp offers different translations: One is polynomial but necessitates the introduction of new atoms, another is exponential in the worst case but avoids extending the language. We report experimental results, comparing the translations on several classes of benchmark problems.
In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [14], which was designed for weight constraint prog...
详细信息
ISBN:
(纸本)354020721X
In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [14], which was designed for weight constraint programs supported by the SMODELS system, is generalized to the disjunctive case. Moreover, we report on our preliminary experiments with an implementation of the method, a translator called DLPEQ.
暂无评论