An approach for introducing default reasoning into first-order Horn clause theories is described. A default theory is expressed as a set of strict implications of the form a i A... A an D A and a set of default rules ...
详细信息
We have developed an annotated logic program called an EVALPSN(Extended Vector Annotated logic Program with Strong Negation), which can deal with defeasible deontic reasoning and some kinds of contradiction, and appli...
详细信息
ISBN:
(纸本)3540221174
We have developed an annotated logic program called an EVALPSN(Extended Vector Annotated logic Program with Strong Negation), which can deal with defeasible deontic reasoning and some kinds of contradiction, and applied EVALPSN to automatic safety verification, traffic signal control, robot action control, etc.. Generally, discrete event control can be represented as deontic rules such as it is forbidden for both the cat and mouse to occupy the same room simultaneously, and must deal with contradiction to avoid unexpected system states. We show that such discrete event control can be easily formalized in EVALPSN. In this paper, we introduce the application of EVALPSN to discrete event control with taking a famous example Cat and Mouse.
Many metalanguages and logical frameworks have emerged in recent years that use the terms of the lambda calculus as data structures. A common set of questions govern the suitability of a representation for lambda term...
详细信息
This paper proposes a formalized approach to the specification of experimental tasks in cognitive science. Put briefly, the proposal is to represent the structure of a task by a logic program that accepts only valid e...
详细信息
This paper surveys reduction or evaluation strategies for functional and functional logic programs. Reasonable reduction strategies for declarative languages must be efficiently implementable to be useful in practice....
详细信息
Enriching answer set programming with function symbols makes modeling easier, increases the expressive power, and allows us to deal with infinite domains. However, this comes at a cost: common inference tasks become u...
详细信息
The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set programming (ASP), and Constraint ASP...
详细信息
The relationships between configurable computing, ASICs, and microprocessors have several important implications. First, sequential programming languages and related compilation approaches are not likely to be a good ...
详细信息
The relationships between configurable computing, ASICs, and microprocessors have several important implications. First, sequential programming languages and related compilation approaches are not likely to be a good match for highly parallel configurable-computing applications. While it may be possible to achieve moderate speedup, significant speedup will only be achieved by directly exploiting massive amounts of parallelism. This is currently done using low-level circuit design tools. Second, the architectural organization will be much more distributed than is commonly found in existing computer systems. Finally, hybrid systems of microprocessors and FPGAs are best coupled flexibly to fully exploit the best features of each device.
The experiences and feelings in a first phase of transition from undergraduate to graduate courses may lead to some kind of anxiety, depression, malaise or loneliness that are not easily overwhelmed, no doubt the educ...
详细信息
ISBN:
(数字)9783030623623
ISBN:
(纸本)9783030623616;9783030623623
The experiences and feelings in a first phase of transition from undergraduate to graduate courses may lead to some kind of anxiety, depression, malaise or loneliness that are not easily overwhelmed, no doubt the educational character of each one comes into play, since the involvement of each student in academic practice depends on his/her openness to the world. In this study it will be analyzed and evaluated the relationships between academic experiences and the correspondent anxiety levels. Indeed, it is important not only a diagnose and evaluation of the students' needs for pedagogical and educational reorientation, but also an identification of what knowledge and attitudes subsist at different stages of their academic experience. The system envisaged stands for a Hybrid Artificial Intelligence Agency that integrates the phases of data gathering, processing and results' analysis. It intends to uncover the students' states of Adaptation, Anxiety and Anxiety Trait in terms of an evaluation of their entropic states, according to the 2nd Law of Thermodynamics, i.e., that energy cannot be created or destroyed;the total quantity of energy in the universe stays the same. The logic procedures are based on a logic programming approach to Knowledge Representation and Reasoning complemented with an Artificial Neural Network approach to computing.
暂无评论