Search results for "knowledge representation"

showing 10 items of 78 documents

Understanding dynamic scenes

2000

We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, understanding involves the generation of a high level, declarative description of the perceived world. Developing such a description requires both bottom-up, data driven processes that associate symbolic knowledge representation structures with the data coming out of a vision system, and top-down processes in which high level, symbolic information is in its turn employed to drive and further refine the interpretation of a scene. On the one hand, the computer vision community approached this problem in terms of 2D/3D s…

Linguistics and LanguageKnowledge representation and reasoningComputer scienceMachine visionProcess (engineering)media_common.quotation_subjectRepresentation levelsLanguage and LinguisticsMotion (physics)Data-drivenArtificial IntelligenceHuman–computer interactionPerceptionConceptual spacesArtificial visionLanguage and Linguisticmedia_commonSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniHybrid processingbusiness.industryRepresentation (systemics)RoboticsProcessesAction (philosophy)PerceptionArtificial intelligencebusinessActionsNeural networksArtificial Intelligence
researchProduct

Ontology-based Integration of Web Navigation for Dynamic User Profiling

2015

The development of technology for handling information on a Big Data-scale is a buzzing topic of current research. Indeed, improved techniques for knowledge discovery are crucial for scientific and economic exploitation of large-scale raw data. In research collaboration with an industrial actor, we explore the applicability of ontology-based knowledge extraction and representation for today's biggest source of large-scale data, the Web. The goal is to develop a profiling application, based on the implicit information that every user leaves while navigating the online, with the goal to identify and model preferences and interests in a detailed user profile. This includes the identification o…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]lcsh:Computer engineering. Computer hardware[ INFO ] Computer Science [cs]Knowledge representation and reasoningComputer scienceSemantic Web Ontologies SWRL Big Data reasoningBig datalcsh:TK7885-789502 engineering and technologyOntology (information science)[INFO] Computer Science [cs][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Big Data reasoningWorld Wide WebKnowledge extraction020204 information systems0202 electrical engineering electronic engineering information engineeringOntologiesWeb navigation[INFO]Computer Science [cs][ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]Semantic WebSWRLSemantic WebUser profilebusiness.industrylcsh:Zlcsh:Bibliography. Library science. Information resourcesSemantic technology020201 artificial intelligence & image processingbusiness
researchProduct

FrameNet CNL: A Knowledge Representation and Information Extraction Language

2014

The paper presents a FrameNet-based information extraction and knowledge representation framework, called FrameNet-CNL. The framework is used on natural language documents and represents the extracted knowledge in a tailor-made Frame-ontology from which unambiguous FrameNet-CNL paraphrase text can be generated automatically in multiple languages. This approach brings together the fields of information extraction and CNL, because a source text can be considered belonging to FrameNet-CNL, if information extraction parser produces the correct knowledge representation as a result. We describe a state-of-the-art information extraction parser used by a national news agency and speculate that Fram…

Information retrievalParsingKnowledge representation and reasoningbusiness.industryComputer scienceAgency (philosophy)computer.software_genreParaphraseInformation extractionArtificial intelligenceSource textFrameNetbusinesscomputerNatural language processingNatural language
researchProduct

Domain-specific knowledge representation and inference engine for an intelligent tutoring system

2013

One of the most challenging steps in learning algebra is the translation of word problems into symbolic notation. This paper describes an Intelligent Tutoring System (ITS) that focuses on this stage of the problem solving process. On the one hand, a domain specific inference engine and a knowledge representation mechanism are proposed. These are based on a description language based on hypergraphs, and the idea of using conceptual schemes to represent the student's knowledge. As a result, the system is able to simultaneously: (a) represent all potential algebraic solutions to a given word problem; (b) keep track of the student's actions; (c) univocally determine the current state of the res…

Information Systems and ManagementTheoretical computer scienceKnowledge representation and reasoningComputer sciencebusiness.industryIntelligent tutoring systemManagement Information SystemsWord problem (mathematics education)Artificial IntelligenceArtificial intelligenceInference enginebusinessSoftwareGraphical user interfaceKnowledge-Based Systems
researchProduct

MODULAR KNOWLEDGE REPRESENTATION IN ADVISOR AGENTS FOR SITUATION AWARENESS

2011

A modular knowledge representation framework for conversational agents is presented. The approach has been realized to suit the situation awareness paradigm. The modularity of the framework makes possible the composition of specific modules that deal with particular features, simplifying both the chatbot design process and its smartness. As a proof of concepts we have developed a modular, situation awareness oriented, KB for a conversational agent, which plays the role of an advisor aimed at helping a user to be in charge of a virtual town, inspired to the SimCity series game. The agent makes an extensive use of semantic computing techniques and is able to perceive, comprehend and project c…

Linguistics and LanguageDecision support systemKnowledge managementSituation awarenessKnowledge representation and reasoningComputer Networks and CommunicationsComputer sciencecomputer.software_genreModularityChatbotArtificial IntelligenceHuman–computer interactionSemantic computingDialog systemSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSituation awareness; conversational agents; decision support systemsbusiness.industryconversational agentModular designComputer Science ApplicationsSituation awarenebusinesscomputerdecision support systemsSoftwareInformation Systems
researchProduct

Reasoning with Multilevel Contexts in Semantic Metanetworks

2000

It is generally accepted that knowledge has a contextual component. Acquisition, representation, and exploitation of knowledge in context would have a major contribution in knowledge representation, knowledge acquisition, and explanation, as Brezillon and Abu-Hakima supposed in [Brezillon and Abu-Hakima, 1995]. Among the advantages of the use of contexts in knowledge representation and reasoning Akman and Surav [Akman and Surav, 1996] mentioned the following: economy of representation, more competent reasoning, allowance for inconsistent knowledge bases, resolving of lexical ambiguity and flexible entailment. Brezillon and Cases noticed however in [Brezillon and Cases, 1995] that knowledge-…

Knowledge representation and reasoningComputer sciencebusiness.industryRepresentation (systemics)Semantic searchContext (language use)Semantic interoperabilitycomputer.software_genreKnowledge acquisitionSocial Semantic WebSemantic integrationArtificial intelligencebusinesscomputerNatural language processing
researchProduct

<title>HAP: a hybrid system for reasoning about actions and plans in robotics</title>

1990

The paper describes the main ideas and principles of HAP (Hybrid representation of Actions and Plans), a system for hybrid representation and reasoning in advanced robotics. In this context, hybrid representation refers to the integration of both symbolic and analogic knowledge representation paradigms. In particular, the logic/symbolic component is based on a KL-ONE-like representation language. The system embeds "analogic experts", that are concurrent procedures operating in a direct and fast way on the world representation. These "experts" help the system in planning a correct temporal sequence of actions. As a reference scenario, assembly (and disassembly) problems are considered. The a…

Knowledge representation and reasoningComputer sciencebusiness.industryHybrid systemComponent (UML)Obstacle avoidanceRepresentation (systemics)RobotRoboticsContext (language use)Artificial intelligencebusinessSPIE Proceedings
researchProduct

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationKnowledge representation and reasoningcomputer.internet_protocolComputer science0211 other engineering and technologies[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologycomputer.software_genre01 natural sciencesACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsFormal specificationACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking0202 electrical engineering electronic engineering information engineeringTemporal logicEnterprise information systemFormal verification021103 operations researchDatabase010405 organic chemistrybusiness.industryApplied Mathematics020207 software engineeringService-oriented architectureSystems modeling[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation0104 chemical sciencesComputer Science ApplicationsACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checkingBusiness Process Execution LanguageModeling and Simulation020201 artificial intelligence & image processingWeb serviceSoftware engineeringbusinesscomputer
researchProduct

An Innovative Statistical Tool for Automatic OWL-ERD Alignment

2016

Aligning two representations of the same domain with different expressiveness is a crucial topic in nowadays semantic web and big data research. OWL ontologies and Entity Relation Diagrams are the most widespread representations whose alignment allows for semantic data access via ontology interface, and ontology storing techniques. The term ""alignment" encompasses three different processes: OWL-to-ERD and ERD-to-OWL transformation, and OWL-ERD mapping. In this paper an innovative statistical tool is presented to accomplish all the three aspects of the alignment. The main idea relies on the use of a HMM to estimate the most likely ERD sentence that is stated in a suitable grammar, and corre…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniInformation retrievalRelation (database)computer.internet_protocolComputer scienceSemantic Web Rule LanguageComputer Science::Information Retrieval010401 analytical chemistry020206 networking & telecommunications02 engineering and technologyOntology (information science)SemanticsSemantic data model01 natural sciencesOWL-S0104 chemical sciences0202 electrical engineering electronic engineering information engineeringHidden Markov models Knowledge representation languages Ontologies (artificial intelligence) Semantic Web Databases OWL ERDSemantic WebcomputerSentence2016 IEEE Tenth International Conference on Semantic Computing (ICSC)
researchProduct

Geometric and conceptual knowledge representation within a generative model of visual perception

1989

A representation scheme of knowledge at both the geometric and conceptual levels is offered which extends a generative theory of visual perception. According to this theory, the perception process proceeds through different scene representations at various levels of abstraction. The geometric domain is modeled following the CSG (constructive solid geometry) approach, taking advantage of the geometric modelling scheme proposed by A. Pentland, based on superquadrics as representation primitives. Recursive Boolean combinations and deformations are considered in order to enlarge the scope of the representation scheme and to allow for the construction of real-world scenes. In the conceptual doma…

Theoretical computer scienceKnowledge representation and reasoningbusiness.industryMechanical Engineeringmedia_common.quotation_subjectMachine learningcomputer.software_genreIndustrial and Manufacturing EngineeringConstructive solid geometryGenerative modelGeometric designArtificial IntelligenceControl and Systems EngineeringSuperquadricsConceptual modelFrame (artificial intelligence)Artificial intelligenceElectrical and Electronic EngineeringRepresentation (mathematics)businesscomputerSoftwaremedia_commonMathematicsJournal of Intelligent and Robotic Systems
researchProduct