Filters








6,332 Hits in 3.7 sec

Representational efficiency outweighs action efficiency in human program induction [article]

Sophia Sanborn, David D. Bourgin, Michael Chang, Thomas L. Griffiths
2018 arXiv   pre-print
Using this task, we target the question of whether humans discover hierarchical solutions by maximizing efficiency in number of actions they generate or by minimizing the complexity of the resulting representation  ...  We introduce a novel problem-solving paradigm that links problem solving and program induction under the Markov Decision Process (MDP) framework.  ...  Action efficiency vs. representational efficiency The length of a program (the representation of the desired behavior) is defined in this context as the number of instructions stored in the main program  ... 
arXiv:1807.07134v1 fatcat:mrubjdh5gveubbj4cblx25c5tm

AppLP: A Dialogue on Applications of Logic Programming [article]

David S. Warren, Yanhong A. Liu
2017 arXiv   pre-print
(ICLP) in Flushing, New York City.  ...  This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming  ...  The formalisation of action and change in LP has had tremendous impact in our work. The earliest work is the event-condition-action PDL introduced in [11] .  ... 
arXiv:1704.02375v1 fatcat:eai5tuldkvez3makttxz23goby

Practical solution techniques for first-order MDPs

Scott Sanner, Craig Boutilier
2009 Artificial Intelligence  
In this article, we propose one such approach that translates an expressive subset of the PPDDL representation to a first-order MDP (FOMDP) specification and then derives a domain-independent policy without  ...  in the relational problem specification.  ...  NICTA is funded by the Australian Government's Backing Australia's Ability and the Centre of Excellence programs.  ... 
doi:10.1016/j.artint.2008.11.003 fatcat:6l2ocjejfrgixdgwqscblhadni

A review of the fourth International Workshop on Machine Learning

Rogers P. Hall, Brian Falkenhainer, Nicholas Flann, Steve Hampson, Robert Reinke, Jeff Shrager, Michael H. Sims, Prasad Tadepalli
1987 Machine Learning  
In this case, the known metaphor maps get into to a meaning of enablement in the domain of lisp programming.  ...  These measures are implemented in C4, the successor to Quinlan's (1986) widelyused ID3 program.  ... 
doi:10.1007/bf00114266 fatcat:p3middb4jjcjzdykb5q4orfn6q

PRODIGY

Jaime Carbonell, Oren Etzioni, Yolanda Gil, Robert Joseph, Craig Knoblock, Steve Minton, Manuela Veloso
1991 ACM SIGART Bulletin  
Learning in PRODIGY Occurs at all decision points and integration in PRODIGY is at the knowledge level; the learning and reasoning modules produce mutually interpretable knowledge structures.  ...  Issues in architectural design are discussed, providing a context to examine the underlying tenets of the PRODIGY architecture.  ...  Inductive vs. Analytical Learning-Only ICARUS employs purely inductive learning techniques.  ... 
doi:10.1145/122344.122353 fatcat:rba7rmsonrdr7f4oxw3yfgrbau

Inductive Learning of Answer Set Programs from Noisy Examples [article]

Mark Law, Alessandra Russo, Krysia Broda
2018 arXiv   pre-print
In recent years, non-monotonic Inductive Logic Programming has received growing interest.  ...  frameworks and algorithms have been introduced for learning under the answer set semantics, allowing the learning of common-sense knowledge involving defaults and exceptions, which are essential aspects of human  ...  The correct ASP representation of Hamiltonian and a discussion of the representation of examples in this task is given in Appendix A.  ... 
arXiv:1808.08441v1 fatcat:izs26hk4undibgcpsoi7oxaq4a

Building Ethics into Artificial Intelligence [article]

Han Yu, Zhiqi Shen, Chunyan Miao, Cyril Leung, Victor R. Lesser and Qiang Yang
2018 arXiv   pre-print
decision frameworks; 3) collective ethical decision frameworks; and 4) ethics in human-AI interactions.  ...  We highlight the intuitions and key techniques used in each approach, and discuss promising future research directions towards successful integration of ethical AI systems into human societies.  ...  GenEth provides a graphical user interface for discussing ethical dilemmas in a given scenario, and applies inductive logic programming to infer principles of ethical actions.  ... 
arXiv:1812.02953v1 fatcat:qkrvws7psbc47kgqhupuqdausy

Building Ethics into Artificial Intelligence

Han Yu, Zhiqi Shen, Chunyan Miao, Cyril Leung, Victor R. Lesser, Qiang Yang
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
decision frameworks; 3) collective ethical decision frameworks; and 4) ethics in human-AI interactions.  ...  We highlight the intuitions and key techniques used in each approach, and discuss promising future research directions towards successful integration of ethical AI systems into human societies.  ...  GenEth provides a graphical user interface for discussing ethical dilemmas in a given scenario, and applies inductive logic programming to infer principles of ethical actions.  ... 
doi:10.24963/ijcai.2018/779 dblp:conf/ijcai/YuSMLL018 fatcat:zqehjvmlf5b2rkyemjvlsniqhi

The role of partial and best matches in knowledge systems

Frederick Hayes-Roth
1977 ACM SIGART Bulletin  
Partial and best matches underlie knowledge system functions, including: analogical reasoning, inductive inference, predicate discovery, patterndirected inference, semantic interpretation, and speech and  ...  Several knowledge system functions are described in terms of partial or best matchings including analogical reasoning, iLductive inference, predicate discovery, pattern-directed inference, semantic interpretation  ...  The in early experiments in rule induction, HayesRoth and A few years ago, the foremost problem of knowlege system methods for common subexpression elimination, efficient techniques  ... 
doi:10.1145/1045343.1045390 fatcat:hnczjeyfizedhpt362altufuji

An Effector-like Function of Ras GTPase-activating Protein Predominates in Cardiac Muscle Cells

Maha Abdellatif, Michael D. Schneider
1997 Journal of Biological Chemistry  
In contrast to familiar role for Ras in proliferation, we and others previously suggested that Ras also mediates hypertrophy, the increase in cell mass characteristic of post-natal ventricular muscle.  ...  Mv1Lu cells, yet interfered with Ras-dependent expression in ventricular myocytes.  ...  A, schematic representation of the GAP domains tested.  ... 
doi:10.1074/jbc.272.1.525 pmid:8995293 fatcat:qvp755zvlzfhfibrk3cxqlnele

Scope Creep and Purposeful Pivots in Developmental Evaluation

Suparna Roy, Michelle Searle
2020 Canadian Journal of Program Evaluation  
Our DE was initially focused on one program which was being designed for online delivery in higher education.  ...  within which existed the tiny subset of stakeholders engaged in the original DE.  ...  In this DE context, the ODS departmental leaders had a desire that the DE investment required for this program could positively influence actions in other ODS departmental areas.  ... 
doi:10.3138/cjpe.56898 fatcat:6jejdggv6fdudl4appfrzvxm5q

Theory formation by heuristic search

Douglas B. Lenat
1983 Artificial Intelligence  
Finally, Section 4 presents dozens of examples of the model in action, producing discovcrics in many different fields. The next paper in this  ...  Ahwhine h'arning can be categorized along many dimcnsiotts, an important one o/ ~hich is "degree of human guidance or forethought'.  ...  EURISKO is written in RLL [17l, a self-describing and self-modifying representation language constructed by Russ Greiner, Greg Harris, and the author.  ... 
doi:10.1016/s0004-3702(83)80004-6 fatcat:jfm4wwzdkrggjmgdutc6rpvgmi

Theoretical tools for understanding and aiding dynamic decision making

Jerome R. Busemeyer, Timothy J. Pleskac
2009 Journal of Mathematical Psychology  
We conclude with suggestions for future directions in research.  ...  Dynamic decisions arise in many applications including military, medical, management, sports, and emergency situations.  ...  Acknowledgments This article was informed by a Workshop on Robust Decision Making held in March, 2007, at the Air Force Office of Scientific Research in Arlington, VA.  ... 
doi:10.1016/j.jmp.2008.12.007 fatcat:lgibby3h3rfsjnxezdekmpcmdu

Non-canonical uracil processing in DNA gives rise to double-strand breaks and deletions: relevance to class switch recombination

Stephanie Bregenhorn, Lia Kallenberger, Mariela Artola-Borán, Javier Peña-Diaz, Josef Jiricny
2016 Nucleic Acids Research  
To elucidate the role of MMR in CSR, we studied the processing of uracil-containing DNA substrates in extracts of MMRproficient and -deficient human cells, as well as in a system reconstituted from recombinant  ...  Although U/G mispairs arising in this way are generally efficiently repaired to C/Gs by uracil DNA glycosylase (UNG)initiated base excision repair (BER), uracil processing in S-regions of activated B-cells  ...  We carried out these experiments in human kidney 293 (HEK 293) cells, because they can be transfected with very high efficiency.  ... 
doi:10.1093/nar/gkv1535 pmid:26743004 pmcid:PMC4824095 fatcat:knnaavbttnhizca3blppwwg5m4

DENDRAL: A case study of the first expert system for scientific hypothesis formation

Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg
1993 Artificial Intelligence  
The DENDRAL Project was one of the first large-scale programs to embody the strategy of using detailed, task-specific knowledge about a problem domain as a source of heuristics, and to seek generality  ...  easily by humans or programs.  ...  In the underlying data structures, uniformity is important for program efficiency and ease of program development.  ... 
doi:10.1016/0004-3702(93)90068-m fatcat:tw55uy2o6rea3kw6r6pckmx6am
« Previous Showing results 1 — 15 out of 6,332 results