Buscar
Mostrando ítems 11-20 de 4796
Introspection as an action in relational models
(Elsevier Science, 2019-11)
This work studies positive and negative introspection not as ‘static’ properties an agent might or might not have, but rather as epistemic actions that change the agent's knowledge. The proposed actions include not only ...
Copy and remove as dynamic operators
(Taylor & Francis, 2021-08)
In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and ...
Integrating discrete and continuous change in a logical framework
(WILEY-BLACKWELL, 1998)
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of ...
Reducing the gap between mobile and intelligent software agents
(Int Inst Informatics & Systemics, 2001-01-01)
This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an ...
La lógica deóntica de von Wright en Norm and Action: Estructura y problemas conceptualesVon Wright’s deontic logic inNorm and Action:Structure and conceptuals problems
(Facultad de Filosofía de la Universidad del Salvador, 2020-08)
En 1951 von Wright construyó el primer sistema de lógica deóntica, iniciando el estudio riguroso y sistemático de una nueva rama de la lógica: la lógica deóntica. Dicho sistema, a pesar de sus múltiples virtudes, posee una ...
SPECIFYING ACTIVE RULES FOR DATABASE MAINTENANCE
(SPRINGER, 2000)
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Firstly, the derivation of active rules that ...
Designing a scheduling logic controller for industry 4.0 environments
(Elsevier, 2019-09)
We present a new scheduling model with the capacity of addressing autonomously reschedules of production plans. The proposed model allows to consider the evolution of an optimized schedule (pseudo optimized) and to carry ...
EXPERT PANEL ON IN-SITU VISUAL INSPECTIONS FOR MASONRY CHURCHES MAINTENANCE STAGE
(VILNIUS GEDIMINAS TECH UNIV, 2021)
The incorporation of protocols in heritage building preservation is important for the definition of preventive conservation actions. Such integration is needed to avoid restoration actions and to promote preventive maintenance ...
Cognition and norms: toward a developmental account of moral agency in social dilemmas
(Frontiers in Psychology, 2018)
A logic-based agent that plans for extended reachability goals
(SPRINGER, 2008)
Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for ...