Knowledge Representation and Reasoning (KR&R)

Notes:

Knowledge representation and reasoning (KRR) is a subfield of artificial intelligence (AI) that is concerned with the representation and manipulation of knowledge in a way that enables computers to reason about and solve problems. KRR involves representing knowledge in a formal, logical way that can be understood and processed by computers, and developing algorithms and methods for reasoning about that knowledge to solve problems and make decisions.

KRR has a wide range of applications in various fields, including natural language processing, computer vision, robotics, and more. It is used to represent and reason about a wide variety of knowledge types, including facts, rules, concepts, and relationships.

Some common techniques and tools used in KRR include:

Ontologies: Ontologies are formal, logical representations of knowledge that define the concepts and relationships in a specific domain. Ontologies can be used to represent knowledge about a wide range of topics, such as biology, medicine, or engineering.
Logic-based reasoning: Logic-based reasoning involves using logical rules and constraints to reason about and infer new knowledge from a set of given facts. This can be done using techniques such as propositional logic, first-order logic, or non-monotonic logic.
Rule-based systems: Rule-based systems are programs that use a set of rules to make decisions or solve problems. The rules are typically represented in a logical form, and they can be used to infer new knowledge or take actions based on the current state of the system.

Knowledge representation and reasoning (KRR) can be used in dialog systems to enable them to understand and reason about complex, natural language inputs and provide appropriate responses. KRR techniques and tools can be used to represent and reason about the meaning and context of language inputs, as well as the knowledge and goals of the dialog system and its users.

Here are some specific ways in which KRR can be used in dialog systems:

Natural language processing (NLP): KRR techniques can be used to represent and reason about the meaning and context of natural language inputs, such as speech or text. This can involve representing the meaning of words and phrases, as well as the relationships between them, in a logical form that can be understood and processed by the dialog system.
Knowledge representation: KRR techniques can be used to represent and reason about the knowledge and goals of the dialog system and its users. This can involve representing facts, rules, concepts, and relationships in a formal, logical way that can be understood and processed by the system.
Reasoning and decision-making: KRR techniques can be used to enable the dialog system to reason about and make decisions based on its knowledge and goals, as well as the inputs and goals of its users. This can involve using logic-based reasoning or rule-based systems to infer new knowledge or take actions based on the current state of the dialog.

Wikipedia:

Knowledge representation and reasoning

The RacerPro knowledge representation and reasoning system. V Haarslev, K Hidde, R Möller… – Semantic Web, 2012 – dynamiclearningcenter.com Abstract. 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. … Cited by 69 Related articles All 29 versions

Pharmacogenomic knowledge representation, reasoning and genome-based clinical decision support based on OWL 2 DL ontologies M Samwald, JAM Giménez, RD Boyce… – … and decision making, 2015 – biomedcentral.com Background Every year, hundreds of thousands of patients experience treatment failure or adverse drug reactions (ADRs), many of which could be prevented by pharmacogenomic testing. However, the primary knowledge needed for clinical pharmacogenomics is … Related articles All 10 versions

[BOOK] Knowledge representation and defeasible reasoning HE Kyburg Jr, RP Loui, GN Carlson – 2012 – books.google.com This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human,(other) ani mal, or machine. Its scope is intended to span the full … Cited by 19 Related articles All 4 versions

[BOOK] Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR’94) J Doyle, E Sandewall, P Torasso – 2014 – books.google.com Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR’94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for … Cited by 4 Related articles All 6 versions

Conceptual graph-based knowledge representation for supporting reasoning in African traditional medicine B Kamsu-Foguem, G Diallo, C Foguem – Engineering Applications of …, 2013 – Elsevier Although African patients use both conventional or modern and traditional healthcare simultaneously, it has been proven that 80% of people rely on African traditional medicine (ATM). ATM includes medical activities stemming from practices, customs and traditions … Cited by 27 Related articles All 7 versions

Configuration knowledge representation and reasoning L Hotz, A Felfernig, M Stumptner, A Ryabokon… – 2014 – hpctoday.com Abstract: Configuration models specify the set of possible configurations (solutions). A configuration model together with a defined set of (customer) requirements are the major elements of a configuration task (problem). In this chapter, we discuss different knowledge … Cited by 9 Related articles All 6 versions

Applying knowledge representation and reasoning to (simple) goal models A Borgida, J Horkoff… – Artificial Intelligence for …, 2014 – ieeexplore.ieee.org Abstract—We consider simple i*-style goal models with influence (contribution) links and AND/OR refinement (decomposition), and formalize them by translation into three standard logics that are actively studied in AI Knowledge Representation and Reasoning (KR&R): … Cited by 1 Related articles All 3 versions

Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning T Schaub – Principles and Practice of Constraint Programming, 2013 – Springer Abstract Answer Set Programming (ASP;[1, 2, 3]) is a declarative problem solving approach, combining a rich yet simple modeling language with high-performance Boolean constraint solving capacities. ASP is particularly suited for modeling problems in the area of … Related articles All 4 versions

Principles of Knowledge Representation and Reasoning B Nebel, S Wölfl, J Hué – 2013 – informatik.uni-freiburg.de Page 1. Principles of Knowledge Representation and Reasoning Semantic Networks and Description Logics IV: Description Logics – Algorithms Albert-Ludwigs-Universität Freiburg Bernhard Nebel, Stefan Wölfl, and Julien Hué January 25, 2013 Page 2. … Cited by 19 Related articles All 5 versions

[BOOK] Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected … M Croitoru, S Rudolph, S Woltran, C Gonzales – 2014 – books.google.com This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd … All 2 versions

[BOOK] Graph Structures for Knowledge Representation and Reasoning: Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised … M Croitoru, S Rudolph, N Wilson, J Howse, O Corby – 2012 – books.google.com This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the … All 2 versions

Graph Structures for Knowledge Representation and Reasoning M Croitoru, S Rudolph, N Wilson, H John, O Corby – 2012 – Springer Versatile and effective techniques for knowledge representation and reasoning (KRR) are essential for the development of successful intelligent systems. Many representatives of next generation KRR systems are based on graph-based knowledge representation … All 4 versions

Towards an architecture for knowledge representation and reasoning in robotics S Zhang, M Sridharan, M Gelfond, J Wyatt – Social Robotics, 2014 – Springer Abstract This paper describes an architecture that combines the complementary strengths of probabilistic graphical models and declarative programming to enable robots to represent and reason with qualitative and quantitative descriptions of uncertainty and domain … Cited by 5 Related articles All 8 versions

An Architecture for Knowledge Representation and Reasoning in Robotics S Zhang, M Sridharan… – … Reasoning ( …, 2014 – homepages.engineering.auckland. … Abstract This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason with, and learn from, qualitative and quantitative descriptions of uncertainty and … Cited by 1 Related articles All 5 versions

Dynamic uncertain causality graph for knowledge representation and reasoning: Discrete DAG cases Q Zhang – Journal of Computer Science and Technology, 2012 – Springer Abstract Developed from the dynamic causality diagram (DCD) model, a new approach for knowledge representation and reasoning named as dynamic uncertain causality graph (DUCG) is presented, which focuses on the compact representation of complex uncertain … Cited by 20 Related articles All 19 versions

Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics S Zhang, M Sridharan… – Planning and …, 2014 – homepages.engineering.auckland. … Abstract This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason with, and learn from, qualitative and quantitative descriptions of uncertainty and … Cited by 2 Related articles All 3 versions

Incremental tabling in support of knowledge representation and reasoning T Swift – arXiv preprint arXiv:1405.3547, 2014 – arxiv.org Abstract: Resolution-based Knowledge Representation and Reasoning (KRR) systems, such as Flora-2, Silk or Ergo, can scale to tens or hundreds of millions of facts, while supporting reasoning that includes Hilog, inheritance, defeasibility theories, and equality … Cited by 2 Related articles All 4 versions

Implementation of a knowledge representation and reasoning tool using default rules for a decision support system in agronomy applications P Buche, V Cucheval, A Diattara, J Fortin… – … Representation and …, 2014 – Springer Abstract This is an application paper in which we propose to use an extended version of the conceptual graph framework to represent and reason on expert knowledge for cheese making. In this extension, we propose to use default rules to represent specific pieces of … Cited by 2 Related articles All 9 versions

Knowledge representation and reasoning based on probabilistic graphical models embedded in an agent for object detection G Zhang, L Mao – Advanced Computer Control, 2014 – books.google.com Abstract A new method is proposed for uncertain and dynamic multisource knowledge representation and reasoning based on probabilistic graphical models embedded in an agent cycle for object detection problems. Firstly, factor graphs, a kind of probabilistic … Related articles

Dynamic adaptive fuzzy Petri nets for knowledge representation and reasoning HC Liu, QL Lin, LX Mao… – Systems, Man, and …, 2013 – ieeexplore.ieee.org Abstract—Although a promising tool for knowledge repre-sentation and reasoning, fuzzy Petri nets (FPNs) still suffer from some deficiencies. First, the parameters in current FPN models, such as weight, threshold, and certainty factor do not accurately represent … Cited by 12 Related articles All 3 versions

KR $^ 3$: An Architecture for Knowledge Representation and Reasoning in Robotics S Zhang, M Sridharan, M Gelfond, J Wyatt – arXiv preprint arXiv:1405.0999, 2014 – arxiv.org Abstract: This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason with, and learn from, qualitative and quantitative descriptions of uncertainty and … Related articles All 3 versions

Dynamic uncertain causality graph for knowledge representation and probabilistic reasoning: Statistics base, matrix, and application Q Zhang, C Dong, Y Cui, Z Yang – Neural Networks and …, 2014 – ieeexplore.ieee.org Abstract—Graphical models for probabilistic reasoning are now in widespread use. Many approaches have been developed such as Bayesian network. A newly developed approach named as dynamic uncertain causality graph (DUCG) is initially presented in a previous … Cited by 12 Related articles All 6 versions

A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets S Ribaric, T Hrkac – Information systems, 2012 – Elsevier 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 is … Cited by 10 Related articles All 7 versions

Dynamic Uncertain Causality Graph for Knowledge Representation and Probabilistic Reasoning: Directed Cyclic Graph and Joint Probability Distribution Q Zhang – 2015 – ieeexplore.ieee.org Bayesian network (BN) have been widely applied in uncertain causality representation and probabilistic reasoning. Dynamic uncertain causality graph (DUCG) is a newly presented model of PGMs, which can be applied to fault diagnosis of large and complex industrial … Related articles All 3 versions

Reasoning Algorithm for Hybrid Knowledge Representation P Tanwar, TV Prasad, K Datta – Architecture, 2013 – searchdl.org Abstract: Knowledge representation is most desirable area of research to make the system intelligent. Today is the ERA of knowledge that requires articulations, semantic, syntax etc. These requirements, forced to design a general system which is applicable to represent … Related articles All 2 versions

Comparative analysis of knowledge representation and reasoning requirements across a range of life sciences textbooks VK Chaudhri, D Elenius, A Goldenkranz… – Journal of …, 2014 – biomedcentral.com Abstract Background: Using knowledge representation for biomedical projects is now commonplace. In previous work, we represented the knowledge found in a college-level biology textbook in a fashion useful for answering questions. We showed that embedding … Cited by 1 Related articles All 9 versions

A knowledge representation language for natural language processing, simulation and reasoning M McSHANE, S Nirenburg – International Journal of Semantic …, 2012 – World Scientific OntoAgent is an environment that supports the cognitive modeling of societies of intelligent agents that emulate human beings. Like traditional intelligent agents, OntoAgent agents execute the core functionalities of perception, reasoning and action. Unlike most … Cited by 8 Related articles

EmotionO+: Physiological signals knowledge representation and emotion reasoning model for mental health monitoring Y Su, B Hu, L Xu, H Cai, P Moore… – … (BIBM), 2014 IEEE …, 2014 – ieeexplore.ieee.org Abstract—Emotion is an important indicator of depressive conditions. Emotion recognition based on physiological signals such as electroencephalogram (EEG) and functional nearinfrared spectroscopy (fNIRS) has gained significant attraction in healthcare domain … Related articles

Service configuration knowledge representation, acquisition and reasoning J Shen, B Wu – … and Service Management (ICSSSM), 2014 11th …, 2014 – ieeexplore.ieee.org Abstract—To appropriately meet increasingly diverse customer needs, services are committed to certain configuration in a paradigm similar with product mass customization. This paper presents a hybrid approach based on ontologies and rules to achieve … Related articles

Knowledge Representation and Reasoning Control Strategy Based on Concept Cell J Han, Y Feng – International Conference on …, 2012 – ebooks.asmedigitalcollection.asme. … The uncertain knowledge representation and reasoning are the hotspot and core of artificial intelligence research. In the paper a unified framework for representing, reasoning and learning of uncertain information is put forward. The abstract degree is used to measure … All 2 versions

Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning C Baral, GD Giacomo, T Eiter – 2014 – dl.acm.org Abstract The KR Conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 KR conference was held as part of the Vienna …

The Knowledge Representation and Semantic Reasoning Realization of Productivity Grade Based on Ontology and SWRL L Ma, H Yu, Y Wang, G Chen – Computer and Computing Technologies in …, 2012 – Springer Abstract Semantic not consistency, and knowledge base is difficult to reuse and sharing are the key problems affecting the system development and application. This paper studies how to express the soil fertility level information using of the ontology and generate OWL ( … Cited by 4 Related articles All 3 versions

Domain specific knowledge representation for an intelligent tutoring system to teach algebraic reasoning M Arevalillo-Herráez, D Arnau… – Intelligent Tutoring …, 2012 – Springer Abstract Translation of word problems into symbolic notation is one of the most challenging steps in learning the algebraic method. This paper describes a domain-specific knowledge representation mechanism to support Intelligent Tutoring Systems (ITS) which focus on … Cited by 5 Related articles All 6 versions

Web-KR 2014: The 5th International Workshop on Web-scale Knowledge Representation, Retrieval and Reasoning Y Zeng, S Kotoulas, Z Huang – Proceedings of the 23rd ACM …, 2014 – dl.acm.org Abstract We organize and present the 5th version of the International Workshop on Web- scale Knowledge Representation, Retrieval and Reasoning (Web-KR 2014) as a continuous effort to discuss and provide possible theories and techniques to deal with the barriers for … Cited by 2 Related articles All 2 versions

WUENIC–A Case Study in Rule-Based Knowledge Representation and Reasoning R Kowalski, A Burton – New Frontiers in Artificial Intelligence, 2012 – Springer Abstract WUENIC is a rule-based system implemented as a logic program, developed by WHO and UNICEF for estimating global, country by country, infant immunization coverage. It possesses many of the characteristics of rule-based legislation, facilitating decisions that … Related articles All 9 versions

A new class of fuzzy Petri nets for knowledge representation and reasoning Z Suraj – Fundamenta Informaticae, 2013 – dl.acm.org Abstract This paper presents a new class of Petri nets called generalised fuzzy Petri nets. The new class extends the existing fuzzy Petri nets by introducing three operators in the form of triangular norms, which are supposed to function as substitute for the min, max and* … Cited by 3 Related articles All 6 versions

Knowledge representation and reasoning for intelligent software systems E Vassev, M Hinchey – Computer, 2011 – computer.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 … Cited by 11 Related articles All 10 versions

Knowledge representation and reasoning for qualitative spatial change S Wang, D Liu – Knowledge-Based Systems, 2012 – Elsevier Spatial change is an important phenomenon in many domains. The previous spatial change models can not support qualitative reasoning, so they are not suitable for knowledge based systems. We propose a knowledge representation and reasoning method for identity … Cited by 4 Related articles All 3 versions

Fuzzy Knowledge Representation and Reasoning of the Smart Grid Based on Medium Logic and Its Application J Wang, Q Wang, WQ Ma, DH Yao – Applied Mechanics and …, 2013 – Trans Tech Publ Abstract Medium logic completely reflects both the contrary relation and the contradictory relation. This paper introduces fuzzy privative and opposition privative in traditional knowledge representation. It takes a power transmission and distribution program for … Cited by 2 Related articles All 3 versions

[BOOK] Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday M Balduccini, TC Son – 2011 – books.google.com This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive … Cited by 3 Related articles All 4 versions

Knowledge representation and reasoning of XML with ontology F Zhang, L Yan, ZM Ma, J Cheng – … 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 … Cited by 12 Related articles

The Knowledge Representation and Reasoning for Agents Based on the Elderly Monitoring HJ Gu, SS Lu, YA Huang – Applied Mechanics and Materials, 2015 – Trans Tech Publ Abstract This paper provides a method to fuse the suggestions from multi-agents, which stand for the physicians, the guardians and the elderly. Because the background among the agents is quite different, an extended model is proposed for the formalization of … All 2 versions

Reasoning about object affordances in a knowledge base representation Y Zhu, A Fathi, L Fei-Fei – Computer Vision–ECCV 2014, 2014 – Springer … Now that we have learned a KB containing rich information about objects, their attributes and affordances, we show in this section a number of experiments to illustrate the effectiveness of this knowledge representation. We emphasize on the word reasoning. … Cited by 9 Related articles

Fuzzy multi entity bayesian networks: A model for imprecise knowledge representation and reasoning in high-level information fusion K Golestan, F Karray, MS Kamel – Fuzzy Systems (FUZZ-IEEE), …, 2014 – ieeexplore.ieee.org Abstract—This paper presents a novel comprehensive Fuzzy extension to Multi-Entity Bayesian Networks (MEBN) that is deemed a well-studied and theoretically rich language that expressively handles semantics analysis, and effectively model uncertainty … Cited by 1 Related articles All 2 versions

Knowledge acquisition and representation using fuzzy evidential reasoning and dynamic adaptive fuzzy Petri nets HC Liu, L Liu, QL Lin, N Liu – Cybernetics, IEEE Transactions …, 2013 – ieeexplore.ieee.org … its cross-functional and multidisciplinary nature. Second, as a promising tool for knowledge representation and reasoning, fuzzy Petri nets (FPNs) still suffer a couple of deficiencies. The parameters in current FPN models could … Cited by 12 Related articles All 5 versions

Fuzzy web knowledge aggregation, representation, and reasoning for online privacy and reputation management E Portmann, W Pedrycz – Fuzzy Cognitive Maps for Applied Sciences and …, 2014 – Springer … Page 13. 5 Fuzzy Web Knowledge Aggregation, Representation, and Reasoning 101 Fig. 5 Interactive knowledge representation if-then rules [41]. FCMs are appropriate to explicit the knowledge and experience which has been aggregated. … Cited by 8 Related articles All 5 versions

Agile sensor tasking for CoIST using natural language knowledge representation and reasoning D Braines, G de Mel… – SPIE …, 2014 – proceedings.spiedigitallibrary.org abstract We describe a system architecture aimed at supporting Intelligence, Surveillance, and Reconnaissance (ISR) activities in a Company Intelligence Support Team (CoIST) using natural language-based knowledge representation and reasoning, and semantic … Cited by 2 Related articles All 5 versions

Knowledge representation and reasoning based on generalised fuzzy Petri nets Z Suraj – Intelligent Systems Design and Applications (ISDA), …, 2012 – ieeexplore.ieee.org Abstract—The aim of this paper is to present a new methodology for knowledge representation and reasoning based on generalised fuzzy Petri nets. Recently, this net model has been proposed as a new class of fuzzy Petri nets. The new class extends the … Cited by 3 Related articles All 2 versions

The recommendation system knowledge representation and reasoning procedures under uncertainty for metal casting S Kluska-Nawarecka, E Nawarecki, B ?nie?y?ski… – Metalurgija, 2015 – hrcak.srce.hr Sažetak The paper presents an information system dedicated to requirements recommendation and knowledge sharing. It presents methodology of constructing domain knowledge base and application procedure on the example of production technology of … Related articles All 3 versions

The 2012 international workshop on web-scale knowledge representation, retrieval, and reasoning S Kotoulas, Y Zeng, Z Huang – … of the 21st ACM international conference …, 2012 – dl.acm.org Abstract The rapid and perpetual growth of knowledge on the Web has given rise to many grand challenges (such as scalability, inconsistency, uncertainty, distribution and dynamics) for traditional knowledge processing methods and systems. Knowledge representation, … Related articles All 3 versions

Knowledge Representation and Reasoning in the Semantic Web Z Ma, F Zhang, L Yan, J Cheng – Fuzzy Knowledge Management for the …, 2014 – Springer The Semantic Web (Berners-Lee et al. 2001) is an extension of the current Web, in which Web resources are given computer-understandable semantics, better enabling computers and people to work in cooperation. The development of the Semantic Web proceeds in … Related articles

Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots S Zhang, M Sridharan – arXiv preprint arXiv:1307.8084, 2013 – arxiv.org Abstract: For widespread deployment in domains characterized by partial observability, non- deterministic actions and unforeseen changes, robots need to adapt sensing, processing and interaction with humans to the tasks at hand. While robots typically cannot process all … Cited by 1 Related articles All 4 versions

Smart Grid Knowledge Representation and Reasoning Based on Adaptive Neuro-Fuzzy Inference System SH Lee, SJ Lee, KI Moon – … Journal of Software Engineering and Its …, 2014 – sersc.org Abstract Several models have been created for Smart Grid resource-allocation problem. The principal purpose of the models is to connect power sources with appropriate sinks when considering the input parameters of power balance and consumption size, etc. Fuzzy logic … Related articles All 3 versions

Knowledge Representation and Reasoning for Sensory-rich Smart Environments to Support Independent Living M Bhatt, HW Guesgen – Situational Awareness for Assistive …, 2012 – books.google.com Abstract. In recent years there has been growing interest in solutions for the delivery of clinical care for the elderly, due to the large increase in aging population. Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings … Related articles

Analysis and design of the knowledge representation for the implementation of a distributed reasoning MM Torres, ALL Cruces, JR Rodríguez… – Revista de Matemática …, 2011 – revistas.ucr.ac.cr Resumen La representación del conocimiento y el razonamiento forma parte fundamental del diseño del sistema experto. En el caso de estudio, el mundo real está representado porlos distintos eventos que se pueden manifestar en la operación de la planta nuclear. … Cited by 9 Related articles All 8 versions

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. C Baral, S Liang – KR, 2012 – public.asu.edu … Abstract In this paper we encode some of the reasoning methods used in frame based knowledge representation languages in an- swer set programming (ASP). In particular, we show how “cloning” and “unification” in frame based systems can be encoded in ASP. … Cited by 6 Related articles All 4 versions

System-independent approaches to diagnostic knowledge reasoning and representation for mechanical and thermal systems HK Ho, SSG Lee, MK Lim… – Condition Monitoring and …, 2012 – books.google.com … Causal modelling, ” deep” reasoning, and the accompanying emphasis on reasoning based on structure and function has made generic diagnostic reasoning and knowledge representation even more important and relevant. … Related articles

Service Configuration Knowledge Representation and Reasoning Based on a Hybrid Approach J Shen, B Wu – Service Sciences (ICSS), 2013 International …, 2013 – ieeexplore.ieee.org Abstract—To respond to diverse customer needs, services are customized and committed to certain configuration in a paradigm similar with product mass customization. In order to achieve efficient and effective service configuration in a sharable and reusable way, a … Related articles All 5 versions

The Perception-Conceptualisation-Knowledge Representation-Reasoning Representation-Action Cycle: The View from the Brain JG Taylor – Perception-Action Cycle, 2011 – Springer Abstract We consider new and important aspects of brain processing in which it is shown how perception, attention, reward, working memory, long-term memory, spatial and object recognition, conceptualisation and action can be melded together in a coherent manner. … Cited by 2 Related articles All 5 versions

Knowledge Representation and Reasoning for the Design of Resilient Sensor Networks D Kelle, T El-Mezyani, S Srivastava… – … Sensor Networks: The …, 2012 – books.google.com In this chapter, we propose a new approach for the design of resilient sensor networks using a knowledge representation (KR) formalism that will facilitate reasoning and collaboration among sensors. This approach utilizes abstract simplicial complexes (ASCs), which serve … Related articles

Ontology COKB for Knowledge Representation and Reasoning in Designing Knowledge-Based Systems NV Do – Intelligent Software Methodologies, Tools and …, 2014 – Springer Abstract Knowledge Representation and Reasoning is at the heart of the great challenge of Artificial Intelligence, especially knowledge-based systems, expert systems and intelligent problem solvers. The models for knowledge such as logics, semantic networks, … Related articles

Knowledge Representation and Reasoning C Grosan, A Abraham – Intelligent Systems, 2011 – Springer Introduction 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 … Related articles All 3 versions

Informed Virtual Geographic Environments for Knowledge Representation and Reasoning in Multiagent Geosimulations M Mekni, ET Environnement, B Moulin – 2011 – researchgate.net 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 … Cited by 1 Related articles

Non-monotonic Knowledge Representation and Reasoning for Natural Description of Gothic Cathedrals TG Carlson – 2012 – Citeseer The goal of the Architecture Represented Computationally (ARC) project is to transform user input or scholarly written descriptions of Gothic cathedrals into logical representations, allowing consistency validation, query-answering, and generation of precise descriptions … Related articles All 8 versions

Knowledge representation, reasoning and systems thinking under uncertainty B Khayut, L Fabri, M Abukhana – Computer Modelling and …, 2014 – ieeexplore.ieee.org The traditional methods of knowledge representation, reasoning and Systems Thinking are characterized with a) absence of the situational principle in knowledge control, b) scenarios, which are clearly defined in advance, c) not variability of structures and relationships in … Cited by 1 Related articles All 3 versions

Knowledge Representation and Reasoning Logic meets Probability Theory P Lucas, M van Otterlo, A Hommersom – 2012 – 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 All 6 versions

Diagnositic Knowledge Representation and Reasoning Based on Fuzzy Fault Petri Nets F Liu, J Hu, J Li – 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 … Cited by 1 Related articles All 4 versions

Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review A Soylu, P De Causmaecker… – International …, 2011 – inderscienceonline.com Increasing demand for large scale and highly complex systems and applications, particularly with the emergence of pervasive computing and the impact of adaptive systems, introduces significant challenges for software development, as well as for user-machine interaction. … Cited by 6 Related articles All 10 versions

Integrating Answer Set Programming and POMDPs for Knowledge Representation and Reasoning in Robotics S Zhang – 2013 – repositories.tdl.org Mobile robots equipped with multiple sensors and deployed in real-world domains frequently find it difficult to efficiently process all sensor inputs, operate without any human input and have possibly-relevant domain knowledge in advance. At the same time, robots … Related articles All 6 versions

Graph Based Knowledge Representation and Reasoning: Practical AI Applications M Croitoru – 2014 – hal-lirmm.ccsd.cnrs.fr My research interests are in the field of knowledge representation and reasoning (KRR). During and since my PhD (throughout my post-doc and lectureship) I have investigated graph-based KRR languages applied in different Artificial Intelligence (AI) fields. … Related articles All 17 versions

Non-classical logics for knowledge representation and reasoning L Giordano, V Gliozzi, N Olivetti, GL Pozzato… – Intelligenza …, 2011 – di.unito.it Abstract. 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 7 versions

Knowledge Representation and Reasoning on the Web of Data DT Santosh, PS Rao – International Journal of Computer Applications, 2012 – Citeseer ABSTRACT Finding the right information at the right time and in the right format becomes increasingly difficult as more information from myriad producers is made available to increasingly diverse communities of information consumers. The domain of eGovernment … Related articles All 3 versions

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 … Cited by 4 Related articles All 2 versions

Cognitive algorithms and systems: Reasoning and knowledge representation ASA Garcez, LC Lamb – Perception-Action Cycle, 2011 – Springer Abstract This chapter reviews recent advances in computational cognitive reasoning and their underlying algorithmic foundations. It summarises the neural-symbolic approach to cognition and computation. Neural-symbolic systems integrate two fundamental … Cited by 3 Related articles All 4 versions

Process Map Discovery from Business Policies: A Knowledge Representation Approach with Argumentative Reasoning (KR@ PMD) NK Janjua – A Defeasible Logic Programming-Based Framework to …, 2014 – Springer Abstract In Chap. 5, an Argumentation-enabled Web-based IDSS (Web@ IDSS) was proposed to help decision makers consider the structured information, which exists within the enterprise and/or in other enterprises, to represent, reason over it, resolve conflicts … Related articles

Knowledge of Flatness Evaluation Representation and Reasoning Based on Ontology X ZHENG, Y ZHONG – Modern Computer, 2013 – en.cnki.com.cn … 2(Intelligent Software Technology Key Laborator of BJUT,Beijing 100022,China);Application of Ontology-based Reasoning in Knowledge … Nan*,HUO Ming(School of Management and Economics,Tianjin University,Tianjin 300072,China);Knowledge representation method of … Related articles

Spatiotemporal knowledge representation and reasoning under uncertainty for action recognition in smart homes. F Amirjavid, K Bouchard, A Bouzouane, B Bouchard – MAICS, 2011 – researchgate.net Abstract We apply artificial intelligence techniques to perform data analysis and activity recognition in smart homes. Sensors embedded in smart home provide primary data to reason about observations and provide appropriate assistance for residents to complete … Cited by 1 Related articles All 6 versions

Case indexing in Case-Based Reasoning by applying Situation Operator Model as knowledge representation model A Sarkheyli, D Söffker – IFAC-PapersOnLine, 2015 – Elsevier Abstract Case-Based Reasoning (CBR) is an effective technique for solving cognitive problems. It maintains old experiences which are encountered in various problems and presented as cases in a case-base. Consequently, indexing the cases in memory is an …

Knowledge representation and reasoning of shearer conceptual design [J] H DING, Z YANG, J YAO – Machinery Design & Manufacture, 2011 – en.cnki.com.cn For reusing of design knowledge and experience of shearer conceptual design, aiming at the decomposability, diversity and fuzziness of knowledge in the field of shearer design, knowledge representation is proposed in it which is mainly the knowledge representation … Cited by 1 Related articles

Teaching Design on Knowledge Representation and Reasoning L CHANG, T GU, R DONG, Y ZHONG – Computer, 2011 – en.cnki.com.cn As the basis of intelligent information process, knowledge representation and reasoning is widely applied in many fields of computer science and artificial intelligence. The teaching of knowledge representation and reasoning is emphasized by two units in the Computing …

A Representation of Uncertain Knowledge of Rule Base Reasoning and Case Base Reasoning GB Chung, EY Roh, HM Chung – Journal of Korean Institute of …, 2011 – koreascience.or.kr … ? ? ? ? [1] I. Hatzilygeroudis and J. Prentzas, “Integrating (rules, neural networks) and cases for knowledge representation and reasoning in expert systems,” Expert Systems with Applications, vol. 27, pp. 63-75, 2004. [2] GH … Related articles

Multi-Dimension Sandpile Space: a new theory of representation and reasoning for experience knowledge Y Jin, W Hou, C Liu – Procedia Engineering, 2011 – Elsevier … representation and reasoning for experience knowledge … 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. … Related articles All 4 versions

Representation And Reasoning Of Fuzzy Knowledge With Its Different Negations In Financial Investment Decision-Making [J] XJP Zhenghua – Computer Applications and Software, 2011 – en.cnki.com.cn … ?Key Words?? Fuzzy set FScom Fuzzy knowledge representation and reasoning Fuzzy production rules Negation of knowledge ?Fund?? ??????????(60973156);; ?????????????? ?CateGory Index?? TP18 ?DOI?? CNKI:SUN:JYRJ.0.2011-03- … Cited by 2 Related articles

A New Study on Knowledge Representation and Knowledge Reasoning X FANG, J MA, C TAN, L DING – Journal of Hebei North University ( …, 2011 – en.cnki.com.cn Knowledge representation and knowledge reasoning is the research hotspot in the field of artificial intelligence. Contradiction of knowledge is the difficulty of research. To solve this problem knowledge representation model is sat up as a base, using the object oriented … Related articles

Business Personal Loan Approval Knowledge Representation and Reasoning LI Guang-ming – Computer Technology and Development, 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

Knowledge Representation and Reasoning Algorithm in Underwater Target Recognition R YAN, Y GAO, X WANG, Y PENG – Computer Simulation, 2011 – en.cnki.com.cn Underwater target has a great variety and strong recursiveness, the underwater target recognition has an increasingly sophisticated rules, and the target recognition has different weightings. All these factors have influenced the efficiency of the underwater target … Related articles

Knowledge Representation and Semantic Reasoning Research of Olympics J GUO, F HE – Computer Technology and Development, 2011 – en.cnki.com.cn For a long time, expert systems involved in the core technology-computer technology can not effectively solve the inference reasoning problems. Make the expert system has been the lack of intelligent reasoning and effective solution. And in the sharing and reuse is very … Related articles