Knowledge Representation and Reasoning
[PDF] from springer.comC Grosan... - Intelligent Systems, 2011 - Springer
What is knowledge? In a very generic way, knowledge can be defined as information (which
can be expressed in the form of propositions) from the environment. What is knowledge
representation? Again, in simple words, can be defined as symbols used to represent the ...
Related articles - All 2 versions - Import into BibTeX
Bounded treewidth as a key to tractability of knowledge representation and reasoning
[PDF] from pitt.eduG Gottlob, R Pichler... - Artificial Intelligence, 2010 - Elsevier
Several forms of reasoning in AI-like abduction, closed world reasoning, circumscription,
and disjunctive logic programming-are well known to be intractable. In fact, many of the
relevant problems are on the second or third level of the polynomial hierarchy. In this ...
Cited by 26 - Related articles - BL Direct - All 24 versions - Import into BibTeX
[PDF] DLV: An Advanced System for Knowledge Representation and Reasoning
[PDF] from unige.itN Leone, W Faber, G Pfeifer, A Bria, F Calimeri... - 2009 - mrg.dist.unige.it
DLV [5] is a KRR system which is based on Disjunctive Logic Programming (DLP)[6] under
the stable model semantics (also called Answer Set Programming)[4]. Roughly, a DLP
program is a set of disjunctive rules, ie, clauses of the form a1v··· van:-b1,···, bk, not bk+ 1,·· ...
Related articles - View as HTML - All 7 versions - Import into BibTeX
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference (KR 2008)
G Brewka... - 2008 - basepub.dauphine.fr
Résumé en anglais: Knowledge representation and reasoning (KR&R) lies at the heart of
artificial intelligence research and modern information technology. The highly ambitious
goal of the field is to provide computational methods for effectively storing, retrieving, and ...
Cached - Import into BibTeX
First IJCAI International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR@ IJCAI'09)
[PDF] from cnrs.frM Croitoru, C Gonzales, J Lang, B Motik... - 2009 - hal-lirmm.ccsd.cnrs.fr
The development of effective techniques for knowledge representation and reasoning (KRR)
is a crucial aspect of successful intelligent systems. Different representation paradigms, as
well as their use in dedicated reasoning systems, have been extensively studied in the ...
Related articles - All 4 versions - Import into BibTeX
[PDF] Principles of Knowledge Representation and Reasoning
[PDF] from uni-freiburg.deN Reasoning III, B Nebel, M Helmert, S Wölfl... - 2010 - informatik.uni-freiburg.de
In conventional logic, we have the logical consequence relation a|= ß: If a is true, then also ß
is true. Instead, we will study the relation of plausible consequence a|~ ß: if a is all we know,
can we conclude ß? a|~ ß does not imply a? a|~ ß! Compare to conditional probability: ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
L de Moura, C Lutz... - ... Knowledge Representation and Reasoning, 2010 - aaai.org
Constraint satisfaction problems arise in many diverse areas including software and
hardware verification, type inference, extended static checking, test-case generation,
scheduling, planning, graph problems, among others. The most well-known constraint ...
All 2 versions - Import into BibTeX
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
C Baral, I Horrocks... - ... of Knowledge Representation and ..., 2010 - aaai.org
We often deal with dynamic worlds where actions are executed by agents and events may
happen. Examples of such worlds range from virtual worlds such as the world of a database
to robots and humans in physical worlds. To understand the dynamics of such worlds as ...
All 2 versions - Import into BibTeX
[CITATION] ... of AKRR'08, the 2nd International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, Porvoo, Finland, September ...
T Honkela, M Pöllä, MS Paukkeri... - 2008 - Helsinki University of Technology
Library Search - Import into BibTeX
Knowledge representation and reasoning methodology based on CBR algorithm for modular fixture design
[PDF] from ksu.edu.twSS Huang... - 2009 - ir.lib.ksu.edu.tw
CBR algorithm provides a better knowledgetransfer and explanation than rule-based
inference. Itsolves new problems by adapting solutions that wereused to solve old problems.
Based on CBR algorithm, a methodology applied in modular fixture design andfocus on ...
Cited by 12 - Related articles - All 5 versions - Import into BibTeX
The RacerPro knowledge representation and reasoning system
[PDF] from franz.comV Haarslev, K Hidde, R Möller... - Semantic Web, 2011 - IOS Press
RacerPro is a software system for building applications based on ontologies. The backbone
of RacerPro is a description logic reasoner. It provides inference services for terminological
knowledge as well as for representations of knowledge about individuals. Based on new ...
Cited by 2 - Related articles - All 11 versions - Import into BibTeX
Development of a method for ontology-based empirical knowledge representation and reasoning
YJ Chen - Decision Support Systems, 2010 - Elsevier
In the knowledge economy era of the 21st century [14, 17], the competitive advantage of
enterprises has shifted from visible equipment, capital and labor in the past to invisible
knowledge nowadays. Knowledge can be distinguished into tacit knowledge and explicit ...
Cited by 6 - Related articles - All 4 versions - Import into BibTeX
Knowledge representation and reasoning of XML with ontology
F Zhang, L Yan, ZM Ma... - ... of the 2011 ACM Symposium on ..., 2011 - dl.acm.org
Abstract Today XML has reached a wide acceptance as the data exchange format for e-
commerce. Unfortunately, XML covers the syntactic level, but lacks semantics. Ontology can
represent shared domain knowledge and enable semantic interoperability. Therefore, in ...
Related articles - Import into BibTeX
Knowledge Representation and Reasoning
G Goerz - Internet: http://www8. informatik. unierlangen. ..., 2007 - informatik.uni-erlangen.de
1. What is Artificial Intelligence? 2. Fundamental Concepts: Knowledge, Concept Formation,
Knowledge Structures 3. Representation and Reasoning 4. (Logical) Domain Modelling 5.
First-Order Logic and Knowledge Representation 6. Description Logics (DL): Structural ...
Cited by 3 - Related articles - View as HTML - All 2 versions - Import into BibTeX
Non-classical logics for knowledge representation and reasoning
[PDF] from unito.itL Giordano, V Gliozzi, N Olivetti, GL Pozzato... - Intelligenza ..., 2011 - IOS Press
We briefly outline our research activity, started in the 90s, in the field of non-classical logics.
In particular, we describe our activity on the use of non-classical logics for knowledge
representation and on proof methods for non-monotonic and conditional logics.
Related articles - All 2 versions - Import into BibTeX
[PDF] Principles of Knowledge Representation and Reasoning
[PDF] from uni-freiburg.deB Nebel, M Helmert, S Wölfl... - 2010 - informatik.uni-freiburg.de
Consider a world (interpretation) w and a set of worlds W which are possible with respect to
w. A classical formula (with no modal operators) ? is true with respect to (w, W) iff ? is true in
w.? ? is true wrt (w, W) iff ? is true in all worlds in W.? ? is true wrt (w, W) iff ? is true in ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
A Language Based on Fuzzy SHIOQ (D)+ Datalog for Fuzzy Knowledge Representation and Reasoning
S Ding, SQ Tang, L Zhang... - ... Intelligence and Software ..., 2010 - ieeexplore.ieee.org
Abstract For the sophisticated representation and reasoning in the rule and logic layers of
the semantic Web, we propose a language which mainly based on the combination of fuzzy
description logic (fuzzy SHOIQ (D)) and rule system (Datalog). Section 2 presents the ...
Related articles - Import into BibTeX
Integrating natural language, knowledge representation and reasoning, and analogical processing to learn by reading
[PDF] from psu.eduKD Forbus, C Riesbeck, L Birnbaum... - PROCEEDINGS OF THE ..., 2007 - aaai.org
Abstract Learning by reading requires integrating several strands of AI research. We
describe a prototype system, Learning Reader, which combines natural language
processing, a large-scale knowledge base, and analogical processing to learn by reading ...
Cited by 13 - Related articles - BL Direct - All 14 versions - Import into BibTeX
Spatiotemporal Knowledge Representation and Reasoning under Uncertainty for Action Recognition in Smart Homes
F Amirjavid, A Bouzouane... - 2011 AAAI Spring Symposium ..., 2011 - aaai.org
Abstract We apply artificial intelligence techniques to perform data analysis and activity
recognition in smart homes. Sensors embedded in smart home provide primary data for
reasoning about observations. The final goal is to provide appropriate assistance for ...
Import into BibTeX
[CITATION] Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September ...
G Brewka... - 2008 - AAAI Press
Cited by 2 - Related articles - Import into BibTeX
Model-based knowledge representation and reasoning via answer set programming
[PDF] from pp.uaT Schaub - Proceedings of the 9th international conference on ..., 2008 - dl.acm.org
Abstract The field of knowledge representation and reasoning has been going through a
methodological shift during recent years. While the past was dominated by query-oriented
reasoning, model-based techniques become more and more popular nowadays. This ...
Cited by 3 - Related articles - BL Direct - All 11 versions - Import into BibTeX
A framework and computer system for knowledge-level acquisition, representation, and reasoning with process knowledge
[PDF] from upm.esJM Gómez-Pérez, M Erdmann, M Greaves... - International Journal of ..., 2010 - Elsevier
Related articles - All 5 versions - Import into BibTeX
An extension of SHOIQ (D)+ datalog for fuzzy knowledge representation and reasoning
S Ding... - Computational Intelligence and Natural ..., 2010 - ieeexplore.ieee.org
Abstract In order to extend the representation of description logic to fuzzy knowledge
domain, we propose a language which is an extension of description logic with rule system
(Datalog) and fuzzy expressive capabilities. Section 2 presents the syntax and semantics ...
Related articles - Import into BibTeX
Knowledge Representation and Reasoning for Intelligent Software Systems
E Vassev... - Computer, 2011 - ieeexplore.ieee.org
The concept of intelligence is built upon four fundamental elements: data, information,
knowledge, and wisdom (www. makhfi. com). In general, data takes the form of measures
and representations of the world-for example, raw facts and numbers. Information is ...
All 4 versions - Import into BibTeX
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
C Baral - Logic Programming, 2008 - Springer
Since the proposal of the stable model semantics [1] of logic programs there has been a lot
of developments that make answer set programs a suitable language for various kinds of
knowledge representation. The building blocks that make answer set programming a ...
Related articles - All 3 versions - Import into BibTeX
Development of a Method for Ontology-Based Empirical Knowledge Representation and Reasoning
T Wu - 2009 - ethesys.lib.ncku.edu.tw
Abstract With the advent of knowledge economy, knowledge has become the most important
asset of enterprises in the 21st century. There are also two types of knowledge: tacit and
explicit. Tacit knowledge is personal knowledge that is often difficult to articulate and ...
Related articles - Cached - All 2 versions - Import into BibTeX
[PDF] Sophisticated Knowledge Representation and Reasoning Requires Philosophy
[PDF] from rpiscrews.usS Bringsjord, M Clark... - ... in Information Science', ..., 2009 - kryten.mm.rpiscrews.us
Abstract Knowledge Representation and Reasoning (KR&R) is based on the idea that
propositional content can be rigorously represented in formal languages long the province
of logic, in such a way that these representations can be productively reasoned over by ...
Cited by 3 - Related articles - View as HTML - All 7 versions - Import into BibTeX
Knowledge representation and reasoning based on FRSN P system
T Wang, J Wang, H Peng... - Intelligent Control and ..., 2011 - ieeexplore.ieee.org
Abstract Spiking neural P systems are a new class of emerging and promising computing
models, but so far their ability to deal with fuzzy knowledge representation and fuzzy
reasoning is hardly ever studied. In this paper, we extend the works in [6] and present a ...
Related articles - Import into BibTeX
A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level petri nets
S Ribaric... - Information Systems, 2011 - Elsevier
Abstract In many application areas there is a need to represent human-like knowledge
related to spatio-temporal relations among multiple moving objects. This type of knowledge
is usually imprecise, vague and fuzzy, while the reasoning about spatio-temporal relations ...
Import into BibTeX
[PDF] Answer set programming, the solving paradigm for knowledge representation and reasoning
[PDF] from mpg.deT Schaub - ... Management: 4th International Conference, SUM 2010 ..., 2010 - mpi-inf.mpg.de
ASP is an approach to declarative problem solving, combining a rich yet simple modeling
language with high-performance solving capacities ASP has its roots in (logic-based)
knowledge representation and reasoning (deductive) databases constraint solving (in ...
Related articles - View as HTML - All 7 versions - Import into BibTeX
[BOOK] Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
M Balduccini... - 2011 - books.google.com
... Page 6. Preface Michael Gelfond has been an extraordinary mentor, teacher, and colleague
for many people in the knowledge representation and reasoning (KR&R), logic pro-
gramming (LP), and answer set programming (ASP) communities. ...
Library Search - All 3 versions - Import into BibTeX
A social vision of knowledge representation and reasoning
[PDF] from lmu.deF Bry... - SOFSEM 2010: Theory and Practice of Computer ..., 2010 - Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal,
thus stressing logical consistency and semantic homogeneity. On the way to consistent and
homogenous knowledge representation and reasoning, inconsistencies and divergent ...
Cited by 3 - Related articles - All 7 versions - Import into BibTeX
Informed Virtual Geographic Environments for Knowledge Representation and Reasoning in Multiagent Geosimulations
[PDF] from thinkmind.orgM Mekni... - ... 2011, The Third International Conference on ..., 2011 - thinkmind.org
Abstract: In this paper, we propose a novel approach that extends our Informed Virtual
Geographic Environment (IVGE) model in order to effectively manage knowledge about the
environment and support agents' cognitive capabilities and spatial behaviours. Our ...
Related articles - Import into BibTeX
[CITATION] Knowledge Representation and Reasoning for Breast Cancer Grading in Cognitive Virtual Microscope Framework
A Tutac, D Racoceanu, N Loménie, L Roux... - A* STAR Scientific ..., 2009
Cited by 2 - Related articles - Import into BibTeX
Narrative geospatial knowledge in ethnographies: Representation and reasoning
[PDF] from sinica.edu.twCL Chang, YH Chang, TR Chuang, DP Deng... - GeoSpatial ..., 2009 - Springer
... aboriginal settlements. These narratives con- stitute a form of geospatial knowledge,
and there is a need to develop knowledge representation and reasoning techniques
to help analyze lit- eratures, and to aid field works. In ...
Cited by 1 - Related articles - All 5 versions - Import into BibTeX
[PDF] Knowledge Representation and Reasoning System (KReS)-Alpha version report
[PDF] from cnr.itA Adamou, E Blomqvist, CE Bonafede, E Daga... - 2010 - stlab.istc.cnr.it
Page 1. Knowledge Representation and Reasoning System (KReS) - Alpha version report
Deliverable: 5.2 Intermediate report- Knowledge Representation and Reason- ing System
(KReS) - Alpha version report Delivery Date: August 31, 2010 ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
[PDF] An Overview of Two Approaches for Knowledge Representation and Reasoning in the Context of Planning
[PDF] from googlecode.comG Gelfond... - 2010 - cse591paper.googlecode.com
Dijkstra viewed programming as the process of the "refinement of specification." This applies
not only to imperative programming, but in the myriad fields of Artificial Intelligence
Research. It is especially made clear given that the levels of refinement we are able to ...
Related articles - View as HTML - Import into BibTeX
[PDF] Modular Knowledge Representation and Reasoning in the Semantic Web
[PDF] from uniba.skL Serafini... - Semantic Web Information Management: A ..., 2010 - ii.fmph.uniba.sk
Abstract Construction of modular ontologies by combining different modules is becoming a
necessity in ontology engineering in order to cope with the increasing complexity of the
ontologies and the domains they represent. The modular ontology approach takes ...
Cited by 1 - Related articles - View as HTML - All 3 versions - Import into BibTeX
Diagnositic Knowledge Representation and Reasoning Based on Fuzzy Fault Petri Nets
F Liu, J Hu... - Multimedia and Signal Processing (CMSP), ..., 2011 - ieeexplore.ieee.org
Abstract The core of fault diagnosis expert system is diagnostic knowledge representation
and reasoning. Fuzzy Petri nets (FPN) have been testified to an ideal tool for knowledge
representation and reasoning. However, when using FPN for diagnostic knowledge ...
Related articles - All 3 versions - Import into BibTeX
[CITATION] Knowledge representation and reasoning based on computability logic
W Xu... - Journal of Jilin University. v47, 2009
Cited by 3 - Related articles - Import into BibTeX
Formal Modelling, Knowledge Representation and Reasoning for Design and Development of User-centric Pervasive Software: A Meta-review
A Soylu, D Preuveneers, Y Berbers... - ... Journal of Metadata, ..., 2011 - lirias.kuleuven.be
... ITEM METADATA RECORD. Title: Formal Modelling, Knowledge Representation and Reasoning
for Design and Development of User-centric Pervasive Software: A Meta-review. ...
Cached - Import into BibTeX
[PDF] Principles of knowledge representation and reasoning
[PDF] from uni-freiburg.deWFOL FOL - eye, 2008 - informatik.uni-freiburg.de
? In FOL, the universe of discourse consists of objects, functions over these objects, and
relations over these objects.? Function symbols are mapped to functions, predicate
symbols are mapped to relations, and terms to objects.? Notation: Instead of I (x) we write ...
Cited by 6 - Related articles - View as HTML - Library Search - All 5 versions - Import into BibTeX
ON ONTOLOGY-BASED KNOWLEDGE REPRESENTATION AND REASONING IN MAS
H Xu... - Jisuanji Yingyong yu Ruanjian, 2010 - csa.com
We adopt ontology-based knowledge representation method to solve the multi-Agent
knowledge representation and to share the problems, as well as to implement the
automated reasoning and acquisition of the knowledge, and to realize the semantic ...
Import into BibTeX
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Y Jiang, Y Tang, J Wang... - Expert Systems With Applications, 2010 - Elsevier
... In fact, the DFCDR model is a distributed fuzzy extension of the context-domain relevance (CDR)
model. Keywords: Knowledge representation and reasoning; Context-aware systems; Fuzzy
ontologies; Distributed ontologies; Description logics. Article Outline. ...
Related articles - All 3 versions - Import into BibTeX
Study on spatial knowledge representation and reasoning based on Bayesian networks
J Huang, P Qi, Y Wu, Y Yuan... - Proceedings of SPIE, 2009 - link.aip.org
Spatial information plays an essential role on the progress of science and technology, and
has a profound impact on economic growth and society progress in the twenty-first century.
Spatial knowledge representation and reasoning are very important for us to utilize spatial ...
All 4 versions - Import into BibTeX
Cognitive Algorithms and Systems: Reasoning and Knowledge Representation
ASA Garcez... - Perception-Action Cycle, 2011 - Springer
... In d'Avila Garcez et al. (2002b, 2003a, 2004c) and d'Avila Garcez and Lamb (2004), a new
approach to knowledge representation and reasoning using neural-symbolic systems has been
proposed, establishing a class of connectionist nonclassical logics, including ...
Related articles - Import into BibTeX
[PDF] Knowledge Representation and Reasoning Lecture Notes 2009-2010
[PDF] from psu.eduP Lucas - 2010 - Citeseer
The term 'model-based reasoning'is used to refer to the use of models, by definitions
abstractions of systems in the real world, to solve various problems. Usually, such models
give insight into the workings of the system under study. Sometimes, the model includes ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
A new proposal of temporal production system for temporal knowledge representation and reasoning
L Wu, Y Tang... - ... Work in Design, 2008. CSCWD 2008. ..., 2008 - ieeexplore.ieee.org
Abstract Although researchers have long stressed the importance of temporal properties in
knowledge representation and reasoning, and a lot of temporal knowledge representation
frameworks are proposed, few is carried out in practical use. In this paper, a new temporal ...
Import into BibTeX
Multi-Dimension Sandpile Space: a new theory of representation and reasoning for experience knowledge
Y Jin, W Hou... - Procedia Engineering, 2011 - Elsevier
... management. There are already some researches about fuzzy knowledge
representation and reasoning at present, such as CBR (case-based reasoning)
[2], rough set [3], neural networks [4], Slope One [5], and so on. CBR ...
Import into BibTeX
Knowledge Representation and Reasoning of Cataloging Based on Domain Ontology and Rule
Q Wang, A Sui... - Management and Service Science, ..., 2009 - ieeexplore.ieee.org
Abstract The study of audio-video material cataloging on domain ontology and rule
reasoning will carve out a brand-new realm. Nowadays, the situation of setting many
general rules only out of data without domain knowledge will generate substantial useless ...
Related articles - Import into BibTeX
[CITATION] Knowledge Representation and Reasoning for a Model-based Approach to Higher Level Information Fusion
C Howard - 2010 - University of South Australia
Cited by 1 - Library Search - Import into BibTeX
Knowledge representation and non-monotonic reasoning
L Giordano... - A 25-year perspective on logic programming, 2010 - Springer
... In order to detect this colouring, the full answer set needs to be computed. ALP
[72,73,39] is a methodology for knowledge representation and reasoning, emerged
in the late '80s, which relies upon Page 8. 94 L. Giordano and F. Toni ...
Cited by 3 - Related articles - All 3 versions - Import into BibTeX
Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics
[PDF] from nrc-cnrc.gc.caJ Zhao, H Boley - 2010 - nparc.cisti-icist.nrc-cnrc.gc.ca
Abstract: The SemanticWeb is an evolving extension of theWorld WideWeb in which the
semantics of the available information are formally described, making it more machine-
interpretable. The current W3C standard for Semantic Web ontology languages, OWL, is ...
Cited by 2 - Related articles - All 5 versions - Import into BibTeX
Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning
X Zhong, H Fu... - Database Theory and Application, Bio-Science ..., 2010 - Springer
Theorem proving is an important topic in artificial intelligence. Several methods have
already been proposed in this field, especially in geometry theorem proving. Since they
belong to algebraic elimination method or artificial intelligence method, it is difficult to use ...
Related articles - All 3 versions - Import into BibTeX
Applying problem solving methods for process knowledge acquisition, representation, and reasoning
JM Gómez-Pérez, M Erdmann... - Proceedings of the 4th ..., 2007 - dl.acm.org
... 2 See http://www.collegeboard.com/student/testing/ap/about.html 3 www.ontoprise.de 15
Page 2. 4. Representation and reasoning formalism, which al- low formulating and exploiting
the relevant knowledge types across the knowledge lifecycle. ...
Cited by 6 - Related articles - All 2 versions - Import into BibTeX
Ontology-based knowledge representation and reasoning for cognitive radio
Y Wang - Information and Electronic Engineering, 2010 - csa.com
Effective knowledge modeling is one of the key issues in Cognitive Radio(CR). This paper
proposes an ontology-based model for CR knowledge representation. Concept extraction
and class analysis is performed for CR knowledge described by natural language, and ...
Import into BibTeX
[PDF] Knowledge representation and reasoning in modal higher-order logic
[PDF] from anu.edu.auJW Lloyd - 2007 - users.rsise.anu.edu.au
Abstract This paper studies knowledge representation and reasoning in a
polymorphicallytyped, multi-modal, probabilistic, higher-order logic. A detailed account of
the syntax and semantics of the logic is given. A reasoning system that combines ...
Cited by 9 - Related articles - View as HTML - All 4 versions - Import into BibTeX
[PDF] Knowledge Representation and Reasoning Logic meets Probability Theory
[PDF] from ru.nlP Lucas - 2010 - cs.ru.nl
Prolog is a simple, yet powerful programming language, based on the principles of first-
order predicate logic. The name of the language is an acronym for the French
'PROgrammation en LOGique'. About 1970, Prolog was designed by A. Colmerauer and P ...
Related articles - View as HTML - All 3 versions - Import into BibTeX
KRRT: knowledge representation and reasoning tutor system
[PDF] from us.esJA Alonso, GA Aranda... - Proceedings of the 11th ..., 2007 - dl.acm.org
Abstract Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial
Intelligence. A basic KR language is First-Order Logic (FOL), the most representative logic-
based representation language, which is part of almost any introductory AI course. In this ...
Cited by 4 - Related articles - BL Direct - All 5 versions - Import into BibTeX
Design expert system tool with hybrid knowledge representation and reasoning
ZS Jiang, YZ Wu, LP Chen... - International Journal of ..., 2008 - Inderscience
According to the characteristics and requirements for design expert systems, this paper
describes a Design Expert System Tool (DEST) with hybrid knowledge representation and
reasoning. The main goal is to provide an effective and convenient development ...
Related articles - All 6 versions - Import into BibTeX
Hybrid Knowledge Representation and Reasoning With Ontology and Rules for Product Engineering
JD Noh, HW Suh... - 2009 - link.aip.org
This paper proposes a framework for building product information model (PIM) and product
rule model (PRM), and integrated reasoning based on Description Frame Logic ([script
DFL])[1] for collaborative product engineering environments. Most of the previous ...
Import into BibTeX
A knowledge representation and reasoning based on Petri nets with spatio-temporal tokens
S Ribaric... - ... Conference on" Computer as a Tool", 2007 - ieeexplore.ieee.org
Abstract Knowledge representation of time and space, and reasoning about temporal and
spatial relations, are important areas in fields such as visual object tracking, robot vision,
multimedia, geographical information systems, etc. In this paper we present a formal ...
Cited by 6 - Related articles - All 3 versions - Import into BibTeX
Knowledge representation and reasoning for flight control system based on weighted fuzzy Petri nets
J Liu - Computer Science and Education (ICCSE), 2010 5th ..., 2010 - ieeexplore.ieee.org
Abstract To reach the high reliability of flight control software of unmanned aerial vehicle
(UAV), it is required to design a fault diagnosis expert system in flight control system. Our
main contribution to this work is in providing a fuzzy Petri Nets approach for modeling the ...
Related articles - Import into BibTeX
Analysis and Design of the Knowledge Representation for the Implementation of a Distributed Reasoning
M Mora-Torres, AL Laureano-Cruces... - ... de Matemática Teoría ..., 2009 - mendeley.com
... reference to library · Related research. Knowledge representation and reasoning in
the design of composite systems. Stephen Fickas, B Robert Helm in IEEE Transactions
on Software Engineering (1992). 7 readers Save reference ...
Cited by 2 - Related articles - Cached - Import into BibTeX
Knowledge representation and reasoning for Perceptual anchoring
[PDF] from oru.seJ Melchert, S Coradeschi... - Tools with Artificial ..., 2007 - ieeexplore.ieee.org
Abstract In this work we report results on the use of symbolic knowledge representation and
reasoning (KRR) for perceptual anchoring. Anchoring is the creation and maintenance of a
connection between the symbolic and perceptual description that refer to the same ...
Cited by 4 - Related articles - All 12 versions - Import into BibTeX
Knowledge Representation and Reasoning of Logistic System Based on Ontology and Rule
X LI, X NIE... - Journal of Tianjin University, 2008 - en.cnki.com.cn
The knowledge representation and reasoning in the logistics planning process were studied
to solve the information share and integrating for related concept. Appling ontology method
to analysis distribute order rulet, he concept and the attribute was used to formulate the ...
Cited by 2 - Related articles - Cached - Import into BibTeX
Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure
MH Ha, Y Li... - Soft Computing-A Fusion of Foundations, ..., 2007 - Springer
Abstract In the study of weighted fuzzy production rules (WFPRs) reasoning, we often need
to consider those rules whose consequences are represented by two or more propositions
connected by "AND" or "OR". To enhance the representation capability of those rules, this ...
Cited by 3 - Related articles - BL Direct - All 3 versions - Import into BibTeX
Knowledge representation and reasoning in conceptual spaces
JT Rickard, J Aisbett... - ... of Computational Intelligence ..., 2007 - ieeexplore.ieee.org
Abstract This paper presents a conceptual system in which concepts are defined by binary
associations between properties. Properties are measurable membership functions, defined
on sets equipped with a measure that is the disjoint domains of representation. Instances ...
Cited by 2 - Related articles - All 2 versions - Import into BibTeX
Edwards-Venn diagrams for knowledge representation and reasoning in industrial systems
A Dvoryanchikova, A Lobov, A Capanji... - ... (ETFA), 2010 IEEE ..., 2010 - ieeexplore.ieee.org
Abstract Edwards-Venn Diagrams (EVD) were introduced to facilitate knowledge
representation and reasoning in connectionistic approach for modeling industrial systems.
Semantic descriptions are seen helpful in solving the challenges of mass customization ...
Related articles - All 3 versions - Import into BibTeX
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks
MA Orgun, C Liu... - Mathematics in Computer Science, 2008 - Springer
... Section 3 presents timing systems based on local clocks, and discusses the proof system of TLC
bound on a timing system. Section 4 discusses knowledge representation and reasoning
techniques in knowledge-based systems involving multiple granularities of time. ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
Knowledge Representation and Reasoning Algorithm in Underwater Target Recognition
R YAN, Y GAO, X WANG... - Computer, 2011 - en.cnki.com.cn
YAN Rui-bing1, 2, GAO Ying1, WANG Xiu-liang1, PENG Yu-xin1 (1. Key Lab. of National
Sci. & Tech. of Underwater Information Process and Control, NPU, Xi'an Shanxi 710072,
China; 2. Chinese Army No. 91388, Zhanjiang Guangdong 524022, China)
Related articles - Cached - Import into BibTeX
Survey of Knowledge Representation and Reasoning Systems
[PDF] from dtic.milK Trentelman - 2009 - DTIC Document
Abstract: As part of the information fusion task we wish to automatically fuse information
derived from the text extraction process with data from a structured knowledge base. This
process will involve resolving, aggregating, integrating and abstracting information-via the ...
Cited by 1 - Related articles - Library Search - All 7 versions - Import into BibTeX
A unified logic framework for knowledge representation and reasoning to agent
L Xing-Hong, H Zhi-Qiu, L Quan... - Journal of Nanjing ..., 2008 - en.cnki.com.cn
Ling Xing-Hong1, 2, Huang Zhi-Qiu1, Liu Quan2, Li Fan-Zhang2, Cui Zhi-Ming2 (1. College
of Information Science and Technology, Nanjing University of Aeronautics and Astronautics,
Nanjing, 210016, China; 2. School of Computer Science and Technology, Soochow ...
Related articles - Cached - BL Direct - Import into BibTeX
Business Personal Loan Approval Knowledge Representation and Reasoning
LI Guang-ming - Computer, 2011 - en.cnki.com.cn
In the background of commercial personal loans, based on the techniques of semantic
ontology model, established commercial personal loans ontology, descript concept,
properties, structure standard and extracted concept properties range axiom something ...
Related articles - Cached - Import into BibTeX
Modular Knowledge Representation and Reasoning in the Semantic Web
L Sera?ni... - Semantic Web Information Management: ..., 2010 - books.google.com
Abstract Construction of modular ontologies by combining different modules is becoming a
necessity in ontology engineering in order to cope with the increasing complexity of the
ontologies and the domains they represent. The modular ontology approach takes ...
Related articles - Import into BibTeX
[CITATION] Knowledge representation and reasoning of logistic system based on ontology and rule
L Xiaohong, N Xufei... - Journal of Tianjin University, 2008
Cited by 2 - Related articles - Import into BibTeX
[CITATION] Knowledge Representation and Reasoning-An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: ...
L Giordano, V Gliozzi... - Lecture Notes in ..., 2007 - Berlin: Springer-Verlag, 1973-
Import into BibTeX
Automated river selection based on cartographic knowledge representation and reasoning [J]
F WU, X TAN, R ZHAI... - Journal of Liaoning Technical ..., 2007 - en.cnki.com.cn
River network is one of the most important features in maps. River selection is a key
operation in automated map generalization. The knowledge in automated river selection in
the paper includes structural river network data, river properties and selection rules. The ...
Cited by 3 - Related articles - Cached - Import into BibTeX
Knowledge Representation and Reasoning of Motor Fault Diagnosis with Description Logic
Q NIU, S XIA, G TAN... - Journal of Chinese Computer ..., 2009 - en.cnki.com.cn
NIU Qiang1, 2, XIA Shi-xiong1, TAN Guo-jun2, WANG Zhi11 (School of Computer Science &
Technology, China University of Mining and Technology, Xuzhou 211116, China) 2 (School
of Information and Electrical Engineering, China University of Mining and Technology, ...
Cached - Import into BibTeX
[PDF] Knowledge Representation and Reasoning in Natural Language Processing Systems
[PDF] from csconf.orgD Grigorova... - Proceedings of Fourth International Bulgarian-- ..., 2008 - csconf.org
Abstract: This paper presents a short analysis of the basic methods for knowledge
representation in the systems with artificial intelligence. The pros and cons of every method
have been reviewed. Reasoning capabilities of the methods are discussed, too. Based on ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
An Ordered Binary Decision Diagram Model for Production Knowledge Representation and its Reasoning
H Jie, L Fengying... - Genetic and Evolutionary ..., 2009 - ieeexplore.ieee.org
... And it is difficult to execute knowledge reasoning parallel[1]. Yao has used fuzzy timed Petri net
to model for Temporal Knowledge Representation and Reasoning[2]. And then, Fu and Luo have
presented a kind of Petri-Net model for production knowledge representation and ...
Related articles - All 4 versions - Import into BibTeX
Temporal knowledge representation and reasoning based on fuzzy timing Petri nets
J MA... - Journal of Zhengzhou University of Light Industry ( ..., 2008 - en.cnki.com.cn
A fuzzy time Petri net(FTPN) was defined to process uncertain temporal knowledge about conflict
based on existed research.The net adopts fuzzy firing interval and fuzzy temporal functions to
deal with issues with temporal uncertainty.It can be used to quantitatively analyze the ...
Related articles - Cached - Import into BibTeX
Graph-Based Knowledge Representation and Reasoning
M Chein - 2010 - hal-lirmm.ccsd.cnrs.fr
The model presented in this talk is a computational model. It aims at representing
knowledge by computational objects and at reasoning with the represented knowledge, ie,
at processing them by algorithms (philosophical or psychological aspects of knowledge ...
All 2 versions - Import into BibTeX
[CITATION] Session 6-Knowledge Representation and Reasoning-Improving Importance Sampling by Adaptive Split-Rejection Control in Bayesian Networks
C Yuan... - Lecture Notes in Computer ..., 2007 - Berlin: Springer-Verlag, 1973-
Import into BibTeX
[CITATION] Knowledge Representation and Reasoning-Fuzzy-Valued Transitive Inclusion Measure, Similarity Measure and Application to Approximate Reasoning
HY Zhang... - Lecture Notes in Computer ..., 2007 - Berlin: Springer-Verlag, 1973-
Import into BibTeX
Knowledge-base representation and reasoning for the autonomic management of pervasive healthcare
E Katsiri - Proceeding of the 2008 conference on Knowledge- ..., 2008 - dl.acm.org
... reactive (rule-based) manner. This means that the SMC model cannot be applied
directly to Body Sensor Networks; a new knowledge representation and reasoning
model is needed to program such devices. This paper discusses ...
Related articles - All 2 versions - Import into BibTeX
Study on Spatial Knowledge Representation and Reasoning Based on Bayesian Networks
H JIEJUN, QI PEIPEI, WU YANYAN... - Proceedings of SPIE, ..., 2008 - cat.inist.fr
Résumé/Abstract Spatial information plays an essential role on the progress of science and
technology, and has a profound impact on economic growth and society progress in the
twenty-first century. Spatial knowledge representation and reasoning are very important ...
Import into BibTeX
[CITATION] Editor's Introduction to" Knowledge Representation and Reasoning from Natural Language Texts"
K Kaneiwa - JOURNAL-JAPANESE SOCIETY ..., 2007 - JAPANESE SOC ARTIFICIAL ...
BL Direct - Import into BibTeX
[CITATION] Knowledge Representation and Reasoning-Simple Model-Based Exploration and Exploitation of Markov Decision Processes Using the Elimination ...
E Novoa - Lecture Notes in Computer Science, 2007 - Berlin: Springer-Verlag, 1973-
Import into BibTeX
Layered Product Knowledge Representation and Reasoning with OWL & SWRL
H Suh - ?????? 2008 ?? ?? ? ?????? ???? ..., 2008 - dbpia.co.kr
In practice, the Web Ontology Language (OWL) is used as a standard ontology language to
represent product ontology. The main focus of this research has been on the product data
modeling language to extend the expressivity of OWL-DL by using the Semantic Web ...
All 2 versions - Import into BibTeX
[PDF] A Method of Dynamic Knowledge Representation and Reasoning Based on Fuzzy Petri Nets
[PDF] from kjdb.org???, ???... - Science & Technology Review, 2007 - kjdb.org
A method of dynamic knowledge representation and reasoning based on Fuzzy Petri Nets is
proposed for problems of knowledge of Fuzzy characteristics, where frequent updating of
knowledge is required in an expert system. Using the data obtained from the actual ...
Related articles - View as HTML - BL Direct - All 4 versions - Import into BibTeX
|
