Journal ArticleDOI
Prospective logic agents
Luís Moniz Pereira,Gonçalo Lopes +1 more
TLDR
This work starts by building on previous theoretical background, on evolving programs and on abduction, to construe a framework for prospection and describe an abstract procedure for its materialisation, and takes on several examples of modelling prospective logic programs that illustrate the proposed concepts.Abstract:
As we face the actual possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futures for any single agent. This issue brings the challenge of how to allow such evolving agents to be able to look ahead, prospectively, into such hypothetical futures, in order to determine the best courses of evolution from their own present, and thence to prefer amongst them. The concept of prospective logic programs is presented as a way to address such issues. We start by building on previous theoretical background, on evolving programs and on abduction, to construe a framework for prospection and describe an abstract procedure for its materialisation. We take on several examples of modelling prospective logic programs that illustrate the proposed concepts and briefly discuss the ACORDA system, a working implementation of the previously presented procedure. We conclude by elaborating about current limitations of the system...read more
Citations
More filters
Proceedings ArticleDOI
Modelling morality with prospective logic
TL;DR: This work model various moral dilemmas taken from the classic trolley problem and employ the principle of double effect as the moral rule and shows how moral decisions can be drawn computationally by using prospective logic programs.
Book ChapterDOI
Moral reasoning under uncertainty
TL;DR: In introducing various aspects of uncertainty into cases of classical trolley problem moral dilemmas, it is shown how they may appropriately influence moral judgments, allowing decision makers to opt for different choices, and for these to be externally appraised, even when subject to incomplete evidence, as in courts.
Book ChapterDOI
Inspecting and Preferring Abductive Models
TL;DR: This book consists of various contributions in conjunction with the keywords "reasoning" and "intelligent systems", which widely covers theoretical to practical aspects of intelligent systems.
Journal ArticleDOI
Evolutionary intelligence in asphalt pavement modeling and quality-of-information
José Neves,Jorge Ribeiro,Paulo A. A. Pereira,Victor Alves,José Machado,António Abelha,Paulo Novais,Cesar Analide,Manuel Filipe Santos,Manuel Fernández-Delgado +9 more
TL;DR: This paper presents a dynamic and formal model oriented to fulfill the task of making predictions for multi-failure criteria, in particular in scenarios with incomplete information; it is an intelligence tool that advances according to the quality-of-information of the extensions of the predicates that model the universe of discourse.
Journal ArticleDOI
Evolution prospection in decision making
TL;DR: This work provides a way for modelling its evolving knowledge base, including environment and course of evolution triggering of all active goals (desires), context-sensitive preferences and integrity constraints, and equips its agent with so-called evolution-level preferences mechanism, involving three distinct types of commitment.
References
More filters
Journal ArticleDOI
The independent choice logic for modelling multiple agents under uncertainty
TL;DR: It is argued that the ICL provides a natural and concise representation for multi-agent decision-making under uncertainty that allows for the representation of structured probability tables, the dynamic construction of networks and a way to handle uncertainty and decisions in a logical representation.
The role of abduction in logic programming
TL;DR: The general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning is outlined; the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure is described.
Journal ArticleDOI
Dynamic updates of non-monotonic knowledge bases
TL;DR: This paper introduces the paradigm of dynamic logic programming by introducing the notion of an update P U of one logic program P by another logic program U, and provides a precise semantic characterization of P U , and studies some basic properties of program updates.
Journal ArticleDOI
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
TL;DR: This article presents a method for classifying and characterizing the various different semantics of logic programs with negation and shows that the 3-valued version COMP 3 of Clark's completion, the stratified semantics M supp P as well as the well-founded semantics WFS and two extensions of it behave very regular.
Book ChapterDOI
Evolving Logic Programs
TL;DR: This paper describes a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP (after EVOlving Logic Programs).