Faster access than browser!
21 relations: Action description language, Automated planning and scheduling, Backus–Naur form, Boolean satisfiability problem, Drew McDermott, Dynamic Bayesian network, First-order logic, Journal of Artificial Intelligence Research, Lambda calculus, Markov decision process, NASA, Object-oriented programming, Partial-order planning, Partially observable Markov decision process, Propositional calculus, Semantic Web, Speech act, STRIPS, Type inference, Web Ontology Language, XML namespace.
Action description language
In artificial intelligence, Action description language (ADL) is an automated planning and scheduling system in particular for robots.
New!!: Planning Domain Definition Language and Action description language · See more »
Automated planning and scheduling
Automated planning and scheduling, sometimes denoted as simply AI Planning, is a branch of artificial intelligence that concerns the realization of strategies or action sequences, typically for execution by intelligent agents, autonomous robots and unmanned vehicles.
New!!: Planning Domain Definition Language and Automated planning and scheduling · See more »
Backus–Naur form
In computer science, Backus–Naur form or Backus normal form (BNF) is a notation technique for context-free grammars, often used to describe the syntax of languages used in computing, such as computer programming languages, document formats, instruction sets and communication protocols.
New!!: Planning Domain Definition Language and Backus–Naur form · See more »
Boolean satisfiability problem
In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula.
New!!: Planning Domain Definition Language and Boolean satisfiability problem · See more »
Drew McDermott
Drew McDermott (born 1949) is a Professor of Computer Science at Yale University.
New!!: Planning Domain Definition Language and Drew McDermott · See more »
Dynamic Bayesian network
A Dynamic Bayesian Network (DBN) is a Bayesian network which relates variables to each other over adjacent time steps.
New!!: Planning Domain Definition Language and Dynamic Bayesian network · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Planning Domain Definition Language and First-order logic · See more »
Journal of Artificial Intelligence Research
The Journal of Artificial Intelligence Research is an open access peer-reviewed scientific journal covering research in all areas of artificial intelligence.
New!!: Planning Domain Definition Language and Journal of Artificial Intelligence Research · See more »
Lambda calculus
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
New!!: Planning Domain Definition Language and Lambda calculus · See more »
Markov decision process
Markov decision processes (MDPs) provide a mathematical framework for modeling decision making in situations where outcomes are partly random and partly under the control of a decision maker.
New!!: Planning Domain Definition Language and Markov decision process · See more »
NASA
The National Aeronautics and Space Administration (NASA) is an independent agency of the executive branch of the United States federal government responsible for the civilian space program, as well as aeronautics and aerospace research.
New!!: Planning Domain Definition Language and NASA · See more »
Object-oriented programming
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").
New!!: Planning Domain Definition Language and Object-oriented programming · See more »
Partial-order planning
Partial-order planning is an approach to automated planning that leaves decisions about the ordering of actions as open as possible.
New!!: Planning Domain Definition Language and Partial-order planning · See more »
Partially observable Markov decision process
A partially observable Markov decision process (POMDP) is a generalization of a Markov decision process (MDP).
New!!: Planning Domain Definition Language and Partially observable Markov decision process · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Planning Domain Definition Language and Propositional calculus · See more »
Semantic Web
The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).
New!!: Planning Domain Definition Language and Semantic Web · See more »
Speech act
A speech act in linguistics and the philosophy of language is an utterance that has performative function in language and communication.
New!!: Planning Domain Definition Language and Speech act · See more »
STRIPS
In artificial intelligence, STRIPS (Stanford Research Institute Problem Solver) is an automated planner developed by Richard Fikes and Nils Nilsson in 1971 at SRI International.
New!!: Planning Domain Definition Language and STRIPS · See more »
Type inference
Type inference refers to the automatic detection of the data type of an expression in a programming language.
New!!: Planning Domain Definition Language and Type inference · See more »
Web Ontology Language
The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies.
New!!: Planning Domain Definition Language and Web Ontology Language · See more »
XML namespace
XML namespaces are used for providing uniquely named elements and attributes in an XML document.
New!!: Planning Domain Definition Language and XML namespace · See more »
Redirects here:
MA-PDDL, Multi-Agent Planning Language, PDDL, PDDL+, PPDDL.
References
[1] https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language
