Works (105)

Updated: April 4th, 2024 09:35

2021 journal article

Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse

ACM JOURNAL OF DATA AND INFORMATION QUALITY, 13(3).

By: R. Chirkova n, J. Doyle n & J. Reutter*

author keywords: Data and information quality; data integration in Big Data; data cleaning in Big Data; Big Data quality and analytics; Big Data quality in business process; Big Data quality management processes, frameworks and models
TL;DR: This research presents a meta-modelling architecture that automates the very labor-intensive and therefore time-heavy and therefore expensive process of manually cataloging and cataloging data in order to assess and improve the quality of data. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: February 21, 2022

2018 conference paper

An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control

In L. Jia & C. Morisset (Eds.), Workshop on Foundations of Computer Security (FCS 2018). https://www.andrew.cmu.edu/user/liminjia/events/fcs2018/papers/s21.pdf

By: J. Jiang, R. Chirkova, J. Doyle & A. Rosenthal

Ed(s): L. Jia & C. Morisset

Source: ORCID
Added: January 7, 2021

2018 article

Poster: Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control

SACMAT'18: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON ACCESS CONTROL MODELS & TECHNOLOGIES, pp. 217–219.

By: J. Jiang n, R. Chirkova n, J. Doyle n & A. Rosenthal*

Contributors: J. Jiang n, R. Chirkova n, J. Doyle n & A. Rosenthal*

author keywords: Attribute-based access control; security; policy formalism; logical models
TL;DR: This work proposes to recasting the high-level structure of ABAC models in a logical formalism that treats all actions uniformly and that keeps existing policy languages in place by interpreting their attributes in terms of the restructured model. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 12, 2019

2018 conference paper

The data readiness problem for relational databases

CEUR Workshop Proceedings, 2100. http://www.scopus.com/inward/record.url?eid=2-s2.0-85048411064&partnerID=MN8TOARS

By: R. Chirkova, J. Doyle & J. Reutter

Contributors: R. Chirkova, J. Doyle & J. Reutter

Source: ORCID
Added: December 6, 2019

2017 book

Discrete multi-agent plan recognition: Recognizing teams, goals, and plans from action sequences

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 212–228).

By: C. Argenta n & J. Doyle n

Contributors: C. Argenta n & J. Doyle n

author keywords: Multi-agent systems; Plan recognition
TL;DR: D discrete Multi-agent Plan Recognition as Planning is described, which extends Ramirez and Geffner’s Plan recognition as Planning approach to multi-agent domains and uses the planning domain and synthesizes plans to achieve hypothesized goals with additional constraints for suspected team composition and previous observations. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

2017 conference paper

Probabilistic multi-agent plan recognition as planning (P-Maprap): Recognizing teams, goals, and plans from action sequences

ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2, 575–582. http://www.scopus.com/inward/record.url?eid=2-s2.0-85068733514&partnerID=MN8TOARS

By: C. Argenta & J. Doyle

Contributors: C. Argenta & J. Doyle

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2016 conference paper

Coco: Runtime reasoning about conflicting commitments

IJCAI International Joint Conference on Artificial Intelligence, 2016-January, 17–23. http://www.scopus.com/inward/record.url?eid=2-s2.0-85006107006&partnerID=MN8TOARS

By: N. Ajmeri, J. Jiang, R. Chirkova, J. Doyle & M. Singh

Contributors: N. Ajmeri, J. Jiang, R. Chirkova, J. Doyle & M. Singh

Source: ORCID
Added: December 6, 2019

2016 conference paper

Multi-agent plan recognition as planning (MAPRAP)

ICAART 2016 - Proceedings of the 8th International Conference on Agents and Artificial Intelligence, 2, 141–148. http://www.scopus.com/inward/record.url?eid=2-s2.0-84969262826&partnerID=MN8TOARS

By: C. Argenta & J. Doyle

Contributors: C. Argenta & J. Doyle

Source: ORCID
Added: December 6, 2019

2016 conference paper

Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making

2016 ieee international professional communication conference (ipcc).

TL;DR: It is suggested that instructors and students should understand professional social networking as a multilayered practice of learning and sharing collective knowledge. (via Semantic Scholar)
UN Sustainable Development Goal Categories
8. Decent Work and Economic Growth (OpenAlex)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2015 journal article

An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics

BioData Mining, 8(1).

By: A. Beam, A. Motsinger-Reif n & J. Doyle n

Contributors: A. Beam, A. Motsinger-Reif n & J. Doyle n

author keywords: Dose-response; Epistasis; Bayesian nonparametric; Neural network; Machine learning
TL;DR: It is shown that MANOVA and the Bayesian nonparametric approach show good ability to detect trait-associated genetic variants under various possible genetic models, and may be due to marginal effects being present, even if the underlying genetic model does not explicitly contain them. (via Semantic Scholar)
Sources: ORCID, NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2015 chapter

Determining Query Readiness for Structured Data

In Big Data Analytics and Knowledge Discovery (Vol. 9263, pp. 3–14).

By: F. Alborzi n, R. Chirkova n, J. Doyle n & Y. Fathi n

Contributors: F. Alborzi n, R. Chirkova n, J. Doyle n & Y. Fathi n

author keywords: Big data quality; Big data analytics and user interfaces; Data readiness level; Data quality measurement; Data quality improvement
TL;DR: This study provides a formalization of DRL in a structured-data scenario, and illustrates how knowledge of rules and facts can be used to identify those transformations of the data that improve its DRL. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: ORCID, Crossref
Added: December 6, 2019

2015 conference paper

Determining query readiness for structured data

Big data analytics and knowledge discovery, 9263, 3–14.

By: F. Alborzi, R. Chirkova, J. Doyle & Y. Fathi

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

Fast Hamiltonian Monte Carlo Using GPU Computing

JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 25(2), 536–548.

By: A. Beam, S. Ghosh* & J. Doyle*

Contributors: A. Beam, S. Ghosh* & J. Doyle*

author keywords: GPU; Hamiltonian Monte Carlo; MCMC; Multinomial regression
TL;DR: The proposed computational framework may appear conceptually very simple, but has the potential to be applied to a wide class of hierarchical models relying on HMC sampling, whose posterior density and corresponding gradients are amenable to significant speed ups through the use of GPUs. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2015 conference paper

Understanding sanction under variable observability in a secure, collaborative environment

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS '15, 21-22-April-2015, 12:1–12:10.

By: H. Du n, B. Narron n, N. Ajmeri n, E. Berglund n, J. Doyle n & M. Singh n

Contributors: H. Du n, B. Narron n, N. Ajmeri n, E. Berglund n, J. Doyle n & M. Singh n

Event: the 2015 Symposium and Bootcamp at United States

TL;DR: CARLOS, a multiagent simulation of graduate students performing research within a university lab setting, is presented, to explore the combined effects of sanction and the observability of the sanctioner in a secure, collaborative environment and finds that only the latter hypothesis is supported. (via Semantic Scholar)
Sources: ORCID, Crossref, NC State University Libraries
Added: September 29, 2019

2014 journal article

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15(1), 368.

By: A. Beam*, A. Motsinger-Reif n & J. Doyle n

Contributors: A. Beam*, A. Motsinger-Reif n & J. Doyle n

MeSH headings : Bayes Theorem; Case-Control Studies; Computational Biology / methods; Epistasis, Genetic; Genetic Association Studies; Humans; Models, Genetic; Mycobacterium / pathogenicity; Neural Networks, Computer; Polymorphism, Single Nucleotide / genetics; Tuberculosis / genetics; Tuberculosis / microbiology
TL;DR: The proposed framework for a non-parametric Bayesian approach in the form of a Bayesian neural network is shown to be a powerful method for detecting causal SNPs while being computationally efficient enough to handle large datasets. (via Semantic Scholar)
Sources: ORCID, NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2013 article

Mechanics and Mental Change

Evolution of Semantic Systems, pp. 127–150.

By: J. Doyle n

TL;DR: This paper uses a simple kind of reasoning system from artificial intelligence to illustrate how mechanical concepts, including mental inertia, force, work, and constitutional elasticity, provide a new language and formal framework for analyzing and specifying limits on cognitive systems. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2013 chapter

Mechanics and mental change

In Evolution of Semantic Systems (pp. 127–150).

By: J. Doyle

Contributors: J. Doyle

TL;DR: Researchers in philosophy, computer science, and the natural sciences who work on the analysis or development of semantic systems, ontologies, or similar complex information structures will find a broad discussion of topics ranging from underlying universal principles to representation and processing aspects to paradigmatic examples. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

2012 article

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

By: A. Wicker n & J. Doyle n

Contributors: A. Wicker n & J. Doyle n

TL;DR: A new model of social influence is developed that recognizes and leverages multiple influence mechanisms and multiple types of relations among individuals that increases expressivity and extensibility over that of existing related models and facilitates analysis of influence effects in a multitude of social contexts. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2012 conference paper

Leveraging multiple mechanisms for information propagation

Advanced agent technology, 7068, 1–2.

By: A. Wicker & J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

UCON LEGAL

Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.

By: R. Gopalan n, A. Antón n & J. Doyle n

Contributors: R. Gopalan n, A. Antön n & J. Doyle n

TL;DR: A usage control model is proposed, UCONLEGAL, which extends UCONABC with components to model purposes, cross-references, exceptions, conditions, and logs, and is employed to show how to express the access and usage rules the authors identified in the HIPAA Privacy Rule. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2010 journal article

The local geometry of multiattribute tradeoff preferences

ARTIFICIAL INTELLIGENCE, 175(7-8), 1122–1152.

By: M. McGeachie* & J. Doyle n

Contributors: M. McGeachie* & J. Doyle n

author keywords: Decision theory; Preference representation; Multiattribute tradeoffs; Ceteris paribus reasoning
TL;DR: Directional derivatives and other concepts from elementary differential geometry are used to interpret conditional multiattribute ceteris paribus preference comparisons that state bounds on quantitative tradeoff ratios, extending the familiar economic notion of marginal rate of substitution to multiple continuous or discrete attributes. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2008 conference paper

Cognitive mechanics: Natural intelligence beyond biology and computation

AAAI Fall Symposium - Technical Report, FS-08-06, 35–37. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952157352&partnerID=MN8TOARS

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

2008 conference paper

Comparing preferences expressed by cp-networks (extended abstract)

AAAI Workshop - Technical Report, WS-08-09, 128–133. http://www.scopus.com/inward/record.url?eid=2-s2.0-66149165890&partnerID=MN8TOARS

By: A. Wicker & J. Doyle

Contributors: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2008 journal article

Semantic Parameterization: A Process for Modeling Domain Descriptions

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18(2).

By: T. Breaux n, A. Anton n & J. Doyle n

Contributors: T. Breaux n, A. Antón n & J. Doyle n

author keywords: Documentation; Standardization; Human Factors; Natural language; domain knowledge; formal specification; description logic
TL;DR: This article presents a systematic process called Semantic Parameterization for expressing natural language domain descriptions of goals as specifications in description logic, and allows engineers to automate inquiries using who, what, and where questions, completing the formalization of the ICM questions. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2007 conference paper

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report, WS-07-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849090045&partnerID=MN8TOARS

By: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Contributors: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Source: ORCID
Added: December 6, 2019

2007 journal article

AAAI-07 workshop reports

AI Magazine, 28(4), 119–128. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049150323&partnerID=MN8TOARS

By: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Contributors: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Source: ORCID
Added: December 6, 2019

2007 conference paper

Interest-matching comparisons using CP-nets

Proceedings of the National Conference on Artificial Intelligence, 2, 1914–1915. http://www.scopus.com/inward/record.url?eid=2-s2.0-36348991910&partnerID=MN8TOARS

By: A. Wicker & J. Doyle

Contributors: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2006 article

Attitudes, outlook, and memory

Extending Mechanics to Minds, pp. 251–275.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Bibliography

Extending Mechanics to Minds, pp. 429–442.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Dynamics

Extending Mechanics to Minds, pp. 135–172.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Effectiveness

Extending Mechanics to Minds, pp. 392–398.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 book

Extending Mechanics to Minds

In Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics (Vol. 9780521861977, pp. 1–453).

By: J. Doyle n

Contributors: J. Doyle n

TL;DR: The Metaphysics of Mechanics and Mechanical Minds, part I: Reconciling Natural and Mental Philosophy and the Conclusion of the Matter. (via Semantic Scholar)
Sources: ORCID, NC State University Libraries
Added: December 5, 2019

2006 book

Extending mechanics to minds: The mechanical foundations of psychology and economics

Cambridge; New York: Cambridge University Press.

By: J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

2006 article

Finitism

Extending Mechanics to Minds, pp. 399–404.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Kinematics

Extending Mechanics to Minds, pp. 88–134.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Learning

Extending Mechanics to Minds, pp. 326–345.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Materialism

Extending Mechanics to Minds, pp. 373–378.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Mechanical intelligence

Extending Mechanics to Minds, pp. 3–9.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Mental varieties

Extending Mechanics to Minds, pp. 225–240.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Mind and body

Extending Mechanics to Minds, pp. 241–250.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Outline of the book

Extending Mechanics to Minds, pp. xix-xxii.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Preface

Extending Mechanics to Minds, pp. xi-xviii.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Rationality

Extending Mechanics to Minds, pp. 295–325.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Reasoning

Extending Mechanics to Minds, pp. 276–294.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Reductionism

Extending Mechanics to Minds, pp. 379–391.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Reflections

Extending Mechanics to Minds, pp. 407–424.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

System of Notation

Extending Mechanics to Minds, pp. 425–428.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

The character of mechanical law

Extending Mechanics to Minds, pp. 173–222.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Uncertainty

Extending Mechanics to Minds, pp. 346–370.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

What is mechanics?

Extending Mechanics to Minds, pp. 71–87.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Why mechanics now?

Extending Mechanics to Minds, pp. 47–68.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2004 journal article

Computational intelligence: Preface

Computational Intelligence, 20(2), 109–110. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442596050&partnerID=MN8TOARS

By: U. Junker, J. Delgrande, J. Doyle, F. Rossi & T. Schaub

Contributors: U. Junker, J. Delgrande, J. Doyle, F. Rossi & T. Schaub

Source: ORCID
Added: December 6, 2019

2004 article

Prospects for preferences

Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136.

By: J. Doyle n

Contributors: J. Doyle n

author keywords: decision theory; preference; utility; rationality; limited rationality; reasoning; learning; preference representation; preference structure; preference change
TL;DR: Prospects for theories and methods of preferences are examined, both in the specific sense of the preferences of the ideal rational agents considered in economics and decision theory and in the broader interplay between reasoning and rationality considered in philosophy, psychology, and artificial intelligence. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2004 article

Utility functions for ceteris paribus preferences

McGeachie, M., & Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217.

By: M. McGeachie* & J. Doyle n

Contributors: M. Mcgeachie* & J. Doyle n

author keywords: qualitative decision theory; rationality; ceteris paribus preferences
TL;DR: An algorithm is presented that compiles a set of qualitative ceteris paribus preferences into an ordinal utility function and heuristics using utility independence and constraint‐based search to obtain efficient utility functions are presented. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2003 conference paper

<title>Detection of intrusion across multiple sensors</title>

In P. K. Willett & T. Kirubarajan (Eds.), System Diagnosis and Prognosis: Security and Condition Monitoring Issues III (Vol. 5107, pp. 141–149).

By: W. Long*, J. Doyle n, G. Burke* & P. Szolovits*

Contributors: W. Long*, J. Doyle n, G. Burke* & P. Szolovits*

Ed(s): P. Willett & T. Kirubarajan

author keywords: intrusion detection; architecture; sensors; distributed monitoring
TL;DR: The architecture enabling the creation, linking, and support of the monitors for sensing the data, abstracting and characterizing data, synchronizing data from different sources, detecting patterns, and displaying the results is discussed. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2003 article

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

Self-Adaptive Software: Applications, pp. 158–170.

By: J. Doyle n & M. McGeachie*

TL;DR: This paper explains how to use qualitative preference specifications to exercise effective control over quantitative trust-based resource allocation by facilitating convenient specification and adaptation of the stable foundations of the trust manager's utility judgments. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (OpenAlex)
Source: ORCID
Added: December 5, 2019

2003 chapter

Exercising qualitative control in autonomous adaptive survivable systems

In P. R. R. Laddaga & H. Shrobe (Eds.), Self-adaptive software: Applications: Second International Workshop, IWSAS 2001, Balatonfu?red, Hungary, May 17-19, 2001: Revised papers (Vol. 2614, pp. 158–170). Berlin; New York: Springer.

By: J. Doyle & M. McGeachie

Ed(s): P. R. Laddaga & H. Shrobe

Source: NC State University Libraries
Added: August 6, 2018

2003 book

Exercising qualitative control in autonomous adaptive survivable systems

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2614, pp. 158–170). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248852939&partnerID=MN8TOARS

By: J. Doyle & M. McGeachie

Contributors: J. Doyle & M. McGeachie

Source: ORCID
Added: December 6, 2019

2002 conference paper

Efficient utility functions for ceteris paribus preferences

Proceedings of the National Conference on Artificial Intelligence, 279–284. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036926279&partnerID=MN8TOARS

By: M. McGeachie & J. Doyle

Contributors: M. McGeachie & J. Doyle

Source: ORCID
Added: December 6, 2019

2002 article

What is Church's thesis? An outline

Doyle, J. (2002, November). MINDS AND MACHINES, Vol. 12, pp. 519–520.

By: J. Doyle n

Contributors: J. Doyle n

TL;DR: My suspicion is that physics is easily rich enough so that E2, the functions compatable in principle given Turing’s operations and equilibriating, include non-recursive functions. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2001 chapter

Active trust management for autonomous adaptive survivable systems

In H. S. P. Robertson & R. Laddaga (Eds.), Self-adaptive software: First international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000: Revised papers. Berlin; New York: Springer.

By: H. Shrobe & J. Doyle

Ed(s): H. P. Robertson & R. Laddaga

Source: NC State University Libraries
Added: August 6, 2018

2000 article

Active Trust Management for Autonomous Adaptive Survivable Systems (ATM’s for AAss’s)

Self-Adaptive Software, pp. 40–49.

By: H. Shrobe & J. Doyle*

TL;DR: The traditional approaches to building survivable systems assume a framework of absolute trust requiring a provably impenetrable and incorruptible Trusted Computing Base (TCB), but this work focuses on software systems that can provide useful services even when computational resource are compromised. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: December 5, 2019

1999 journal article

Background to qualitative decision theory

AI Magazine, 20(2), 55–68. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032641691&partnerID=MN8TOARS

By: J. Doyle & R. Thomason

Contributors: J. Doyle & R. Thomason

Source: ORCID
Added: December 6, 2019

1997 journal article

Strategic directions in artificial intelligence

AI Magazine, 18(1), 87–101. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031083786&partnerID=MN8TOARS

By: J. Doyle & T. Dean

Contributors: J. Doyle & T. Dean

Source: ORCID
Added: December 6, 2019

1996 journal article

Cleaving (unto) artificial intelligence

CSUR, 28(4es), 4-es.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1996 journal article

Editorial: Strategic directions in computing research

CSUR, 28(4), 565–574.

By: P. Wegner* & J. Doyle*

Contributors: P. Wegner* & J. Doyle*

TL;DR: The reports in this issue balance the desire of researchers to undertake core research with the need to build bridges connecting theory and practice, and the tension between supply-driven core research and demand-driven applications research—focused on solving external problems—is a permanent part of the strategic landscape. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1996 journal article

Strategic directions in artificial intelligence

CSUR, 28(4), 653–670.

By: J. Doyle* & T. Dean*

Contributors: J. Doyle* & T. Dean*

TL;DR: This report summarizes the major directions in artificial intelligence research, sets them in context relative to other areas of computing research, and gives a glimpse of the vision, depth, research partnerships, successes, and excitement of the field. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1995 chapter

A truth maintenance system

In Computation and intelligence: Collected readings. Menlo Park, CA: AAAI Press.

By: J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

1994 journal article

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE”

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE.” Computational Intelligence, 10(1), 46–48.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: In Kyburg (1993), Henry Kyburg describes the approach he intends to pursue in studying believing and reasoning-an approach based on the agent accepting conclusions on the basis of their probability relative to a body of background knowledge and evidence-and sketches some arguments for and against this approach in the course of describing his intent. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1994 article

Preface

Principles of Knowledge Representation and Reasoning, p. ix.

By: J. Doyle*, E. Sandewall & P. Torasso

Source: ORCID
Added: December 5, 2019

1994 journal article

Reasoned assumptions and rational psychology

Fundamenta Informaticae, 20(1-3), 35–73.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: This work presents a more direct mathematical development of nonmonotonic reasoning free of extraneous logical and epistemological assumptions, and argues that the insights gained exemplify the benefits obtained by approaching psychology as a subject for mathematical investigation through the discipline of rational psychology. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1992 journal article

EPILEGOMENON

Computational Intell, 8(2), 326–335.

By: E. Sacks & J. Doyle*

Contributors: E. Sacks & J. Doyle*

TL;DR: Rather than attempt a comprehensive response to every point raised by the commentators, the authors restate their major points and principal arguments, saying exactly what they intended to say in their paper, but in a form they hope will be less conducive to misunderstanding. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 article

Modular Utility Representation for Decision-Theoretic Planning

Artificial Intelligence Planning Systems, pp. 236–242.

By: M. Wellman* & J. Doyle*

TL;DR: This work seeks to use this utility-theoretic account to justify and improve existing mechanisms for specification of preference information, and to develop new representations exhibiting tractable specification and flexible composition of preference criteria. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 conference paper

Modular utility representation for decision-theoretic planning

236–242. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS

By: M. Wellman & J. Doyle

Contributors: M. Wellman & J. Doyle

Source: ORCID
Added: December 6, 2019

1992 journal article

PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS

Computational Intell, 8(2), 187–209.

By: E. Sacks* & J. Doyle*

Contributors: E. Sacks* & J. Doyle*

TL;DR: Preliminary evidence suggests that expert knowledge and reasoning methods can be automated directly, without restriction to the accepted language, representation, and algorithm. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 journal article

RATIONALITY AND ITS ROLES IN REASONING

Computational Intell, 8(2), 376–409.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: This work surveys the growing literature on how the basic notions of probability, utility, and rational choice, coupled with practical limitations on information and resources, influence the design and analysis of reasoning and representation systems. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 article

Rational Self-Government and Universal Default Logics

Economics and Cognitive Science, pp. 5–13.

By: J. Doyle* & M. Wellman

UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Source: ORCID
Added: December 5, 2019

1992 chapter

Rational self-government and universal default logics

In P. Bourgine & B. Walliser (Eds.), Economics and cognitive science. Oxford: Pergamon Press.

By: J. Doyle & M. Wellman

Ed(s): . P. Bourgine & B. Walliser

Source: NC State University Libraries
Added: August 6, 2018

1992 article

Reason maintenance and belief revision: Foundations versus coherence theories

(P. Gärdenfors, Ed.). Belief Revision, pp. 29–51.

By: J. Doyle*

Ed(s): P. Gärdenfors

Source: ORCID
Added: December 5, 2019

1991 article

A logic of relative desire

Methodologies for Intelligent Systems, pp. 16–31.

By: J. Doyle*, Y. Shoham* & M. Wellman*

Contributors: J. Doyle*, Y. Shoham* & M. Wellman*

TL;DR: This work provides a relative interpretation of goals as qualitative statements about preferability, and develops a propositional logic of relative desire suitable for formalizing properties of planning and problem-solving methods. (via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (OpenAlex)
Source: ORCID
Added: December 5, 2019

1991 journal article

Impediments to universal preference-based default theories

Artificial Intelligence, 49(1-3), 97–128.

By: J. Doyle* & M. Wellman

Contributors: J. Doyle* & M. Wellman

TL;DR: It is shown that the different categories of preferences conflict more than has been realized, and formal results from social choice theory are adapted to prove that every universal theory of default reasoning will violate at least one reasonable principle of rational reasoning. (via Semantic Scholar)
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Source: ORCID
Added: December 6, 2019

1991 journal article

Markov analysis of qualitative dynamics

Computational Intell, 7(1), 1–10.

By: J. Doyle* & E. Sacks*

Contributors: J. Doyle* & E. Sacks*

TL;DR: Methods of qualitative reasoning are extended to predict the relative likelihoods of possible qualitative behaviors by viewing the dynamics of a system as a Markov chain over its transition graph by adding qualitative or quantitative estimates of transition probabilities to each of the transitions. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1991 article

Rational control of reasoning in artificial intelligence

The Logic of Theory Change, pp. 19–48.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: It is shown how some of the means by which artificial reasoners tolerate and even exploit limitations in carrying out basic cognitive tasks may all be viewed as species of rationally guided or controlled reasoning, or more generally, as forms of rational self-government. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1991 journal article

Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services

Artificial Intelligence, 48(3), 261–297.

By: J. Doyle* & R. Patil

Contributors: J. Doyle* & R. Patil

TL;DR: It is argued that logical soundness, completeness, and worst-case complexity are inadequate measures for evaluating the utility of representation services, and that this evaluation should employ the broader notions of utility and rationality found in decision theory. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1990 journal article

Book review: Philosophical Logic and Artificial Intelligence. Edited by Richmond H. Thomason (Kluwer Academic Publishers, 1989)

SIGART Bull., 2(1), 77–78.

By: J. Doyle*

TL;DR: This book represents a welcome departure from the past, as many readers in AI avoid looking at books on philosophy and artificial intelligence, at least after seeing one or two of the genre. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1990 journal article

Perceptive questions about computation and cognition

Behav Brain Sci, 13(04), 661.

By: J. Doyle*

UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: ORCID
Added: December 5, 2019

1989 journal article

Constructive belief and rational representation

Computational Intell, 5(1), 1–11.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: It is argued that a more illuminating view is that belief is the result of rational representation, and in this theory, the agent obtains its constructive beliefs by using its manifest beliefs and preferences to rationally choose the most useful conclusions indicated by the manifest beliefs. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1987 article

Admissible State Semantics for Representational Systems

The Knowledge Frontier, pp. 174–186.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1987 journal article

Logic, rationality, and rational psychology

Computational Intell, 3(1), 175–176.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: In summary, McDermott’s critique of nonmonotonic logic is myopic, and it may be the case that nonMonotonic inference does not help the logicist position, but McDermott has not made this case. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1985 journal article

Circumscription and implicit definability

J Autom Reasoning, 1(4), 391–405.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: This work explores some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic and suggests some implications for artificial intelligence practice. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1985 journal article

Expert Systems and the “Myth” of Symbolic Reasoning

IEEE Transactions on Software Engineering, SE-11(11), 1386–1390.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: Elements of the artificial intelligence approach to expert systems offer great productivity advantages over traditional approaches to application systems development, even though the end result may be a program employing no AI techniques. (via Semantic Scholar)
UN Sustainable Development Goal Categories
8. Decent Work and Economic Growth (OpenAlex)
Source: ORCID
Added: December 6, 2019

1983 article

Admissible State Semantics for Representational Systems

Computer, Vol. 16, pp. 119–123.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: This work indicates how many kinds of informal semantics can be transformed directly into formal semantics of no greater complexity. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1983 conference paper

INS AND OUTS OF REASON MAINTENANCE.

1, 349–351. http://www.scopus.com/inward/record.url?eid=2-s2.0-0020909766&partnerID=MN8TOARS

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

1983 conference paper

SOCIETY OF MIND - MULTIPLE PERSPECTIVES, REASONED ASSUMPTIONS, AND VIRTUAL COPIES.

1, 309–314. http://www.scopus.com/inward/record.url?eid=2-s2.0-0020892425&partnerID=MN8TOARS

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

1981 article

A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.

Readings in Artificial Intelligence, pp. 496–516.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1981 journal article

A model for deliberation, action, and introspection

SIGART Bull., 1(75), 10–10.

By: J. Doyle*

TL;DR: This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as to deciding what other actions to take. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1980 journal article

A selected descriptor-indexed bibliography to the literature on belief revision

SIGART Bull., 4(71), 7–22.

By: J. Doyle* & P. London

TL;DR: An overview of research in an area loosely called belief revision, which includes the study of methods for representing models of environments as collections of beliefs and the development of formal theories of belief, is presented. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1980 journal article

Non-monotonic logic I

Artificial Intelligence, 13(1-2), 41–72.

By: D. McDermott* & J. Doyle*

Contributors: D. McDermott* & J. Doyle*

TL;DR: A model and proof theories, a proof procedure, and applications for one non-monotonic logic are developed, and it is proved the completeness of the non-Monotonic predicate calculus and the decidability of theNon- monotonic sentential calculus. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1979 journal article

A truth maintenance system

Artificial Intelligence, 12(3), 231–272.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1979 journal article

EXPLICIT CONTROL OF REASONING.

Energy Technology Review, 1, 93–116. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018585420&partnerID=MN8TOARS

By: J. Kleer, J. Doyle, G. Steele & G. Sussman

Contributors: J. Kleer, J. Doyle, G. Steele & G. Sussman

Source: ORCID
Added: December 6, 2019

1979 journal article

GLIMPSE OF TRUTH MAINTENANCE.

Energy Technology Review, 1, 117–135. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018586473&partnerID=MN8TOARS

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

1977 journal article

AMORD explicit control of reasoning

SIGPLAN Not., 12(8), 116–125.

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Contributors: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Source: ORCID
Added: December 5, 2019

1977 journal article

AMORD explicit control of reasoning

SIGART Bull., 8(64), 116–125.

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Source: ORCID
Added: December 5, 2019

1977 conference paper

AMORD explicit control of reasoning

Proceedings of the 1977 symposium on Artificial intelligence and programming languages -, 116–125.

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Contributors: J. De Kleer*, J. Doyle*, G. Steele* & G. Sussinan

TL;DR: An approach to dealing with the construction of expert problem-solving systems based on making some knowledge which is usually implicitly part of an expert problem solver explicit, thus allowing this knowledge about control to be manipulated and reasoned about is described. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1976 journal article

Linear expected time of a simple union-find algorithm

Information Processing Letters, 5(5), 146–148.

By: J. Doyle* & R. Rivest*

Contributors: J. Doyle* & R. Rivest*

TL;DR: This paper presents an analysis of a simple tree-structured disjoint set Union-Find algorithm, and shows that this algorithm requires between n and 2n steps on the average to execute a sequence of n Union and Find instructions, assuming that each pair of existing classes is equally likely to be merged by a Union instruction. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

Employment

Updated: April 8th, 2015 11:36

2001 - present

North Carolina State University Raleigh, North Carolina, US
SAS Institute Distinguished Professor Computer Science

1990 - 2001

Massachusetts Institute of Technology Cambridge, MA, US
Principal Research Scientist Laboratory for Computer Science

1988 - 1990

Massachusetts Institute of Technology Cambridge, MA, US
Research Associate Laboratory for Computer Scientist

1984 - 1988

Carnegie Mellon University Pittsburgh, PA, US
Research Scientist Computer Science

1981 - 1984

Carnegie Mellon University Pittsburgh, PA, US
Research Associate Computer Science

1980 - 1981

Stanford University Stanford, CA, US
Research Associate Computer Science

Education

Updated: April 8th, 2015 11:39

1975 - 1980

Massachusetts Institute of Technology Cambridge, MA, US
Ph.D./A Model for Deliberation, Action, and Introspection Electrical Engineering and Computer Science

1975 - 1977

Massachusetts Institute of Technology Cambridge, MA, US
S.M./Truth Maintenance Systems for Problem Solving Electrical Engineering and Computer Science

1972 - 1974

University of Houston Houston, TX, US
B.S./Computational Investigations of Non-Repetitive Sequences Mathematics

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.