Two Forms of Dependence in Propositional Logic
... policies in order to discriminate among hypotheses (such as plausible diagnoses). For these two kinds of dependence, several definitions are introduced together with their specific interest, some characterizations are given, computational complexity issues are investigated, and some applications ran ...
... policies in order to discriminate among hypotheses (such as plausible diagnoses). For these two kinds of dependence, several definitions are introduced together with their specific interest, some characterizations are given, computational complexity issues are investigated, and some applications ran ...
Reasoning about Time
... I2 and I2 is before I3 , then one can infer that I1 is before I3 , independently of the events that occurred in I1 , I2 and I3 . By restricting the problem in this way, one can obtain better results than generalpurpose approaches. For example, with a careful definition of the temporal constraint lan ...
... I2 and I2 is before I3 , then one can infer that I1 is before I3 , independently of the events that occurred in I1 , I2 and I3 . By restricting the problem in this way, one can obtain better results than generalpurpose approaches. For example, with a careful definition of the temporal constraint lan ...
Logics for Collective Reasoning
... logics and in particular to Jean Yves Girard’s Linear Logic [5]: The structural rules of the sequent calculus determine the behavior of logical connectives. For instance, classical logic is imposed, by assuming weakening (W), contraction (C), and exchange (E) (cf. Table 1). Intuitively, (W) correspo ...
... logics and in particular to Jean Yves Girard’s Linear Logic [5]: The structural rules of the sequent calculus determine the behavior of logical connectives. For instance, classical logic is imposed, by assuming weakening (W), contraction (C), and exchange (E) (cf. Table 1). Intuitively, (W) correspo ...
AI Planning in Web Services Composition: a review of
... and that uses non-functional attributes (allowing QoS features) in the process of composition. ISP&E mentions the use of optimization in plan selection, but in a simplified way. We also observe in Table 1 that none of the reviewed solutions covers all issues stated in column 1. Planning using Web se ...
... and that uses non-functional attributes (allowing QoS features) in the process of composition. ISP&E mentions the use of optimization in plan selection, but in a simplified way. We also observe in Table 1 that none of the reviewed solutions covers all issues stated in column 1. Planning using Web se ...
Machine Ethics, the Frame Problem, and Theory of Mind
... of the robot is expanded. Letting M1 perform actions like moving towers around, throwing objects, and repainting towers, will make the programmer’s task a nightmare. Much like the inventive dunce of John McCarthy’s tale [4], we can envision an inventive evil mastermind that can contrive ways to expl ...
... of the robot is expanded. Letting M1 perform actions like moving towers around, throwing objects, and repainting towers, will make the programmer’s task a nightmare. Much like the inventive dunce of John McCarthy’s tale [4], we can envision an inventive evil mastermind that can contrive ways to expl ...
PDF
... E. Celaya, is with the Institut de Robòtica I Informàtica Industrial, CSICUPC, Barcelona, 08028, Spain (e-mail: celaya@iri.upc.edu). C. Torras is with the Institut de Robòtica I Informàtica Industrial, CSICUPC, Barcelona, 08028, Spain (e-mail: torras@iri.upc.edu). F. Wörgötter is with the Bernstein ...
... E. Celaya, is with the Institut de Robòtica I Informàtica Industrial, CSICUPC, Barcelona, 08028, Spain (e-mail: celaya@iri.upc.edu). C. Torras is with the Institut de Robòtica I Informàtica Industrial, CSICUPC, Barcelona, 08028, Spain (e-mail: torras@iri.upc.edu). F. Wörgötter is with the Bernstein ...
Introduction to Multi-Agent Systems
... Comparing the definitions above, we may identify two main trends in defining agents and agencies. Some researchers consider that we may talk and define an agent in isolation, while some others view agents mainly as entities acting in a collectively of other agents, therefore the multi-agent system ( ...
... Comparing the definitions above, we may identify two main trends in defining agents and agencies. Some researchers consider that we may talk and define an agent in isolation, while some others view agents mainly as entities acting in a collectively of other agents, therefore the multi-agent system ( ...
Integrating AI Techniques in Requirements Phase: A Literature Review
... two ends together to make a robust, reliable and well define framework of conventional software. This framework could help to provide greater power to the overall system. The principle of this methodology is captured in the notion of RUDE (Run, Understand, Debug, Edit) cycles and its modifications. ...
... two ends together to make a robust, reliable and well define framework of conventional software. This framework could help to provide greater power to the overall system. The principle of this methodology is captured in the notion of RUDE (Run, Understand, Debug, Edit) cycles and its modifications. ...
Personified Systems - Eldacur Technologies
... speaker is talking about, what the topic of a document is, then we have knowledge that will greatly improve our ability to choose the right transcription of the spoken word or to determine the correct word. Wisdom is often cited as the next step in the hierarchy, as the point where judgement comes ...
... speaker is talking about, what the topic of a document is, then we have knowledge that will greatly improve our ability to choose the right transcription of the spoken word or to determine the correct word. Wisdom is often cited as the next step in the hierarchy, as the point where judgement comes ...
Neural Network and Fuzzy Logic
... system’ that is systems that exhibit the characteristics we associated with intelligence in human behavior. Artificial intelligence is the branch of computer science that is concerned with automation of intelligent behavior. AI have many of technologies, some of them are neural network, Fuzzy logic, ...
... system’ that is systems that exhibit the characteristics we associated with intelligence in human behavior. Artificial intelligence is the branch of computer science that is concerned with automation of intelligent behavior. AI have many of technologies, some of them are neural network, Fuzzy logic, ...
Artificial Intelligence I Notes on Semantic Nets and Frames
... being done, in this case the book) and dative (the recipient of the action, in this case Mary). These different roles of objects in a sentence are known as cases. The fact that various natural languages make this case distinction can be used to support using it in artificial knowledge representatio ...
... being done, in this case the book) and dative (the recipient of the action, in this case Mary). These different roles of objects in a sentence are known as cases. The fact that various natural languages make this case distinction can be used to support using it in artificial knowledge representatio ...
Semantic Enrichment - UMKC School of Computing and Engineering
... several hundred thousands of concepts is extremely difficult, even with computational tools. By first classifying the concepts of a new terminology using the Semantic Network, this task becomes more manageable. A new concept does not have to be compared with every concept in the Metathesaurus, but o ...
... several hundred thousands of concepts is extremely difficult, even with computational tools. By first classifying the concepts of a new terminology using the Semantic Network, this task becomes more manageable. A new concept does not have to be compared with every concept in the Metathesaurus, but o ...
Ch 16. Artificial Intelligence
... machines will do a superior job. If complexity is high, either the programs are two slow or the code could not be written. ...
... machines will do a superior job. If complexity is high, either the programs are two slow or the code could not be written. ...
Modular Basic Action Theories - Department of Computer Science
... Hayes 1969) but wasn’t defined there. (McCarthy 1986) proposed to solve the frame and qualification problems by circumscription, but the proposed solution to the frame problem was incorrect. (Shanahan 1997) and (Reiter 2001) describe several situation calculus formalisms and give references” (see th ...
... Hayes 1969) but wasn’t defined there. (McCarthy 1986) proposed to solve the frame and qualification problems by circumscription, but the proposed solution to the frame problem was incorrect. (Shanahan 1997) and (Reiter 2001) describe several situation calculus formalisms and give references” (see th ...
Project Three
... departure from the Procedural and Logic languages of earlier, which were used primarily for the manipulation of numbers. Smalltalk 80 brought a new level of abstraction to programming languages, which included the use of a visual interface, modularization, inheritance, objects, and encapsulation. Wh ...
... departure from the Procedural and Logic languages of earlier, which were used primarily for the manipulation of numbers. Smalltalk 80 brought a new level of abstraction to programming languages, which included the use of a visual interface, modularization, inheritance, objects, and encapsulation. Wh ...
CUUS366-02 clean wjc
... within an environment. We look at the inputs, processes, outputs, feedback, and controls to identify bidirectional relationships that affect and constitute a system. In identifying parts and wholes, systems thinking does not reject the value of reductionist compartmentalization and componential anal ...
... within an environment. We look at the inputs, processes, outputs, feedback, and controls to identify bidirectional relationships that affect and constitute a system. In identifying parts and wholes, systems thinking does not reject the value of reductionist compartmentalization and componential anal ...
Generating New Beliefs From Old Fahiem Bacchus Adam J. Grove Joseph Y. Halpern
... objective, as its truth is determined by whether or not the probability of the set of worlds where Tweety flies is 0.8. Although we cannot easily characterize an agent’s degrees of beliefs as being correct or incorrect, it is nevertheless clear that these beliefs should have some relation to objecti ...
... objective, as its truth is determined by whether or not the probability of the set of worlds where Tweety flies is 0.8. Although we cannot easily characterize an agent’s degrees of beliefs as being correct or incorrect, it is nevertheless clear that these beliefs should have some relation to objecti ...
Strongly equivalent temporal logic programs
... or diagnostics. Default negation plays here a crucial role, as it allows representing the rule of inertia (that can be stated as “a fluent remains unchanged by default”) and avoid in this way the frame problem [11]. ASP can also be naturally used for solving other typical representational problems ...
... or diagnostics. Default negation plays here a crucial role, as it allows representing the rule of inertia (that can be stated as “a fluent remains unchanged by default”) and avoid in this way the frame problem [11]. ASP can also be naturally used for solving other typical representational problems ...
Automated Deduction Looking Ahead
... are actually two related procedures with the same general label; compare the two previously referenced papers or see, for example, Dechter and Pearl [1988].) The Davis-Putnam procedure has been used recently in the mathematics realm to solve some open problems in quasigroups (Slanet, Fujita, and Sti ...
... are actually two related procedures with the same general label; compare the two previously referenced papers or see, for example, Dechter and Pearl [1988].) The Davis-Putnam procedure has been used recently in the mathematics realm to solve some open problems in quasigroups (Slanet, Fujita, and Sti ...
position tracking system to find shortest path to object using
... Warshall and Robert Floyd in 1962 gave the Floyd-Warshall algorithms that solves all pair shortest path. Andrew Viterbi in 1967 gave the Viterbi algorithm that solves the shortest stochastic problem with an additional probabilistic weight on each node. Peter Hart, Nils Nilssons and Bertram Raphael i ...
... Warshall and Robert Floyd in 1962 gave the Floyd-Warshall algorithms that solves all pair shortest path. Andrew Viterbi in 1967 gave the Viterbi algorithm that solves the shortest stochastic problem with an additional probabilistic weight on each node. Peter Hart, Nils Nilssons and Bertram Raphael i ...
Stop Using Introspection to Gather Data for the Design of... Modeling and Spatial Assistance
... performance) the evidence is equivocal. However, in Knauff & Johnson-Laird (2002), it was argued that researchers often do not distinguish between ease of visualization and ease of constructing spatial representations. Rating studies, however, show that these factors can be separated. Their results ...
... performance) the evidence is equivocal. However, in Knauff & Johnson-Laird (2002), it was argued that researchers often do not distinguish between ease of visualization and ease of constructing spatial representations. Rating studies, however, show that these factors can be separated. Their results ...
PhD Thesis in Cognitive Science
... ability to understand. It is derived from the Latin verb intelligere which means to comprehend or perceive [9]. Dictionary definitions of intelligence are not very precise and objective. It is usually defined with synonymous words such as understanding, mind, mental ability, or with its sub-concepts ...
... ability to understand. It is derived from the Latin verb intelligere which means to comprehend or perceive [9]. Dictionary definitions of intelligence are not very precise and objective. It is usually defined with synonymous words such as understanding, mind, mental ability, or with its sub-concepts ...
Report of research activities in fuzzy AI and medicine at
... This application was developed in the frame of a start-up (Sensitive Technologies LLC). The system, based on two patents [7] is aimed to monitor infants aged 0 to 24 months that may be at risk of sudden infant death syndrome (SIDS), yet are living a normal life within their family. The dif®culty of ...
... This application was developed in the frame of a start-up (Sensitive Technologies LLC). The system, based on two patents [7] is aimed to monitor infants aged 0 to 24 months that may be at risk of sudden infant death syndrome (SIDS), yet are living a normal life within their family. The dif®culty of ...
(AI) and Ada: Integrating AI with Mainstream Software Engineering
... Our interest on this work, and a major objective of this report, is to begin to bridge the gap between the Ada and AI software cultures, a need that has already been acknowledged. “If Ada and AI are to coexist, an important element will be the ability for software engineers to understand knowledge ...
... Our interest on this work, and a major objective of this report, is to begin to bridge the gap between the Ada and AI software cultures, a need that has already been acknowledged. “If Ada and AI are to coexist, an important element will be the ability for software engineers to understand knowledge ...