The complexity of creating artificial intelligence applications remains high. One of the factors that cause such complexity is the high qualification requirements for developers in the field of programming. Developmen...
详细信息
Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit repr...
详细信息
Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit representations occur naturally in many situations such as engineering designs created by engineers, a software requirement created in unified modeling language or a process flow diagram for a manufacturing process. Automated approaches based on natural language processing have progressed on tasks such as named entity recognition, fact extraction and relation learning. Use of automated methods can be problematic in situations where the conceptual distinctions used by humans for reasoning are not directly expressed in natural language or when the representation must be used to drive a high fidelity simulation. In this paper, we report on our effort to systematically curate a knowledge base for substantial fraction of text in a biology textbook [26]. While this experience and the process is interesting on its own, three aspects can be especially instructive for future development of knowledge bases by both manual and automatic methods: (1) Consider imposing a simplifying abstract structure on natural language sentences so that the surface form is closer to the target logical form to be extracted. (2) Adopt an upper ontology that is strongly motivated and influenced by natural language. (3) Develop a set of guidelines that captures how the conceptual distinctions in the ontology may be realized in natural language. Since the representation created by this process has been quite effective for answering questions and producing explanations, it gives a concrete target for what information should be extracted by the automated methods.
In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs i...
详细信息
ISBN:
(纸本)3540601619
In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs is well-known as it essentially defines a partial order (subsumption hierarchy) on the graphs, that allows one to speed up search considerably. We investigate the complexity of projection by introducing a weaker notion of structural similarity, polyprojection. We prove that a polyprojection implies a projection for so-called non-repeating conceptual graphs. Furthermore, we show that a polyprojection can be determined by a polynomial algorithm. Indeed, the algorithm presented generalizes well-known algorithms for subtree isomorphism, and subsumption between feature term graphs. A maximal join is defined as the join on a maximally extended compatible projection. The operation is closely related to unification in feature logics and logicprogramming, but it is allows more flexibility of representation. In essence, a maximal join corresponds to the greatest lower bound of two conceptual graphs when the partial order due to projection is a lattice. Finally, unification of structured descriptions as maximal join is shown to be polynomially related to projection.
Behavioral rewriting differs from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and confluence. ...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on New Approaches for Multidimensional Signal Processing. The topics include: Development of IoT Indoor Monitoring System for Independent Elde...
ISBN:
(纸本)9789811978418
The proceedings contain 23 papers. The special focus in this conference is on New Approaches for Multidimensional Signal Processing. The topics include: Development of IoT Indoor Monitoring System for Independent Elderly;improving the Process of Evaluating User Stories Using the Paraconsistent Annotated Evidential logic Eτ;neural Network Algorithm Applied in Electrical Engineering Automation;Truss Structure Optimization Design Based on FE-PSO-SQP Algorithm;practice System of Ant Colony Optimization Algorithm in Business Administration;literature Review of Smart Contracts Using Blockchain Technology;a Comprehensive Study of 5th Generation Scheduling Algorithms;a Comparative Analysis of Homogeneous and Heterogeneous Protocols to Maximize the Lifetime of Wireless Sensor Network for Precision Agriculture;the Integration Development and Upgrading Path of Industry 4.0 Architecture Industrial Engineering Network Driven by Big Data;video Tracing of Moving Objects by Fusing Three-Term Decompositions;SAAS Application Prospect Analysis in Hrm and Methods to Upgrade the Contemporary System;All Digital Phase Locked Loop (ADPLL) and Its Blocks—A Comprehensive knowledge;on Realization of Smart Logistic Warehouse Management with Internet of Things;development and Design of Intelligent Traction System for Bulk Cargo Terminal;deep Learning Approaches for Classroom Audio Classification Using Mel Spectrograms;Tensor Spectral Pyramid for Color Video Sequences representation, Based on 3D FO-AHKLT;electromyography Signal Acquisition, Processing, Optimization and Its Applications;research on the Radar Signal Classification Method Based on the Deep Faith Network Model;measuring Machine Intelligence Using Black-Box-Based Universal Intelligence Metrics;COVID Detection Using ECG Image Reports: A Survey;disease Detection Techniques in Plants: Transition from Manual to Automation.
This paper describes an on-going work aimed at designing and deploying a system for the surveillance and monitoring of an archaeological site, namely the "Valley of the Temples" in Agrigento, Italy. Given th...
详细信息
In this paper we evaluate logic code analysis and transformation frameworks for their suitability as basic infrastructures for fast detection and extraction of (crosscutting) concerns. Using design patterns as example...
详细信息
In this paper we evaluate logic code analysis and transformation frameworks for their suitability as basic infrastructures for fast detection and extraction of (crosscutting) concerns. Using design patterns as example concerns, we identify desirable properties that an infrastructure should fulfill. We then report our initial results of evaluating candidate systems with respect to these properties. We show how high precision design pattern detectors can be easily formulated as predicates that are evaluated in mere seconds even on the sources of large software systems, such as the Eclipse IDE. Although details still remain to be analyzed further, our current results suggest that the pair JTransformer & CTC is a good candidate for a general infrastructure, combining very good querying performance, scalability and short turn-around times with a seamless integration of querying and transformation capabilities. Copyright 2007 ACM.
We present a methodology for handling efficiently relations over small finite domains in the rule-based programming language ELAN. Usually, a relation is specified as a first-order formula (a constraint) interpreted i...
详细信息
The representation of defeasible information in Description logics is a well-known issue and many formal approaches have been proposed. However, in these proposals, little attention has been devoted to studying their ...
详细信息
learning technique that learns first-order rules from relationalstructured data. However, to-date most ILP systems can only be applied to small datasets (tens of thousands of examples). A long-standing challenge in th...
详细信息
暂无评论