Artificial Intelligence Applications for Improved Software Engineering
... been reported that there is a lack of user involvement during requirements (Hull, Jackson & Dick, 2005). In addition, some of these requirements are vague and cannot be easily validated. This includes statements related to system security (what is a secure system?), user interface (what is a user fr ...
... been reported that there is a lack of user involvement during requirements (Hull, Jackson & Dick, 2005). In addition, some of these requirements are vague and cannot be easily validated. This includes statements related to system security (what is a secure system?), user interface (what is a user fr ...
Ontology Integration Experienced on Medical Terminologies
... Most ontologies [13] are organized around a concept hierarchy (a tree or a directed acyclic graph). Many ontologies add rules, axioms, or other additional mechanisms to this backbone. In this paper, as a first step, we will only deal with integration of the concepts in the concept hierarchy. When in ...
... Most ontologies [13] are organized around a concept hierarchy (a tree or a directed acyclic graph). Many ontologies add rules, axioms, or other additional mechanisms to this backbone. In this paper, as a first step, we will only deal with integration of the concepts in the concept hierarchy. When in ...
New GML-Based Application Schema for Landforms, Processes and
... representation of 3-D objects for quite a while. The efforts of the International Organization for Standardization and the Open Geospatial Consortium deserve particular credit in this context. They are striving for standardization in order to achieve their main goal of interoperability of the differ ...
... representation of 3-D objects for quite a while. The efforts of the International Organization for Standardization and the Open Geospatial Consortium deserve particular credit in this context. They are striving for standardization in order to achieve their main goal of interoperability of the differ ...
Enhancing SAT Based Planning with Landmark Knowledge
... and the goal state. Multiple problems can be related to one domain. Several methods have been used to find plans. Examples are state-space search based methods and logic-based methods such as satisfiability (SAT). SAT encodings are a very powerful tool to express a wide range of combinatorial proble ...
... and the goal state. Multiple problems can be related to one domain. Several methods have been used to find plans. Examples are state-space search based methods and logic-based methods such as satisfiability (SAT). SAT encodings are a very powerful tool to express a wide range of combinatorial proble ...
Distractor Quality Analyze In Multiple Choice Questions
... synonymous terms are organized into groups and each group selects one term as a representative of this group, which is usually assigned to the code. Such representative is called "descriptor". "The descriptor (from Lat. Describo - describe) lexical unit (word, phrase) of information retrieval langua ...
... synonymous terms are organized into groups and each group selects one term as a representative of this group, which is usually assigned to the code. Such representative is called "descriptor". "The descriptor (from Lat. Describo - describe) lexical unit (word, phrase) of information retrieval langua ...
artificial intelligence planning for generative computer aided process
... the actions schemas available and the goals to be achieved, the graph is generated from the initial state to the goals, inserting at each moment those actions whose preconditions are satisfied in the current world state. On each stage of the generation process, all possible instantiations of the act ...
... the actions schemas available and the goals to be achieved, the graph is generated from the initial state to the goals, inserting at each moment those actions whose preconditions are satisfied in the current world state. On each stage of the generation process, all possible instantiations of the act ...
Semantics and Computational Semantics
... open problems that remain in the area offer many exciting opportunities for semanticists to continue to explore computational ideas and tools. For computer scientists, there is a special methodological place for a computational theory of represented meaning and its role in communication. Such a theo ...
... open problems that remain in the area offer many exciting opportunities for semanticists to continue to explore computational ideas and tools. For computer scientists, there is a special methodological place for a computational theory of represented meaning and its role in communication. Such a theo ...
Author / Computing, 2000, Vol. 0, Issue 0, 1
... assistant of John von Neumann. But later they worked completely independent from each other, not knowing the thoughts the other had concerning the power of the new electronic computers. A condensed summary of the research of John von Neumann concerning machine intelligence, or in his more low-key te ...
... assistant of John von Neumann. But later they worked completely independent from each other, not knowing the thoughts the other had concerning the power of the new electronic computers. A condensed summary of the research of John von Neumann concerning machine intelligence, or in his more low-key te ...
Only-Knowing - Department of Computer Science
... We will propose a new modal logic which simultaneously captures DL, AEL, and a variant of AEL due to Konolige (1988). This will allow us not only to study the properties of DL in terms of an underlying model of belief, but also the relationship among these three different forms of nonmonotonic reaso ...
... We will propose a new modal logic which simultaneously captures DL, AEL, and a variant of AEL due to Konolige (1988). This will allow us not only to study the properties of DL in terms of an underlying model of belief, but also the relationship among these three different forms of nonmonotonic reaso ...
Chapter 9 Not Knowing Mar. `10 “Ignorance is the necessary
... maps cognitively virtuous inputs to cognitively virtuous outputs. It would be a mistake to think that whenever the good-to-good paradigm is honoured, inputs to our reasoning devices are free from the taint of ignorance (or in a softer version, lack of reason to believe). There are two interesting ki ...
... maps cognitively virtuous inputs to cognitively virtuous outputs. It would be a mistake to think that whenever the good-to-good paradigm is honoured, inputs to our reasoning devices are free from the taint of ignorance (or in a softer version, lack of reason to believe). There are two interesting ki ...
Unifying Logical and Statistical AI - Washington
... strand includes approaches like logic programming, description logics, classical planning, symbolic parsing, rule induction, etc. The second includes approaches like Bayesian networks, hidden Markov models, Markov decision processes, statistical parsing, neural networks, etc. Logical approaches tend ...
... strand includes approaches like logic programming, description logics, classical planning, symbolic parsing, rule induction, etc. The second includes approaches like Bayesian networks, hidden Markov models, Markov decision processes, statistical parsing, neural networks, etc. Logical approaches tend ...
Integrated cognitive architectures: a survey | SpringerLink
... be considered as short term memory. Information from the environment is made available in the working memory via perception, allowing appropriate actions to be chosen during domain-independent problem solving. The external environment can also be influenced by the architecture through the implementa ...
... be considered as short term memory. Information from the environment is made available in the working memory via perception, allowing appropriate actions to be chosen during domain-independent problem solving. The external environment can also be influenced by the architecture through the implementa ...
Building a Cultural Intelligence Decision Support System - R
... work environment. In addition, traditional business intelligence (BI) has encountered two challenges: the first involves determining the means of adapting to cultural diversity; the second pertains to treating cultural soft data for decision making [6]. Our claim is that when CQ is applied to indivi ...
... work environment. In addition, traditional business intelligence (BI) has encountered two challenges: the first involves determining the means of adapting to cultural diversity; the second pertains to treating cultural soft data for decision making [6]. Our claim is that when CQ is applied to indivi ...
Word - Pages
... believe they capture aspects common to each simulated world. Consequently, we only performed rule learning during the dry-run. We used Srinivasan's Aleph ILP system (Srinivasan 2001) running on the YAP Prolog system. Ground-truth was used for training examples (and not used otherwise). The best rule ...
... believe they capture aspects common to each simulated world. Consequently, we only performed rule learning during the dry-run. We used Srinivasan's Aleph ILP system (Srinivasan 2001) running on the YAP Prolog system. Ground-truth was used for training examples (and not used otherwise). The best rule ...
11 Mutation and analogy to support creativity in computer
... Creative design while highly valued is not currently supported by computer programs used during design. Research in design and artificial intelligence shows potential for improving our understanding of design and establishing computational models for creative design. Research in computational proces ...
... Creative design while highly valued is not currently supported by computer programs used during design. Research in design and artificial intelligence shows potential for improving our understanding of design and establishing computational models for creative design. Research in computational proces ...
A Gentle Introduction to Soar, an Architecture for Human
... in ways that are unrelated to our desires and intentions. If we want to cook dinner, we go to an appropriate location, gather ingredients and implements, then chop, stir and season until we’ve produced the desired result. We may have to learn new actions (braising rather than frying) or the correct ...
... in ways that are unrelated to our desires and intentions. If we want to cook dinner, we go to an appropriate location, gather ingredients and implements, then chop, stir and season until we’ve produced the desired result. We may have to learn new actions (braising rather than frying) or the correct ...
Connecting Conscious and Unconscious - Axel Cleeremans
... always consists of abstract, declarative, propositional-like representations. Implicit learning seemed to be irreconcilable with such assumptions: Not only does it often fail to result in propositional, verbalizable knowledge, but its central characteristic is probably its incidental nature, that is ...
... always consists of abstract, declarative, propositional-like representations. Implicit learning seemed to be irreconcilable with such assumptions: Not only does it often fail to result in propositional, verbalizable knowledge, but its central characteristic is probably its incidental nature, that is ...
Get Smart: How Intelligent Technology will Enhance
... system to address their problems. A smart system may exhibit one or a mix of SQs, which are summarized on page 7. The SQs overlap in some ways; for example, a learning system by definition is also an adapting system. As smart systems evolve, they will be limited only by human creativity. Ultimately, ...
... system to address their problems. A smart system may exhibit one or a mix of SQs, which are summarized on page 7. The SQs overlap in some ways; for example, a learning system by definition is also an adapting system. As smart systems evolve, they will be limited only by human creativity. Ultimately, ...
IFAC99 - University of Toronto
... • How do we express and reason about – motivations – rewards – different ways for achieving objectives • understanding “why” • opportunities and vulnerabilities ...
... • How do we express and reason about – motivations – rewards – different ways for achieving objectives • understanding “why” • opportunities and vulnerabilities ...
Paul R. Watkins, PhD - CV - College of Education | Idaho State
... Research Paper Discussant / Panel Member ............................................................................................................... 13 ...
... Research Paper Discussant / Panel Member ............................................................................................................... 13 ...
Reasoning about Topological and Positional Information in Dynamic Settings
... Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance systems for route finding, layout descriptions, and navigation tasks of robots interacting with humans. Often these formalisms ...
... Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance systems for route finding, layout descriptions, and navigation tasks of robots interacting with humans. Often these formalisms ...
Toward a General Logicist Methodology for Engineering Ethically
... Elementary logic is based on two particular systems that are universally regarded to constitute a large part of the foundation of AI: the propositional calculus, and the predicate calculus, where the second subsumes the first. The latter is also known as ‘first-order logic,’ and sometimes just ‘FOL. ...
... Elementary logic is based on two particular systems that are universally regarded to constitute a large part of the foundation of AI: the propositional calculus, and the predicate calculus, where the second subsumes the first. The latter is also known as ‘first-order logic,’ and sometimes just ‘FOL. ...
AAAI Proceedings Template - Advances in Cognitive Systems
... problem-solving tasks (Engelbart, 1962). Through the work of Engelbart’s Augmentation Research Center, and other groups in the 1950s and 1960s, many of the devices we take for granted today were invented as “augmentation” tools including: the mouse, interactive graphical displays, keyboards, trackba ...
... problem-solving tasks (Engelbart, 1962). Through the work of Engelbart’s Augmentation Research Center, and other groups in the 1950s and 1960s, many of the devices we take for granted today were invented as “augmentation” tools including: the mouse, interactive graphical displays, keyboards, trackba ...
Artificial Intelligence and Neural Networks The
... to programme these machines to play the game. At my present rate of working I produce about a thousand digits of programme a day, so that about sixty workers, working steadily through fifty years might accomplish the job, if nothing went into the wastepaper basket.” The time to construct a machine w ...
... to programme these machines to play the game. At my present rate of working I produce about a thousand digits of programme a day, so that about sixty workers, working steadily through fifty years might accomplish the job, if nothing went into the wastepaper basket.” The time to construct a machine w ...
Research Article An Emotional Agent Model Based on Granular
... is constructed by the facts of the outer world, the exterior environment and interior status. These facts are described by one order logic. Desire is the initial motivation of agent. It is the state for agent to reach or state set to keep, which is the goal set to implement. The plan and action are ...
... is constructed by the facts of the outer world, the exterior environment and interior status. These facts are described by one order logic. Desire is the initial motivation of agent. It is the state for agent to reach or state set to keep, which is the goal set to implement. The plan and action are ...