Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by Luís Moniz Pereira

(view other items matching `Luís Moniz Pereira`,view all matches )
29 found
Order:

1 filter applied
  1.  36
    Programming Machine Ethics.Luís Moniz Pereira &Ari Saptawijaya -2016 - Cham: Springer Verlag. Edited by Ari Saptawijaya.
    Source: "This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita (...) of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics.". (shrink)
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  56
    Should I kill or rather not?Luis Moniz Pereira -2019 -AI and Society 34 (4):939-943.
  3.  50
    Epistemology and artificial intelligence.Gregory R. Wheeler &Luís Moniz Pereira -2004 -Journal of Applied Logic 2 (4):469-493.
  4. Reasoning with Logic Programming.José Júlio Alferes &Luís Moniz Pereira -2001 -Studia Logica 67 (1):118-120.
  5.  30
    Preferential theory revision.Pierangelo Dell'Acqua &Luís Moniz Pereira -2007 -Journal of Applied Logic 5 (4):586-601.
  6.  195
    Methodological naturalism and epistemic internalism.Gregory Wheeler &Luís Moniz Pereira -2008 -Synthese 163 (3):315-328.
    Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...) thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  33
    Logic programming for modeling morality.Ari Saptawijaya &Luís Moniz Pereira -2016 -Logic Journal of the IGPL 24 (4).
  8.  30
    An encompassing framework for Paraconsistent Logic Programs.João Alcântara,Carlos Viegas Damásio &Luís Moniz Pereira -2005 -Journal of Applied Logic 3 (1):67-95.
  9.  40
    Our Themes on Abduction in Human Reasoning: A Synopsis.Emmanuelle-Anna Dietz Saldanha,Steffen Hölldobler &Luís Moniz Pereira -2021 - In John R. Shook & Sami Paavola,Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice. Springer Verlag. pp. 279-293.
    Psychological experiments have shown that humans do not reason according to classical logic. Therefore, we might argue that logic-based approaches in general are not suitable for modeling human reasoning. Yet, we take a different view and are convinced that logic can help us as an underlying formalization of a cognitive theory, but claim rather that classical logic is not adequate for this purpose. In this chapter we investigate abduction and its link to human reasoning. In particular we discuss three different (...) variations we have explored and show how they can be adequately modeled within a novel computational and integrated, cognitive theory, the Weak Completion Semantics. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  39
    Introduction.Luís Moniz Pereira &Gregory Wheeler -2007 -Journal of Applied Logic 5 (4):575-576.
  11.  36
    Belief, provability, and logic programs.José Júlio Alferes &Luís Moniz Pereira -1995 -Journal of Applied Non-Classical Logics 5 (1):31-50.
  12.  21
    Common-sense reasoning as proto-scientific agent activity.Pierangelo Dell'Acqua &Luís Moniz Pereira -2004 -Journal of Applied Logic 2 (4):385-407.
  13.  23
    Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications.Claudio Delrieux &Luís Moniz Pereira -2004 -Journal of Applied Logic 2 (4):381-384.
  14.  27
    Knowledge assimilation in domains of actions: a possible causes approach.Renwei Li &Luís Moniz Pereira -1997 -Journal of Applied Non-Classical Logics 7 (1-2):77-116.
    ABSTRACT One major problem in the process of knowledge assimilation is how to deal with inconsistency of new knowledge and the existing knowledge base. In this paper we present a formal, provably correct and yet computational methodology for assimilation of new knowledge into knowledge bases about actions and changes based on the slogan: what is believed is what is explained. Technically, we employ Gelfond and Lifschitz' action description language A to describe domains of actions. The knowledge bases on domains of (...) actions are defined and obtained by a new translation from domain descriptions in A into abductive normal logic programs, where a time dimension is incorporated. The knowledge bases are shown to be both sound and complete with respect to their domain descriptions. In particular, we propose a possible causes approach (PCA) to knowledge assimilation about evolving domains of actions, in contrast to Ginsberg's possible worlds approach (PWA) and Winslett's possible models approach (PMA). A possible cause of new knowledge consists of abduced occurrences of actions and value propositions about the initial state of the domain of actions, that would allow to derive the new knowledge. We show how to compute possible causes with abductive logic programming, and present some techniques to improve search efficiency. We use examples to compare our possible causes approach with syntax-based approaches, such as Ginsberg's possible worlds approach, and semantics-based approaches, such as Winslett's possible models approach, to belief revision/update. (shrink)
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark  
  15.  25
    Preface.Manuel Ojeda-Aciego,Gerhard Brewka,Inma P. de Guzmán &Luís Moniz Pereira -2002 -Studia Logica 72 (1):3-5.
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark  
  16.  48
    ** A Incidência da Inteligência Artificial na Lógica.Luís Moniz Pereira -2001 -Disputatio (10):43-64.
    No categories
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark  
  17.  53
    A machine is cheaper than a human for the same task.Luís Moniz Pereira -2023 -AI and Society 38 (6):2709-2711.
  18.  40
    Cyberculture, symbiosis, and syncretism.Luís Moniz Pereira -2018 -AI and Society 33 (3):447-452.
    The impact of Cyberculture, of digital devices on young people as extensions of the body, can be seen in terms of the decreasing structuring of thoughts and information, increasing impulsivity in perception and action, and the development of more primitive defense mechanisms. These adverse impacts result in the feeling of isolation and devaluation, frustration of present and uncertainty of the future, exteriorization and floating identities, mimetic and adhesive identifications, less cohesion of the self, and decreasing tolerance of the other. This (...) paper focuses on the following themes: Symbiosis versus syncretism: The affirmations of symbiosis. The dilutions of syncretism. Synopsis: Too much syncretism, too little symbiosis. Lack of a deeper co-construction of knowledge, more lasting, and sustainable. Lack of increased more independent personal cognitive deepening. Lack of ability to be alone. Causality and free will: Symbiotic versus syncretic causality. Conclusions: Cyber-selfs—either distributed or not at all? (shrink)
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark  
  19. La incidencia filosófica de la programación lógica.Luís Moniz Pereira -2007 -Agora 26 (1):153-185.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  18
    Pensamento crítico.Luís Moniz Pereira -2007 -Critica.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  32
    The carousel of ethical machinery.Luís Moniz Pereira -2021 -AI and Society 36 (1):185-196.
    Human beings have been aware of the risks associated with knowledge or its associated technologies since the dawn of time. Not just in Greek mythology, but in the founding myths of Judeo-Christian religions, there are signs and warnings against these dangers. Yet, such warnings and forebodings have never made as much sense as they do today. This stems from the emergence of machines capable of cognitive functions performed exclusively by humans until recently. Besides those technical problems associated with its design (...) and conceptualization, the cognitive revolution, brought about by the development of AI also gives rise to social and economic problems that directly impact humanity. Therefore, it is vital and urgent to examine AI from a moral point of view. The moral problems are two-fold: on the one hand, those associated with the type of society we wish to promote through automation, complexification and power of data processing available today; on the other, how to program decision-making machines according to moral principles acceptable to those humans who will share knowledge and action with them. (shrink)
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark  
  22. Counterfactuals in Logic Programming.Ari Saptawijaya,Luís Pereira &Luís Moniz Pereira -2016 - In Luís Moniz Pereira & Ari Saptawijaya,Programming Machine Ethics. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Modeling Collective Morality via Evolutionary Game Theory.Ari Saptawijaya,Luís Pereira &Luís Moniz Pereira -2016 - In Luís Moniz Pereira & Ari Saptawijaya,Programming Machine Ethics. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  24. Representing Morality in Logic Programming.Ari Saptawijaya,Luís Pereira &Luís Moniz Pereira -2016 - In Luís Moniz Pereira & Ari Saptawijaya,Programming Machine Ethics. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Significant Moral Facets Amenable to Logic Programming.Ari Saptawijaya,Luís Pereira &Luís Moniz Pereira -2016 - In Luís Moniz Pereira & Ari Saptawijaya,Programming Machine Ethics. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Tabling in Abduction and Updating.Ari Saptawijaya,Luís Pereira &Luís Moniz Pereira -2016 - In Luís Moniz Pereira & Ari Saptawijaya,Programming Machine Ethics. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  8
    Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes,Luis Moniz Pereira &Ewa Orlowska -1996 - Springer Verlag.
    This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix,Luís Moniz Pereira &Teodor C. Przymusinski -2001 -Studia Logica 68 (2):299-300.
  29. Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers'.J. Dix,Luís Moniz Pereira &Teodor C. Przymusinski -1997
     
    Export citation  
     
    Bookmark  
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-6dc498764b-td4v8 uwo
[8]ページ先頭
©2009-2025 Movatter.jp